make/jprt.properties

changeset 1140
6d0ebf545f49
parent 913
9937f406e27e
child 1152
2c08ede0f740
     1.1 --- a/make/jprt.properties	Mon May 12 06:16:36 2014 -0700
     1.2 +++ b/make/jprt.properties	Tue Jul 15 18:46:37 2014 -0700
     1.3 @@ -151,3 +151,23 @@
     1.4  # Directories to be excluded from the source bundles
     1.5  jprt.bundle.exclude.src.dirs=build dist webrev
     1.6  
     1.7 +# Instruct jprt to use configure when building
     1.8 +jprt.build.use.configure=true
     1.9 +jprt.build.flavor.product.target=jprt_bundle
    1.10 +jprt.build.flavor.fastdebug.target=jprt_bundle
    1.11 +jprt.build.flavor.debug.target=jprt_bundle
    1.12 +
    1.13 +# Add these configure args to all builds
    1.14 +jprt.build.configure.args= \
    1.15 +    --with-boot-jdk=$ALT_BOOTDIR \
    1.16 +    --with-jobs=$ALT_PARALLEL_COMPILE_JOBS
    1.17 +
    1.18 +# Add these configure args to 32 bit builds
    1.19 +jprt.i586.build.configure.args= \
    1.20 +    --with-target-bits=32 \
    1.21 +    --with-jvm-variants=client,server
    1.22 +
    1.23 +# Use these configure args to define debug level.
    1.24 +jprt.product.build.configure.args=--with-debug-level=release
    1.25 +jprt.fastdebug.build.configure.args=--with-debug-level=fastdebug
    1.26 +jprt.debug.build.configure.args=--with-debug-level=slowdebug

mercurial