--- 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"