Project

General

Profile

Download (1.75 KB) Statistics
| Branch: | Tag: | Revision:
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
  "dune" {>= "2.0"}
23
  "conf-autoconf"
24
  "ocaml" {>= "4.03"}
25
  "ocamlfind" {build}
26
  "yojson" {build}
27
  "cmdliner" {build}
28
  "fmt" {build}
29
  "apron" {build}
30
  "ppx_deriving_yojson" {build}
31
  "ppx_traverse_builtins" {build}
32
  "ppx_inline_test" {build}
33
  "ppxlib" {build}
34
  "menhir" {build}
35
  "ocamlgraph" {build}
36
  "logs" {build}
37
  "num" {build}
38
  "zarith" {build}
39
  "dune-build-info"
40
  "mlmpfr" { = "4.0.2" }
41
]
42
depopts: [
43
  "z3" {= "4.8.1"}
44
  "tiny" {dev}
45
]
46
build: [
47
  ["dune" "subst"] {pinned}
48
  ["autoconf"]
49
  ["./configure" "--prefix=%{prefix}%"]
50
  [
51
    "dune"
52
    "build"
53
    "-p"
54
    name
55
    "-j"
56
    jobs
57
    "@install"
58
    "@runtest" {with-test}
59
    "@doc" {with-doc}
60
  ]
61
]
62
dev-repo: "git+https://cavale.enseeiht.fr/git/lustrec#unstable"
63
url {
64
  src: "https://cavale.enseeiht.fr/redmine/attachments/download/117/lustrec-1.6-Xia-Zhu-src.tgz"
65
  checksum: "md5=f06e87d5fbb24c91894bdc55bf6cc496"
66
}
(18-18/18)