changeset 53954:0c637249d934

8214780: Create pandoc package for Windows Reviewed-by: erikj
author ihse
date Mon, 10 Dec 2018 09:37:18 +0100
parents 3ee633205603
children f94c7929a44b
files make/conf/jib-profiles.js make/devkit/createPandocBundle.sh
diffstat 2 files changed, 10 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/make/conf/jib-profiles.js	Sun Dec 09 19:18:27 2018 -0800
+++ b/make/conf/jib-profiles.js	Mon Dec 10 09:37:18 2018 +0100
@@ -425,7 +425,7 @@
         "windows-x64": {
             target_os: "windows",
             target_cpu: "x64",
-            dependencies: ["devkit", "graalunit_lib"],
+            dependencies: ["devkit", "pandoc", "graalunit_lib"],
             configure_args: concat(common.configure_args_64bit),
         },
 
--- a/make/devkit/createPandocBundle.sh	Sun Dec 09 19:18:27 2018 -0800
+++ b/make/devkit/createPandocBundle.sh	Mon Dec 10 09:37:18 2018 +0100
@@ -41,6 +41,9 @@
 elif [[ $TARGET_PLATFORM == macosx_x64 ]] ; then
   PANDOC_PLATFORM=macOS
   PANDOC_SUFFIX=zip
+elif [[ $TARGET_PLATFORM == windows_x64 ]] ; then
+  PANDOC_PLATFORM=windows-x86_64
+  PANDOC_SUFFIX=zip
 else
   echo "Unknown platform"
   exit 1
@@ -59,7 +62,12 @@
 cd ..
 
 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
 cp ../$BUNDLE_NAME "$ORIG_DIR"