< prev index next >

make/conf/jib-profiles.js

Print this page

        

*** 379,389 **** "linux-x64": { target_os: "linux", target_cpu: "x64", dependencies: ["devkit", "graphviz", "pandoc", "graalunit_lib"], configure_args: concat(common.configure_args_64bit, ! "--enable-full-docs", "--with-zlib=system"), default_make_targets: ["docs-bundles"], }, "linux-x86": { target_os: "linux", --- 379,390 ---- "linux-x64": { target_os: "linux", target_cpu: "x64", dependencies: ["devkit", "graphviz", "pandoc", "graalunit_lib"], configure_args: concat(common.configure_args_64bit, ! "--enable-full-docs", "--with-zlib=system", ! "--with-jvm-variants=server,nonspeculative"), default_make_targets: ["docs-bundles"], }, "linux-x86": { target_os: "linux",
*** 420,430 **** "windows-x64": { target_os: "windows", target_cpu: "x64", dependencies: ["devkit", "graalunit_lib"], ! configure_args: concat(common.configure_args_64bit), }, "windows-x86": { target_os: "windows", target_cpu: "x86", --- 421,432 ---- "windows-x64": { target_os: "windows", target_cpu: "x64", dependencies: ["devkit", "graalunit_lib"], ! configure_args: concat(common.configure_args_64bit, ! "--with-jvm-variants=server,nonspeculative"), }, "windows-x86": { target_os: "windows", target_cpu: "x86",
< prev index next >