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