Building OpenJML

Building OpenJML

The source code for OpenJML is in the OpenJML/OpenJML21 folder in the development installation. Set up your build environment (OS requirements. tools, and source code) as described here.

With your system setup correctly:

• cd to the OpenJML/OpenJML21 folder
• for a first time build, run bash ./configure.
  • On Linux WSL, these parameters help: bash ./configure --build=x86_64-unknown-linux-gnu --host=x86_64-unknown-linux-gnu
• After that
  • run make openjml to build OpenJML
  • run make clean to clean the build environment
  • run make release to make a trial release. This target does a clean, rebuild, and assembles the release .zip file for the host OS. The release is not published; the zip file is release-temp/openjml.zip. The purpose of this trial release is to be able to test that all the expected components are assembled into the release and that the release can run.
  • run make reconfigure to rerun the configuration script (rarely needed)
  • run make dist-clean; bash ./configure to clean and reconfigure as if a fresh clone were made (also rarely needed)
• if $S is the absolute or relative path to the OpenJML21 folder, you can instead execute make -C $S openjml (and similarly for other targets)