Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / lustrec.opam @ 9b0432bc

History | View | Annotate | Download (1.74 KB)

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
  "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
  ["./configure"  "--prefix=%{prefix}%" "share=%{share}%/%{name}%"]
53
  [
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
url {
67
  src: "https://cavale.enseeiht.fr/redmine/attachments/download/117/lustrec-1.6-Xia-Zhu-src.tgz"
68
  checksum: "md5=f06e87d5fbb24c91894bdc55bf6cc496"
69
}