1
|
opam-version: "2.0"
|
2
|
name: "lustrec"
|
3
|
version: "@VERSION_NUMBER@"
|
4
|
maintainer: "Pierre-Loic Garoche <ploc@garoche.net>"
|
5
|
authors: ["Pierre-Loic Garoche <ploc@garoche.net>" "Xavier Thirioux <thirioux@enseeiht.fr>"]
|
6
|
homepage: "https://cavale.enseeiht.fr/redmine/projects/lustrec/"
|
7
|
bug-reports: "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues"
|
8
|
license: "LGPL"
|
9
|
dev-repo: "git+https://cavale.enseeiht.fr/git/lustrec#unstable"
|
10
|
build: [
|
11
|
["autoconf"]
|
12
|
["./configure" "--prefix=%{prefix}%"]
|
13
|
[make]
|
14
|
]
|
15
|
install: [make "install"]
|
16
|
remove: [make "uninstall"]
|
17
|
depends: [
|
18
|
"ocamlfind"
|
19
|
"yojson"
|
20
|
"cmdliner"
|
21
|
"fmt"
|
22
|
"ppx_deriving_yojson"
|
23
|
"ppx_traverse_builtins"
|
24
|
"ppxlib"
|
25
|
"menhir"
|
26
|
"ocamlgraph"
|
27
|
"logs"
|
28
|
"z3"
|
29
|
"num"
|
30
|
]
|
31
|
synopsis: "A Lustre compiler toolset"
|
32
|
description: """
|
33
|
lustrec is structured around the modular compilation scheme proposed
|
34
|
by Biernacki, Colaço, Hamon, and Pouzet at LCTES'08. It is an open
|
35
|
source lustre compiler that provides verification capabilities.
|
36
|
It is currently mainly used through the CocoSim platform, a Matlab
|
37
|
toolbox to perform V&V of Simulink models. Within CocoSim, the Lustre
|
38
|
language is used as an intermediate representation and relies mainly
|
39
|
on lustrec to produce code or verification artifacts.
|
40
|
"""
|
41
|
url {
|
42
|
src: "https://cavale.enseeiht.fr/redmine/attachments/download/117/lustrec-1.6-Xia-Zhu-src.tgz"
|
43
|
checksum: "md5=f06e87d5fbb24c91894bdc55bf6cc496"
|
44
|
}
|