Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / lustrec.opam @ 9b0432bc

History | View | Annotate | Download (1.74 KB)

1 efe57954 ploc
opam-version: "2.0"
2 a7ce880f ploc
version: "1.7"
3 efe57954 ploc
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 9c4cc944 Corentin Lauverjat
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 a5484aa2 ploc
  ["./configure"  "--prefix=%{prefix}%" "share=%{share}%/%{name}%"]
53 9c4cc944 Corentin Lauverjat
  [
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 efe57954 ploc
url {
67 222db658 ploc
  src: "https://cavale.enseeiht.fr/redmine/attachments/download/117/lustrec-1.6-Xia-Zhu-src.tgz"
68 efe57954 ploc
  checksum: "md5=f06e87d5fbb24c91894bdc55bf6cc496"
69
}