Project

General

Profile

Download (1.71 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
(version "1.7")
11

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

    
19

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