Project

General

Profile

Download (1.5 KB) Statistics
| Branch: | Tag: | Revision:
1
# 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
7
by Biernacki, Colaço, Hamon, and Pouzet at LCTES'08.  It is an open
8
source lustre compiler that provides verification capabilities.
9
It is currently mainly used through the CocoSim platform, a Matlab
10
toolbox to perform V&V of Simulink models. Within CocoSim, the Lustre
11
language is used as an intermediate representation and relies mainly
12
on lustrec to produce code or verification artifacts.
13
"""
14
maintainer: ["Pierre-Loic Garoche <ploc@garoche.net>"]
15
authors: [
16
  "Pierre-Loic Garoche <ploc@garoche.net>"
17
  "Xavier Thirioux <thirioux@enseeiht.fr>"
18
]
19
license: "LGPL-2.1-only"
20
homepage: "https://cavale.enseeiht.fr/redmine/projects/lustrec/"
21
bug-reports: "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues"
22
depends: [
23
  "dune" {>= "2.0"}
24
  "ocaml" {>= "4.03"}
25
  "ocamlfind" {build}
26
  "yojson" {build}
27
  "cmdliner" {build}
28
  "fmt" {build}
29
  "apron" {build}
30
  "tiny" {dev}
31
  "ppx_deriving_yojson" {build}
32
  "ppx_traverse_builtins" {build}
33
  "ppx_inline_test" {build}
34
  "ppxlib" {build}
35
  "menhir" {build}
36
  "ocamlgraph" {build}
37
  "logs" {build}
38
  "z3" {< "4.8.7"}
39
  "num" {build}
40
]
41
build: [
42
  ["dune" "subst"] {pinned}
43
  [
44
    "dune"
45
    "build"
46
    "-p"
47
    name
48
    "-j"
49
    jobs
50
    "@install"
51
    "@runtest" {with-test}
52
    "@doc" {with-doc}
53
  ]
54
]
55
dev-repo: "git+https://cavale.enseeiht.fr/git/lustrec#unstable"
(11-11/11)