Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
lustre-v6 - The Lustre V6 Verimag compiler
This package contains:
- lv6: the (current) name of the compiler (and interpreter via -exec)
- the lustre-v6 ocaml lib: to call the Lustre v6 interpreter from ocaml
- the lustre-v6 rdbg plugin: to debug Lustre v6 program with rdbg
* Installing =lustre-v6= via opam
End users ougth to install =lustre-v6= via opam.
#+BEGIN_SRC sh
$ opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
$ opam update
$ opam install lustre-v6
#+END_SRC
* Installing =lustre-v6= via pre-compiled binaries
cf the Install section of http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6/
* Installing the (git controlled) source
You first need to install dune and gnu-make. To have all the necessary
dependencies, it migth help to use opam
#+BEGIN_SRC sh
opam install lutils lustre-v6
opam remove lutils lustre-v6
#+END_SRC
Then you should install lutils (either via opam or via the git repo)
https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils
Then 'make' should build all the executables, 'make install' should
install everything, and 'make test' ougth to exit with a 0 return
code.
#+BEGIN_SRC sh
opam install lutils extlib
git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/lustre-v6.git
cd lustre-v6
make
make install
make test
#+END_SRC
* Contribute
To contribute, you need to create an account on https://gricad-gitlab.univ-grenoble-alpes.fr
-----