this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)"
3description: """
4The lutils library contains various modules shared between tools developped at
5Verimag in the synchronous group. Those modules deal with:
6- generate and parse RIF files
7- generate dro files (to call luciole)
8
9The gnuplot-rif tool vizualise RIF files using gnuplot.
10"""
11maintainer: "erwan.jahier@imag.fr"
12authors: "Erwan Jahier"
13license: "CeCILL-2.1"
14homepage:
15 "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/"
16bug-reports:
17 "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/"
18depends: [
19 "ocaml" {>= "4.02" & < "4.14"}
20 "base-unix"
21 "ocamlbuild" {build}
22 "ocamlfind"
23 "num"
24]
25build: [
26 ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
27 ["ocaml" "setup.ml" "-build"]
28 ["ocaml" "setup.ml" "-configure" "--enable-tests"] {with-test}
29 ["ocaml" "setup.ml" "-build"] {with-test}
30 ["ocaml" "setup.ml" "-test"] {with-test}
31]
32install: ["ocaml" "setup.ml" "-install"]
33post-messages:
34 "The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
35dev-repo:
36 "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils.git"
37url {
38 src:
39 "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutils.1.49.5.tgz"
40 checksum: [
41 "sha256=d94a48abcc1fd817cd7b2183aa234ea801dea652f593a8c7f7675130736b1f8c"
42 "md5=a1e1283913c84aee389ff8168e55a647"
43 ]
44}