changeset 1546:f50c05d4dcd5

8129969: Switch JPRT configuration to use devkits for Windows and Macosx Reviewed-by: tbell, dholmes
author erikj
date Mon, 29 Jun 2015 11:00:10 +0200
parents f9fed16fe0ef
children 767a64493b62
files make/jprt.properties
diffstat 1 files changed, 6 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/make/jprt.properties	Mon Jun 29 10:55:17 2015 +0200
+++ b/make/jprt.properties	Mon Jun 29 11:00:10 2015 +0200
@@ -123,11 +123,13 @@
     ${my.i586.default.build.configure.args}				\
     ${jprt.productOpen.build.configure.args}
 
-jprt.windows_i586_6.2.build.configure.args=                             \
-    --with-toolchain-version=2013                                       \
+jprt.windows_i586.build.configure.args= \
+    --with-devkit=$VS2013_HOME \
     ${jprt.i586.build.configure.args}
-jprt.windows_x64_6.2.build.configure.args=                              \
-    --with-toolchain-version=2013
+jprt.windows_x64.build.configure.args= \
+    --with-devkit=$VS2013_HOME
+jprt.macosx_x64.build.configure.args= \
+    --with-devkit=$XCODE_511_HOME
 
 ########
 #