lustrec/lustrec.opam @ 97d4e95e
| 1 |
# This file is generated by dune, edit dune-project instead |
|---|---|
| 2 |
opam-version: "2.0" |
| 3 |
version: "1.7" |
| 4 |
synopsis: "A Lustre compiler toolset" |
| 5 |
description: |
| 6 |
"lustrec is structured around the modular compilation scheme proposed by Biernacki, Colaço, Hamon, and Pouzet at LCTES'08. It is an open source lustre compiler that provides verification capabilities. It is currently mainly used through the CocoSim platform, a Matlab toolbox to perform V&V of Simulink models. Within CocoSim, the Lustre language is used as an intermediate representation and relies mainly on lustrec to produce code or verification artifacts." |
| 7 |
maintainer: ["Pierre-Loic Garoche <ploc@garoche.net>"] |
| 8 |
authors: [ |
| 9 |
"Pierre-Loic Garoche <ploc@garoche.net>" |
| 10 |
"Xavier Thirioux <thirioux@enseeiht.fr>" |
| 11 |
] |
| 12 |
license: "LGPL" |
| 13 |
homepage: "https://cavale.enseeiht.fr/redmine/projects/lustrec/" |
| 14 |
bug-reports: "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues" |
| 15 |
depends: [ |
| 16 |
"dune" {>= "2.8"}
|
| 17 |
"conf-gmp" |
| 18 |
"ocamlgraph" |
| 19 |
"menhir" |
| 20 |
"zarith" |
| 21 |
"yojson" |
| 22 |
"ppx_deriving_yojson" |
| 23 |
"dune-site" |
| 24 |
"odoc" {with-doc}
|
| 25 |
] |
| 26 |
depopts: ["z3"] |
| 27 |
build: [ |
| 28 |
["dune" "subst"] {dev}
|
| 29 |
[ |
| 30 |
"dune" |
| 31 |
"build" |
| 32 |
"-p" |
| 33 |
name |
| 34 |
"-j" |
| 35 |
jobs |
| 36 |
"@install" |
| 37 |
"@runtest" {with-test}
|
| 38 |
"@doc" {with-doc}
|
| 39 |
] |
| 40 |
] |
| 41 |
dev-repo: "git+https://cavale.enseeiht.fr/git/lustrec#unstable" |
- « Previous
- 1
- …
- 12
- 13
- 14
- Next »