this repo has no description
Merge pull request #22370 from jahierwan/opam-publish-lutils.1.54.1
Package lutils.1.54.1
authored by
Marcello Seri
and committed by
GitHub
09f2ff80
445ff108
+42
+42
packages/lutils/lutils.1.54.1/opam
+42
packages/lutils/lutils.1.54.1/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "erwan.jahier@imag.fr"
3
+
authors: "Erwan Jahier"
4
+
license: "CeCILL-2.1"
5
+
homepage:
6
+
"https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/"
7
+
bug-reports:
8
+
"https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/issues"
9
+
doc: "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6"
10
+
11
+
depends: [
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
+
]
19
+
build: [
20
+
["dune" "build" "-p" name "-j" jobs]
21
+
]
22
+
post-messages:
23
+
"The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
24
+
dev-repo:
25
+
"git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils.git"
26
+
synopsis: "Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)"
27
+
description: """
28
+
The lutils library contains various modules shared between tools developped at
29
+
Verimag in the synchronous group. Those modules deal with:
30
+
- generate and parse RIF files
31
+
- generate dro files (to call luciole)
32
+
33
+
The gnuplot-rif tool vizualise RIF files using gnuplot.
34
+
"""
35
+
url {
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
+
}