Building JavaMOP from Source Code

This file contains instructions to build JavaMOP from source code. If you only want to be a user, but not a developer of JavaMOP, then we recommend that you install it from its binary release zip archive; in that case, please refer to ../INSTALL.md.

Prerequisites

All the prerequisites in ../INSTALL.md for users installing from binaries, plus:

1. Maven v.3.0 or higher

• Check Maven is installed properly: run mvn -version from a terminal.

2. Git v.1.8 or higher

• Check Git is installed properly: run git from a terminal.

Build and Install

1. Run git clone https://github.com/runtimeverification/javamop.git to check out the source code from the Github repository (or download it as a ZIP or TAR.GZ archive directly from the Github release page).

2. To prepare to build JavaMOP, you must either

• Install RV-Monitor to your local Maven repository by running mvn validate -DrvMonitorBase=<RV-Monitor_HOME> (no fails should occur) OR
• Get access to the proprietary RV Maven repository (by filing an RV Support ticket).

3. Run mvn package in the <JavaMOP_HOME> directory. This will download many dependencies the first time you run it.

4. Add <JavaMOP_HOME>/bin to your PATH.

5. Check JavaMOP is installed properly: run javamop from a terminal.

See ../README.md for more information. Get help or report problems on JavaMOP's issues page.