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