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