Skip to content

INSTALL.md

Latest commit

 

History

History
executable file
·
49 lines (38 loc) · 1.68 KB

INSTALL.md

File metadata and controls

executable file
·
49 lines (38 loc) · 1.68 KB

Installing ROSMOP

Here are instructions for installing and building ROSMOP by checking out its source code on GitHub.

Prerequisites

ROSMOP requires Git, JDK, Ant, JavaCC and RV-Monitor.

  1. Git v.1.8 or higher
  • Check Git is installed properly: run git from a terminal.
  1. JDK v.7 or higher
  • Check Java is installed properly: run java -version from a terminal.
  1. Ant v.1.8 or higher
  • Check Ant is installed properly: run ant -version from a terminal.
  1. JavaCC v.5 or higher
  • Check JavaCC is installed properly: run javacc from a terminal.
  1. RV-Monitor v.1.3 or higher
  • Check RV-Monitor is installed properly: run rv-monitor -version from a terminal.
  • Add RVMONITOR as an environment variable and set it to <RV-Monitor_HOME>/lib.

Install and Build

ROSMOP currently works integrated with ROSRV. If you have already checked out the ROSRV source code by using the --recursive option, you do not have to check out the ROSMOP source code again (i.e. skip step 1).

  1. Run git clone https://github.com/runtimeverification/rosmop.git to check out the source code from the Github repository.

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

  3. Run

  • cd <rosmop_HOME>
  • ant
  1. Make sure the build is successful.

See docs/Usage.md for information on how to run ROSMOP. Get help or report problems on ROSMOP's issues page.