Commit 0e03ca9d authored by Yliès Falcone's avatar Yliès Falcone
Browse files

Update README.md

parent c2c4970e
......@@ -23,7 +23,6 @@ Decentralised LTL Monitoring. FM 2012: 85-100
> * Christian Colombo, Yliès Falcone:
Organising LTL Monitors over Distributed Systems with a Global Clock. RV 2014: 140-155
DecentMon takes as input:
- some LTL formulae to be monitored or some LTL Specification patterns (see the Specification Patterns Website);
- some traces against the formulae are monitored; an architecture given by a distributed alphabet indicating how components are organised and distributed in the system.
......@@ -40,8 +39,8 @@ LTL formulae are analysed in two different modes:
## 2 Requirements
DecentMon requires GNU Make, [OCaml](https://ocaml.org) and a few OCaml extensions which can be installed with [opam](https://opam.ocaml.org).
Additional packages
DecentMon requires GNU Make, [OCaml](https://ocaml.org) and a few OCaml extensions which can be easily installed with [opam](https://opam.ocaml.org).
Additional packages are:
- oasis
- campl4
- batteries
......@@ -57,11 +56,7 @@ Otherwise, to install DecenMon, please follow the below steps.
1. [Install OPAM](https://opam.ocaml.org/doc/Install.html).
2. Install a C compiler (to install OCaml).
3. [Install OCaml](https://ocaml.org/docs/install.html).
4. Install the aditional extensions:
```
opam install --unlock-base oasis camlp4 batteries ocamlbuild ocamlfind
```
5. [Configure oasis](https://ocaml.org/learn/tutorials/setting_up_with_oasis.html).
4. [Configure oasis](https://ocaml.org/learn/tutorials/setting_up_with_oasis.html).
For this, the current oasis configutation file is used:
```
OASISFormat: 0.4
......@@ -87,27 +82,14 @@ Executable decentmon
The provided configutation can left as is or you can amend the file as per your needs.
6. Run the following command at the root of the project:
```
oasis setup -setup-update dynamic
```
7. Run the following command at the root of the project:
```
ocaml setup.ml -configure
5. Run the Make install target:
```
8. To build DecentMon, run:
make install
```
ocaml setup.ml -build
6. If you modify the source files (in src/), you can recompile decentmon by running the Make decentmon target:
```
For convenience, script `compile.sh` executes this command.
9. If need be, to clean DecentMon, run:
make decentmon
```
ocaml setup.ml -clean
```
For convenience, script `clean.sh` executes this command.
## 4 Running DecentMon
To run the benchmark, it is simply needed to run the executable file "decentmon" (either native or bytecode) with appropriate options.
......
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