--- old/make/conf/jib-profiles.js 2018-11-26 19:42:01.718336288 +0100 +++ new/make/conf/jib-profiles.js 2018-11-26 19:42:01.390336291 +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"