-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
49 lines (49 loc) · 1.81 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
opam-version: "2.0"
maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
authors: [ "Erwan Jahier and Pascal Raymond" ]
license: "CeCILL-1.0+"
homepage: "http://www-verimag.imag.fr/lustre-v6.html"
dev-repo:
"git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6.git"
bug-reports: "http://www-verimag.imag.fr/lustre-v6.html"
build: [
["oasis" "setup"]
["ocaml" "setup.ml" "-configure" "--prefix" prefix]
["ocaml" "setup.ml" "-build"]
["oasis" "setup"] {with-test}
["ocaml" "setup.ml" "-configure" "--enable-tests"] {with-test}
["ocaml" "setup.ml" "-build"] {with-test}
["ocaml" "setup.ml" "-test"] {with-test}
]
install: ["ocaml" "setup.ml" "-install"]
remove: [
["ocaml" "%{etc}%/lustre-v6/setup.ml" "-C" "%{etc}%/lustre-v6" "-uninstall"]
]
depends: [
"ocaml" {>= "4.02"}
"base-unix"
("extlib" {build} | "extlib-compat" {build})
"lutils" {< "1.48"}
("oasis" {build & >= "0.4.7"} | "oasis-mirage" {build & >= "0.4.7"})
"extlib" {build} | "extlib-compat" {build}
"lutils" {build}
"oasis" {build & >= "0.4.7"} | "oasis-mirage" {build & >= "0.4.7"}
"ocamlbuild" {build}
"ocamlfind" {build}
"rdbg" {>= "1.109"}
]
post-messages: ["A more up-to-date version can be obtained from (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/ "]
synopsis: "The Lustre V6 Verimag compiler"
description: """
This package contains: - lv6: the (current) name of the compiler (and
interpreter via -exec) - the lustre-v6 ocaml lib: allows to call the
Lustre v6 interpreter from ocaml - the lustre-v6 rdbg plugin: allows
to debug Lustre v6 program wth rdbg"""
url {
src:
"http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lustre-v6.1.737.tgz"
checksum: [
"sha256=0f3143d384d4d4d12e11f3c1e4ff1db7c03bcf4a9b7c547becbf3947b3b788a1"
"md5=0fd31885b50b4039ec96aafa7cf72750"
]
}