INSTALL.md

Installing ROSRV

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

Prerequisites

ROSRV currently works with ROS Groovy Galapagos release. For monitoring purposes, ROSRV depends on ROSMOP.

1. Git v.1.8 or higher

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

2. ROS Groovy Galapagos
3. ROSMOP

• Please check the ROSMOP Installation guide.

Install and Build

1. Run git clone --recursive https://github.com/runtimeverification/ROSRV.git to check out the source code from the Github repository, including ROSMOP.

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

3. Run

• cd <ROSRV_HOME>
• catkin_make

4. Make sure the target package builds successfully.

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