stan/jdk-24
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

8214780: Create pandoc package for Windows

Browse Source 
Reviewed-by: erikj
This commit is contained in:
Magnus Ihse Bursie 2018-12-10 09:37:18 +01:00
parent fcc8504537
commit 044dd119da
2 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
make/conf/jib-profiles.js
View File

@ -425,7 +425,7 @@ var getJibProfilesProfiles = function (input, common, data) {
"windows-x64": { "windows-x64": {
target_os: "windows", target_os: "windows",
target_cpu: "x64", target_cpu: "x64",
dependencies: ["devkit", "graalunit_lib"], dependencies: ["devkit", "pandoc", "graalunit_lib"],
configure_args: concat(common.configure_args_64bit), configure_args: concat(common.configure_args_64bit),
}, },

10
make/devkit/createPandocBundle.sh
View File

@ -41,6 +41,9 @@ if [[ $TARGET_PLATFORM == linux_x64 ]] ; then
elif [[ $TARGET_PLATFORM == macosx_x64 ]] ; then elif [[ $TARGET_PLATFORM == macosx_x64 ]] ; then
PANDOC_PLATFORM=macOS PANDOC_PLATFORM=macOS
PANDOC_SUFFIX=zip PANDOC_SUFFIX=zip
elif [[ $TARGET_PLATFORM == windows_x64 ]] ; then
PANDOC_PLATFORM=windows-x86_64
PANDOC_SUFFIX=zip
else else
echo "Unknown platform" echo "Unknown platform"
exit 1 exit 1
@ -59,7 +62,12 @@ fi
cd .. cd ..
mkdir pandoc mkdir pandoc
cp tmp/pandoc-$PANDOC_VERSION/bin/pandoc pandoc if [[ $TARGET_PLATFORM == windows_x64 ]] ; then
cp tmp/pandoc-$PANDOC_VERSION-$PANDOC_PLATFORM/pandoc.exe pandoc
chmod +x pandoc/pandoc.exe
else
cp tmp/pandoc-$PANDOC_VERSION/bin/pandoc pandoc
fi
tar -cvzf ../$BUNDLE_NAME pandoc tar -cvzf ../$BUNDLE_NAME pandoc
cp ../$BUNDLE_NAME "$ORIG_DIR" cp ../$BUNDLE_NAME "$ORIG_DIR"