make/conf/jib-profiles.js
changeset 52714 2e52aa822c57
parent 52595 16609197022c
child 52774 56ca125c973b
--- a/make/conf/jib-profiles.js	Tue Nov 27 15:56:10 2018 +0100
+++ b/make/conf/jib-profiles.js	Wed Nov 28 10:00:41 2018 +0100
@@ -401,7 +401,7 @@
         "macosx-x64": {
             target_os: "macosx",
             target_cpu: "x64",
-            dependencies: ["devkit", "graalunit_lib"],
+            dependencies: ["devkit", "pandoc", "graalunit_lib"],
             configure_args: concat(common.configure_args_64bit, "--with-zlib=system",
                 "--with-macosx-version-max=10.9.0"),
         },
@@ -939,7 +939,7 @@
         pandoc: {
             organization: common.organization,
             ext: "tar.gz",
-            revision: "1.17.2+1.0",
+            revision: "2.3.1+1.0",
             module: "pandoc-" + input.target_platform,
             configure_args: "PANDOC=" + input.get("pandoc", "install_path") + "/pandoc/pandoc",
             environment_path: input.get("pandoc", "install_path") + "/pandoc"