Project

General

Profile

Download (1.29 KB) Statistics
| Branch: | Tag: | Revision:
1 719ae9fd Lélio Brun
# This file is generated by dune, edit dune-project instead
2
opam-version: "2.0"
3
version: "1.7"
4
synopsis: "A Lustre compiler toolset"
5
description:
6
  "lustrec is structured around the modular compilation scheme proposed by Biernacki, Colaço, Hamon, and Pouzet at LCTES'08.  It is an open source lustre compiler that provides verification capabilities. It is currently mainly used through the CocoSim platform, a Matlab toolbox to perform V&V of Simulink models. Within CocoSim, the Lustre language is used as an intermediate representation and relies mainly on lustrec to produce code or verification artifacts."
7
maintainer: ["Pierre-Loic Garoche <ploc@garoche.net>"]
8
authors: [
9
  "Pierre-Loic Garoche <ploc@garoche.net>"
10
  "Xavier Thirioux <thirioux@enseeiht.fr>"
11
]
12
license: "LGPL"
13
homepage: "https://cavale.enseeiht.fr/redmine/projects/lustrec/"
14
bug-reports: "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues"
15
depends: [
16
  "dune" {>= "2.8"}
17 97d4e95e Lélio Brun
  "conf-gmp"
18 b9e707e8 Lélio Brun
  "ocamlgraph"
19
  "menhir"
20
  "zarith"
21 ca7e8027 Lélio Brun
  "yojson"
22
  "ppx_deriving_yojson"
23 b9e707e8 Lélio Brun
  "dune-site"
24 719ae9fd Lélio Brun
  "odoc" {with-doc}
25
]
26 ca7e8027 Lélio Brun
depopts: ["z3"]
27 719ae9fd Lélio Brun
build: [
28
  ["dune" "subst"] {dev}
29
  [
30
    "dune"
31
    "build"
32
    "-p"
33
    name
34
    "-j"
35
    jobs
36
    "@install"
37
    "@runtest" {with-test}
38
    "@doc" {with-doc}
39
  ]
40
]
41
dev-repo: "git+https://cavale.enseeiht.fr/git/lustrec#unstable"