diff make/devkit/createPandocBundle.sh @ 53954:0c637249d934

8214780: Create pandoc package for Windows Reviewed-by: erikj
author ihse
date Mon, 10 Dec 2018 09:37:18 +0100
parents 2e52aa822c57
children
line wrap: on
line diff
--- 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"