Skip to content

Latest commit

 

History

History
executable file
·
45 lines (34 loc) · 1.79 KB

README.md

File metadata and controls

executable file
·
45 lines (34 loc) · 1.79 KB
Raw

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.
  1. 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).

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

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

  3. 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.