Commit 008172ed authored by Stefan Jaax's avatar Stefan Jaax
Browse files

Add installation instructions to README.md

parent e8ba318e
...@@ -5,6 +5,12 @@ Tool for efficient verification of population protocols ...@@ -5,6 +5,12 @@ Tool for efficient verification of population protocols
Installation Installation
------- -------
In order to compile and install Peregrine, go to the project's main directory and enter
```bash
sudo make install
```
Compilation requires the Glasgow Haskell Compiler [ghc >= 7.8.1](https://www.haskell.org/ghc/) and the build system [cabal >= 1.22](https://www.haskell.org/cabal/).
Usage Usage
------- -------
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment