opam-version: "2.0"
maintainer: "xavier.allamigeon (at) inria.fr"
authors: ["Xavier ALLAMIGEON"]
homepage: "https://gforge.inria.fr/projects/tplib/"
bug-reports: "https://gforge.inria.fr/tracker/?group_id=3286"
dev-repo: "git+https://scm.gforge.inria.fr/anonscm/git/tplib/tplib.git"
build: [
  ["./configure" "--prefix" prefix]
  [make]
]
install: [
  [make "install"]
]
remove: [
  ["./configure" "--prefix" prefix]
  [make "uninstall"]
]
depends: [
  "ocaml" {>= "3.12.0"}
  "ocamlfind"
  "ocamlbuild" {build}
  "num"
]
depopts: [
  "zarith"
  "mlgmp"
]
conflicts: [
  "mlgmpidl"
]
patches: [
  "fix-makefile.diff"
]
synopsis: "TPLib: Tropical Polyhedra Library"
description: """
TPLib implements several algorithms to manipulate tropical polyhedra. Among 
others, it allows to compute:
* the extreme points and rays of tropical polyhedra, 
* tropical polar cones,
* the minimal representations by means of half-spaces,
* the tropical complex associated with a tropical polytope.

TPLib also provides abstract operations over tropical polyhedra (intersections,
convex hull of unions, etc), which are typically useful in applications to 
formal verification."""
url {
  src:
    "https://github.com/ocaml/opam-source-archives/raw/main/tplib-1.3.tar.gz"
  checksum: [
    "sha256=17f62ac4ace4be573ec9cb1fae1aaf12d0d31bc907df3fa5b6cf5eb8e2923312"
    "md5=861bde89a6790b78474c5578f821aea4"
  ]
}
extra-source "fix-makefile.diff" {
  src:
    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/tplib/fix-makefile.diff"
  checksum: [
    "sha256=76fc3470ac62ac8d092a9ad647a20ff032308e38717f5b1f1d0c9e107c4174f6"
    "md5=4d6c16c0d8c001c09afd8d9ddb8493f0"
  ]
}