NOTE: This site is archived
content and is, for the most part, no
longer being actively updated. Information on a permanent
new home for JMLUnitNG will be available soon; the most
recent version released before this site was archived will
continue to be available here.
OpenJML on Mac OS X
Using
OpenJML on Mac OS X requires the use of
a recent build of OpenJDK because, being based on the
OpenJDK compiler, it is incompatible with Apple’s Java
virtual machine. The
OpenJDK Mac OS X Port has made it much
easier to build OpenJDK for Mac OS X, but it’s still
somewhat cumbersome, so we are providing a build for
use on Intel Macs. This build is in Apple’s “JDK
Bundle” format, and can be dropped into
/Library/Java/JavaVirtualMachines on Mac
OS X 10.7 or Mac OS X 10.6.x with Java for Mac OS X
10.6 Update 3 or higher (this folder will not exist
until you install the Apple Java Developer Package,
available at connect.apple.com, or until you create it
yourself); once installed there, invoking
/usr/libexec/java_home -v1.7+ will
provide the path for
JAVA_HOME for the
1.7 VM (this is useful in shell scripts, etc.). These
builds do not run on Mac OS X 10.5, or on PowerPC
machines, though builds that support both may be
coming in the future.
This build is provided as-is, and there is no
guarantee that it will work on your particular Mac OS X
system.