author | tschatzl |
Wed, 11 Sep 2019 10:19:09 +0200 | |
changeset 58081 | 8b08eaf9a0eb |
parent 52917 | 0c637249d934 |
permissions | -rw-r--r-- |
44734 | 1 |
#!/bin/bash -e |
2 |
# |
|
52714
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
3 |
# Copyright (c) 2017, 2018, Oracle and/or its affiliates. All rights reserved. |
44734 | 4 |
# DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
5 |
# |
|
6 |
# This code is free software; you can redistribute it and/or modify it |
|
7 |
# under the terms of the GNU General Public License version 2 only, as |
|
8 |
# published by the Free Software Foundation. Oracle designates this |
|
9 |
# particular file as subject to the "Classpath" exception as provided |
|
10 |
# by Oracle in the LICENSE file that accompanied this code. |
|
11 |
# |
|
12 |
# This code is distributed in the hope that it will be useful, but WITHOUT |
|
13 |
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
14 |
# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
15 |
# version 2 for more details (a copy is included in the LICENSE file that |
|
16 |
# accompanied this code). |
|
17 |
# |
|
18 |
# You should have received a copy of the GNU General Public License version |
|
19 |
# 2 along with this work; if not, write to the Free Software Foundation, |
|
20 |
# Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
|
21 |
# |
|
22 |
# Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
23 |
# or visit www.oracle.com if you need additional information or have any |
|
24 |
# questions. |
|
25 |
# |
|
26 |
# Create a bundle in the current directory, containing what's needed to run |
|
27 |
# the 'pandoc' program by the OpenJDK build. |
|
28 |
||
29 |
TMPDIR=`mktemp -d -t pandocbundle-XXXX` |
|
30 |
trap "rm -rf \"$TMPDIR\"" EXIT |
|
31 |
||
32 |
ORIG_DIR=`pwd` |
|
33 |
cd "$TMPDIR" |
|
52714
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
34 |
PANDOC_VERSION=2.3.1 |
44734 | 35 |
PACKAGE_VERSION=1.0 |
36 |
TARGET_PLATFORM=linux_x64 |
|
52714
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
37 |
|
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
38 |
if [[ $TARGET_PLATFORM == linux_x64 ]] ; then |
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
39 |
PANDOC_PLATFORM=linux |
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
40 |
PANDOC_SUFFIX=tar.gz |
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
41 |
elif [[ $TARGET_PLATFORM == macosx_x64 ]] ; then |
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
42 |
PANDOC_PLATFORM=macOS |
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
43 |
PANDOC_SUFFIX=zip |
52917 | 44 |
elif [[ $TARGET_PLATFORM == windows_x64 ]] ; then |
45 |
PANDOC_PLATFORM=windows-x86_64 |
|
46 |
PANDOC_SUFFIX=zip |
|
52714
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
47 |
else |
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
48 |
echo "Unknown platform" |
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
49 |
exit 1 |
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
50 |
fi |
44734 | 51 |
BUNDLE_NAME=pandoc-$TARGET_PLATFORM-$PANDOC_VERSION+$PACKAGE_VERSION.tar.gz |
52 |
||
52714
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
53 |
wget https://github.com/jgm/pandoc/releases/download/$PANDOC_VERSION/pandoc-$PANDOC_VERSION-$PANDOC_PLATFORM.$PANDOC_SUFFIX |
44734 | 54 |
|
52714
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
55 |
mkdir tmp |
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
56 |
cd tmp |
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
57 |
if [[ $PANDOC_SUFFIX == zip ]]; then |
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
58 |
unzip ../pandoc-$PANDOC_VERSION-$PANDOC_PLATFORM.$PANDOC_SUFFIX |
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
59 |
else |
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
60 |
tar xzf ../pandoc-$PANDOC_VERSION-$PANDOC_PLATFORM.$PANDOC_SUFFIX |
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
61 |
fi |
44734 | 62 |
cd .. |
63 |
||
52714
2e52aa822c57
8178317: Create man pages using pandoc from markdown sources
ihse
parents:
44734
diff
changeset
|
64 |
mkdir pandoc |
52917 | 65 |
if [[ $TARGET_PLATFORM == windows_x64 ]] ; then |
66 |
cp tmp/pandoc-$PANDOC_VERSION-$PANDOC_PLATFORM/pandoc.exe pandoc |
|
67 |
chmod +x pandoc/pandoc.exe |
|
68 |
else |
|
69 |
cp tmp/pandoc-$PANDOC_VERSION/bin/pandoc pandoc |
|
70 |
fi |
|
44734 | 71 |
|
72 |
tar -cvzf ../$BUNDLE_NAME pandoc |
|
73 |
cp ../$BUNDLE_NAME "$ORIG_DIR" |