Skip to content

Files

Latest commit

6385a0d · Jun 22, 2020

History

History

src

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Jun 22, 2020
Jun 22, 2020
Nov 3, 2014

README.md

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.