diff -r 11c86b5b827d -r 1755c790b94f make/jprt.properties --- 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 ######## #