Project

General

Profile

Download (1.58 KB) Statistics
| Branch: | Tag: | Revision:
1
(lang dune 2.0)
2

    
3
(name lustrec)
4

    
5
(using menhir 2.0)
6

    
7
(formatting disabled)
8

    
9

    
10
(generate_opam_files true)
11
(version "1.7")
12

    
13
(homepage "https://cavale.enseeiht.fr/redmine/projects/lustrec/")
14
(source (uri "git+https://cavale.enseeiht.fr/git/lustrec#unstable"))
15
(bug_reports "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues")
16
(license LGPL-2.1-only)
17
(authors "Pierre-Loic Garoche <ploc@garoche.net>" "Xavier Thirioux <thirioux@enseeiht.fr>")
18
(maintainers "Pierre-Loic Garoche <ploc@garoche.net>")
19

    
20

    
21
(package 
22
 (name lustrec)
23
 (synopsis "A Lustre compiler toolset")
24
 (description "lustrec is structured around the modular compilation scheme proposed
25
by Biernacki, Colaço, Hamon, and Pouzet at LCTES'08.  It is an open
26
source lustre compiler that provides verification capabilities.
27
It is currently mainly used through the CocoSim platform, a Matlab
28
toolbox to perform V&V of Simulink models. Within CocoSim, the Lustre
29
language is used as an intermediate representation and relies mainly
30
on lustrec to produce code or verification artifacts.
31
")
32
 (depends
33
   (ocaml (>= "4.03"))
34
   (ocamlfind :build)
35
   (yojson :build)
36
   (cmdliner :build)
37
   (fmt :build)
38
   (apron :build) ; apron should ne set as optional dependency
39
   (tiny :dev) ; tiny should be set as optional dependency
40
   (ppx_deriving_yojson :build)
41
   (ppx_traverse_builtins :build)
42
   (ppx_inline_test :build)
43
   (ppxlib :build)
44
   (menhir :build)
45
   (ocamlgraph :build)
46
   (logs :build)
47
   (z3 (= "4.8.1"))
48
   ;(z3 (< "4.8.7")) ; after 4.8.7 z3 uses Zarith instead of the Num library, breaking some code
49
   (num :build)
50
 )
51
 (depopts
52
  ;(tiny :build)
53
  )
54
)
(10-10/11)