README.md 1.11 KB
Newer Older
1
2
3
4
- [Installing `lutils` via opam](#org3d0c7d0)
- [Installing the git source](#org3d4fecf)
- [Tests](#org1c424bb)
- [Docker](#orgb88701a)
5
6
7

Tools and libs shared by other Verimag/synchronous tools (lustre, lutin, rdbg).

erwan's avatar
erwan committed
8
-   The lutils ocaml library contains various modules shared between tools. Those modules deal with:
9
10
    -   generate and parse RIF files
    -   generate dro files (to call luciole)
erwan's avatar
erwan committed
11
-   `gnuplot-rif` is a stand alone executable that vizualises RIF files using gnuplot.
12
13


14
<a id="org3d0c7d0"></a>
15
16
17

# Installing `lutils` via opam

erwan's avatar
erwan committed
18
19
20
21
22
```sh
$ opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
$ opam update
$ opam install lutils
```
23
24


25
<a id="org3d4fecf"></a>
26
27
28

# Installing the git source

erwan's avatar
erwan committed
29
30
31
```sh
git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/lutils.git
cd lutils
32
opam install dune num
erwan's avatar
erwan committed
33
34
35
36
mv Makefile.version.hide Makefile.version
make configure
make
```
37
38


39
<a id="org1c424bb"></a>
40
41
42

# Tests

erwan's avatar
erwan committed
43
44
45
46
47
```sh
make test
```


48
<a id="orgb88701a"></a>
erwan's avatar
erwan committed
49
50

# Docker
51

52
nb: the content of this repo is also available via the `jahierwan/verimag-sync-tools` docker image