|
1
|
opam-version: "2.0"
|
|
2
|
version: "1.7"
|
|
3
|
synopsis: "A Lustre compiler toolset"
|
|
4
|
description: """
|
|
5
|
lustrec is structured around the modular compilation scheme proposed
|
|
6
|
by Biernacki, Colaço, Hamon, and Pouzet at LCTES'08. It is an open
|
|
7
|
source lustre compiler that provides verification capabilities.
|
|
8
|
It is currently mainly used through the CocoSim platform, a Matlab
|
|
9
|
toolbox to perform V&V of Simulink models. Within CocoSim, the Lustre
|
|
10
|
language is used as an intermediate representation and relies mainly
|
|
11
|
on lustrec to produce code or verification artifacts.
|
|
12
|
"""
|
|
13
|
maintainer: ["Pierre-Loic Garoche <ploc@garoche.net>"]
|
|
14
|
authors: [
|
|
15
|
"Pierre-Loic Garoche <ploc@garoche.net>"
|
|
16
|
"Xavier Thirioux <thirioux@enseeiht.fr>"
|
|
17
|
]
|
|
18
|
license: "LGPL-2.1-only"
|
|
19
|
homepage: "https://cavale.enseeiht.fr/redmine/projects/lustrec/"
|
|
20
|
bug-reports: "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues"
|
|
21
|
depends: [
|
|
22
|
"ocaml" {>= "4.03"}
|
|
23
|
"dune" {>= "2.0"}
|
|
24
|
"ocamlfind"
|
|
25
|
"menhir"
|
|
26
|
"conf-autoconf"
|
|
27
|
|
|
28
|
"dune-build-info"
|
|
29
|
"num"
|
|
30
|
"zarith"
|
|
31
|
"mlmpfr"
|
|
32
|
"ocamlgraph"
|
|
33
|
|
|
34
|
"ppx_deriving_yojson"
|
|
35
|
"ppx_traverse_builtins"
|
|
36
|
"ppx_inline_test"
|
|
37
|
"ppxlib"
|
|
38
|
|
|
39
|
"logs"
|
|
40
|
"cmdliner"
|
|
41
|
"fmt"
|
|
42
|
]
|
|
43
|
depopts: [
|
|
44
|
"lustrec-enable-zustre"
|
|
45
|
"tiny" (* for the tiny plugin *)
|
|
46
|
"salsa" (* for the salsa plugin *)
|
|
47
|
"seal" (* for the seal plugin *)
|
|
48
|
]
|
|
49
|
build: [
|
|
50
|
["dune" "subst"] {pinned}
|
|
51
|
["autoconf"]
|
|
52
|
["./configure" "--prefix=%{prefix}%" "share=%{share}%/%{name}%"]
|
|
53
|
[
|
|
54
|
"dune"
|
|
55
|
"build"
|
|
56
|
"-p"
|
|
57
|
name
|
|
58
|
"-j"
|
|
59
|
jobs
|
|
60
|
"@install"
|
|
61
|
"@runtest" {with-test}
|
|
62
|
"@doc" {with-doc}
|
|
63
|
]
|
|
64
|
]
|
|
65
|
dev-repo: "git+https://cavale.enseeiht.fr/git/lustrec#unstable"
|
|
66
|
url {
|
|
67
|
src: "https://cavale.enseeiht.fr/redmine/attachments/download/117/lustrec-1.6-Xia-Zhu-src.tgz"
|
|
68
|
checksum: "md5=f06e87d5fbb24c91894bdc55bf6cc496"
|
|
69
|
}
|