diff -r 7a2d9c874229 -r 74889aa3f5af make/jprt.properties
--- a/make/jprt.properties	Mon Sep 28 13:10:03 2015 -0700
+++ b/make/jprt.properties	Fri Oct 02 17:33:42 2015 +0200
@@ -127,6 +127,8 @@
     ${jprt.i586.build.configure.args}
 jprt.windows_x64.build.configure.args=					\
     --with-devkit=$VS2013_HOME
+jprt.macosx_x64.build.configure.args=                    \
+    --with-devkit=$XCODE_511_HOME
 
 ########
 #