< 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 >