common/conf/jib-profiles.js
changeset 45107 8d21264e7878
parent 45099 cba0b620fd93
child 45163 cca20dff94e1
child 45510 ef977f09bac8
--- 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"
         },
     };