--- a/common/conf/jib-profiles.js Mon May 15 16:34:52 2017 +0200
+++ b/common/conf/jib-profiles.js Tue May 16 14:13:48 2017 +0200
@@ -997,7 +997,8 @@
ext: "tar.gz",
revision: "2.38.0-1+1.1",
module: "graphviz-" + input.target_platform,
- configure_args: "DOT=" + input.get("graphviz", "install_path") + "/dot"
+ configure_args: "DOT=" + input.get("graphviz", "install_path") + "/dot",
+ environment_path: input.get("graphviz", "install_path")
},
pandoc: {
@@ -1005,7 +1006,8 @@
ext: "tar.gz",
revision: "1.17.2+1.0",
module: "pandoc-" + input.target_platform,
- configure_args: "PANDOC=" + input.get("pandoc", "install_path") + "/pandoc/pandoc"
+ configure_args: "PANDOC=" + input.get("pandoc", "install_path") + "/pandoc/pandoc",
+ environment_path: input.get("pandoc", "install_path") + "/pandoc"
},
};