common/conf/jib-profiles.js
changeset 45107 8d21264e7878
parent 45099 cba0b620fd93
child 45163 cca20dff94e1
child 45510 ef977f09bac8
equal deleted inserted replaced
45106:c74e98882464 45107:8d21264e7878
   995         graphviz: {
   995         graphviz: {
   996             organization: common.organization,
   996             organization: common.organization,
   997             ext: "tar.gz",
   997             ext: "tar.gz",
   998             revision: "2.38.0-1+1.1",
   998             revision: "2.38.0-1+1.1",
   999             module: "graphviz-" + input.target_platform,
   999             module: "graphviz-" + input.target_platform,
  1000             configure_args: "DOT=" + input.get("graphviz", "install_path") + "/dot"
  1000             configure_args: "DOT=" + input.get("graphviz", "install_path") + "/dot",
       
  1001             environment_path: input.get("graphviz", "install_path")
  1001         },
  1002         },
  1002 
  1003 
  1003         pandoc: {
  1004         pandoc: {
  1004             organization: common.organization,
  1005             organization: common.organization,
  1005             ext: "tar.gz",
  1006             ext: "tar.gz",
  1006             revision: "1.17.2+1.0",
  1007             revision: "1.17.2+1.0",
  1007             module: "pandoc-" + input.target_platform,
  1008             module: "pandoc-" + input.target_platform,
  1008             configure_args: "PANDOC=" + input.get("pandoc", "install_path") + "/pandoc/pandoc"
  1009             configure_args: "PANDOC=" + input.get("pandoc", "install_path") + "/pandoc/pandoc",
       
  1010             environment_path: input.get("pandoc", "install_path") + "/pandoc"
  1009         },
  1011         },
  1010     };
  1012     };
  1011 
  1013 
  1012     return dependencies;
  1014     return dependencies;
  1013 };
  1015 };