opam-version: "2.0"
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: ["Jean-Marc Alliot <jean-marc.alliot@irit.fr>"
          "Jean-Baptiste Gotteland <gottelan@recherche.enac.fr>"]
homepage: "http://www.alliot.fr/fbbdet.html.fr"
license: "LGPL-3.0"
tags: ["interval" "science"]
patches: ["Makefile.patch"]
build: [
  ["%{make}%"]
  ["%{make}%" "doc/index.html"] {with-doc}
]
install: ["%{make}%" "install"]
remove: [["ocamlfind" "remove" "interval"]]
depends: [
  "ocaml"
  "ocamlfind" {build}
]
synopsis: "An interval library for ocaml"
description: """
This library uses assembly code to compute all operations with proper
roundings, and currently ONLY works on intel processors.  It supports
Linux, Windows and MacOs, with gcc and clang.

More information is given in the paper presented in the OCaml meeting
2012: http://www.alliot.fr/papers/oud2012.pdf"""
flags: light-uninstall
extra-files: [
  ["Makefile.patch" "md5=492e20ee0b9c3fcbd3f7c11302f3f323"]
  ["META" "md5=77894b433ce99565780c2a863f331607"]
]
url {
  src: "http://www.alliot.fr/code/interval_1.3.tgz"
  checksum: "md5=d4a9779cb9990fc0c49ab85e41b79089"
}
