Commit 5bac6a12 authored by erwan's avatar erwan
Browse files

Doc: enhance the source install process

parent 7cb937d8
- [Installing `lutils` via opam](#orgf2ed44a)
- [Installing the git source](#org9fb132f)
- [Tests](#org42200a1)
- [Docker](#orgff88b30)
- [Installing `lutils` via opam](#org3d0c7d0)
- [Installing the git source](#org3d4fecf)
- [Tests](#org1c424bb)
- [Docker](#orgb88701a)
Tools and libs shared by other Verimag/synchronous tools (lustre, lutin, rdbg).
......@@ -11,7 +11,7 @@ Tools and libs shared by other Verimag/synchronous tools (lustre, lutin, rdbg).
- `gnuplot-rif` is a stand alone executable that vizualises RIF files using gnuplot.
<a id="orgf2ed44a"></a>
<a id="org3d0c7d0"></a>
# Installing `lutils` via opam
......@@ -22,20 +22,21 @@ $ opam install lutils
```
<a id="org9fb132f"></a>
<a id="org3d4fecf"></a>
# Installing the git source
```sh
git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/lutils.git
cd lutils
opam install dune num
mv Makefile.version.hide Makefile.version
make configure
make
```
<a id="org42200a1"></a>
<a id="org1c424bb"></a>
# Tests
......@@ -44,8 +45,8 @@ make test
```
<a id="orgff88b30"></a>
<a id="orgb88701a"></a>
# Docker
nb: the content of this repo is also available via the `jahierwan/verimag-sync-tools` docker image
\ No newline at end of file
nb: the content of this repo is also available via the `jahierwan/verimag-sync-tools` docker image
......@@ -21,6 +21,7 @@ $ opam install lutils
#+BEGIN_SRC sh
git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/lutils.git
cd lutils
opam install dune num
mv Makefile.version.hide Makefile.version
make configure
make
......
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