# HG changeset patch
# User ihse
# Date 1544431038 -3600
# Node ID 0c637249d934fd2c49fc2b97a59f93c708127f1e
# Parent  3ee633205603f29a3d4314793a3b0585fc04e077
8214780: Create pandoc package for Windows
Reviewed-by: erikj

diff -r 3ee633205603 -r 0c637249d934 make/conf/jib-profiles.js
--- 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),
         },
 
diff -r 3ee633205603 -r 0c637249d934 make/devkit/createPandocBundle.sh
--- 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"