Project

General

Profile

Download (1.76 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
  "jingoo" {build}
39
  "zarith" {build}
40
  "dune-build-info"
41
  "mlmpfr" { = "4.0.2" }
42
]
43
depopts: [
44
  "z3" {= "4.8.1"}
45
  "tiny" {dev}
46
]
47
build: [
48
  ["dune" "subst"] {pinned}
49
  ["autoconf"]
50
  ["./configure" "--prefix=%{prefix}%"]
51
  [
52
    "dune"
53
    "build"
54
    "-p"
55
    name
56
    "-j"
57
    jobs
58
    "@install"
59
    "@runtest" {with-test}
60
    "@doc" {with-doc}
61
  ]
62
]
63
dev-repo: "git+https://cavale.enseeiht.fr/git/lustrec#unstable"
64
url {
65
  src: "https://cavale.enseeiht.fr/redmine/attachments/download/117/lustrec-1.6-Xia-Zhu-src.tgz"
66
  checksum: "md5=f06e87d5fbb24c91894bdc55bf6cc496"
67
}
(18-18/21)