Project

General

Profile

« Previous | Next » 

Revision f7c73c82

Added by Corentin Lauverjat over 1 year ago

  • ID f7c73c8258224fd50c54773ec7d3938983ce3cee
  • Parent 3769b712

Correctif

View differences:

lustrec.opam
35 35
  "ocamlgraph" {build}
36 36
  "logs" {build}
37 37
  "num" {build}
38
  "jingoo" {build}
39 38
  "zarith" {build}
40 39
  "dune-build-info"
41 40
  "mlmpfr" { = "4.0.2" }
opam
1
opam-version: "2.0"
2
name: "lustrec"
3
version: "1.7"
4
maintainer: "Pierre-Loic Garoche <ploc@garoche.net>"
5
authors: ["Pierre-Loic Garoche <ploc@garoche.net>" "Xavier Thirioux <thirioux@enseeiht.fr>"]
6
homepage: "https://cavale.enseeiht.fr/redmine/projects/lustrec/"
7
bug-reports: "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues"
8
license: "LGPL"
9
dev-repo: "git+https://cavale.enseeiht.fr/git/lustrec#unstable"
10
build: [
11
  ["autoconf"]
12
  ["./configure" "--prefix=%{prefix}%"]
13
  [make]
14
]
15
install: [make "install"]
16
remove: [make "uninstall"]
17
depends: [
18
  "ocamlfind"
19
  "yojson"
20
  "cmdliner"
21
  "fmt"
22
  "ppx_deriving_yojson"
23
  "ppx_traverse_builtins"
24
  "ppxlib"
25
  "menhir"
26
  "ocamlgraph"
27
  "logs"
28
  "z3"
29
  "num"
30
]
31
synopsis: "A Lustre compiler toolset"
32
description: """
33
lustrec is structured around the modular compilation scheme proposed
34
by Biernacki, Colaço, Hamon, and Pouzet at LCTES'08.  It is an open
35
source lustre compiler that provides verification capabilities.
36
It is currently mainly used through the CocoSim platform, a Matlab
37
toolbox to perform V&V of Simulink models. Within CocoSim, the Lustre
38
language is used as an intermediate representation and relies mainly
39
on lustrec to produce code or verification artifacts.
40
"""
41
url {
42
  src: "https://cavale.enseeiht.fr/redmine/attachments/download/117/lustrec-1.6-Xia-Zhu-src.tgz"
43
  checksum: "md5=f06e87d5fbb24c91894bdc55bf6cc496"
44
}
opam.in
1
opam-version: "2.0"
2
name: "lustrec"
3
version: "@VERSION_NUMBER@"
4
maintainer: "Pierre-Loic Garoche <ploc@garoche.net>"
5
authors: ["Pierre-Loic Garoche <ploc@garoche.net>" "Xavier Thirioux <thirioux@enseeiht.fr>"]
6
homepage: "https://cavale.enseeiht.fr/redmine/projects/lustrec/"
7
bug-reports: "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues"
8
license: "LGPL"
9
dev-repo: "git+https://cavale.enseeiht.fr/git/lustrec#unstable"
10
build: [
11
  ["autoconf"]
12
  ["./configure" "--prefix=%{prefix}%"]
13
  [make]
14
]
15
install: [make "install"]
16
remove: [make "uninstall"]
17
depends: [
18
  "ocamlfind"
19
  "yojson"
20
  "cmdliner"
21
  "fmt"
22
  "ppx_deriving_yojson"
23
  "ppx_traverse_builtins"
24
  "ppxlib"
25
  "menhir"
26
  "ocamlgraph"
27
  "logs"
28
  "z3"
29
  "num"
30
]
31
synopsis: "A Lustre compiler toolset"
32
description: """
33
lustrec is structured around the modular compilation scheme proposed
34
by Biernacki, Colaço, Hamon, and Pouzet at LCTES'08.  It is an open
35
source lustre compiler that provides verification capabilities.
36
It is currently mainly used through the CocoSim platform, a Matlab
37
toolbox to perform V&V of Simulink models. Within CocoSim, the Lustre
38
language is used as an intermediate representation and relies mainly
39
on lustrec to produce code or verification artifacts.
40
"""
41
url {
42
  src: "https://cavale.enseeiht.fr/redmine/attachments/download/117/lustrec-1.6-Xia-Zhu-src.tgz"
43
  checksum: "md5=f06e87d5fbb24c91894bdc55bf6cc496"
44
}
src/dune
20 20
  ; {% if enable_zustre %} zustre_for_lustrev  {% endif %}
21 21
  ; {% if enable_seal %} seal {% endif %}
22 22
  
23
   tiny_for_lustrev 
24
   zustre_for_lustrev  
23
   ;tiny_for_lustrev 
24
   ;zustre_for_lustrev  
25 25
  
26 26
  )
27 27
  (modules :standard \ 

Also available in: Unified diff