this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "xavier.allamigeon (at) inria.fr"
3authors: ["Xavier ALLAMIGEON"]
4homepage: "https://gforge.inria.fr/projects/tplib/"
5bug-reports: "https://gforge.inria.fr/tracker/?group_id=3286"
6dev-repo: "git+https://scm.gforge.inria.fr/anonscm/git/tplib/tplib.git"
7build: [
8 ["./configure" "--prefix" prefix]
9 [make]
10]
11install: [
12 [make "install"]
13]
14remove: [
15 ["./configure" "--prefix" prefix]
16 [make "uninstall"]
17]
18depends: [
19 "ocaml" {>= "3.12.0"}
20 "ocamlfind"
21 "ocamlbuild" {build}
22 "num"
23]
24depopts: [
25 "zarith"
26 "mlgmp"
27]
28conflicts: [
29 "mlgmpidl"
30]
31patches: [
32 "fix-makefile.diff"
33]
34synopsis: "TPLib: Tropical Polyhedra Library"
35description: """
36TPLib implements several algorithms to manipulate tropical polyhedra. Among
37others, it allows to compute:
38* the extreme points and rays of tropical polyhedra,
39* tropical polar cones,
40* the minimal representations by means of half-spaces,
41* the tropical complex associated with a tropical polytope.
42
43TPLib also provides abstract operations over tropical polyhedra (intersections,
44convex hull of unions, etc), which are typically useful in applications to
45formal verification."""
46url {
47 src:
48 "https://github.com/ocaml/opam-source-archives/raw/main/tplib-1.3.tar.gz"
49 checksum: [
50 "sha256=17f62ac4ace4be573ec9cb1fae1aaf12d0d31bc907df3fa5b6cf5eb8e2923312"
51 "md5=861bde89a6790b78474c5578f821aea4"
52 ]
53}
54extra-source "fix-makefile.diff" {
55 src:
56 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/tplib/fix-makefile.diff"
57 checksum: [
58 "sha256=76fc3470ac62ac8d092a9ad647a20ff032308e38717f5b1f1d0c9e107c4174f6"
59 "md5=4d6c16c0d8c001c09afd8d9ddb8493f0"
60 ]
61}