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