Skip to content

Latest commit

 

History

History
executable file
·
49 lines (36 loc) · 1.57 KB

INSTALL.md

File metadata and controls

executable file
·
49 lines (36 loc) · 1.57 KB
Raw

Installing ROSMOP

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

Prerequisites

ROSMOP requires Git, JDK and Maven.

  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. Maven
  • We recommend version 3.3 or higher. Building with a version lower than 3.3 may also work, but has not been tested.

  1. Download and mvn install rv-monitor

    git clone https://github.com/runtimeverification/rv-monitor.git
cd rv-monitor
mvn install

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. Make sure rosmsg is in your path (on Ubuntu 16.04 source /opt/ros/kinetic/setup.sh)

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

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

  4. Run

  • cd <rosmop_HOME>
  • mvn package
  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.