this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
3authors: ["Jean-Marc Alliot <jean-marc.alliot@irit.fr>"
4 "Jean-Baptiste Gotteland <gottelan@recherche.enac.fr>"]
5homepage: "http://www.alliot.fr/fbbdet.html.fr"
6license: "LGPL-3.0-only"
7tags: ["interval" "science"]
8patches: ["Makefile.patch"]
9build: [
10 ["%{make}%"]
11 ["%{make}%" "doc/index.html"] {with-doc}
12]
13install: ["%{make}%" "install"]
14remove: [["ocamlfind" "remove" "interval"]]
15depends: [
16 "ocaml"
17 "ocamlfind" {build}
18]
19synopsis: "An interval library for ocaml"
20description: """
21This library uses assembly code to compute all operations with proper
22roundings, and currently ONLY works on intel processors. It supports
23Linux, Windows and MacOs, with gcc and clang.
24
25More information is given in the paper presented in the OCaml meeting
262012: http://www.alliot.fr/papers/oud2012.pdf"""
27flags: light-uninstall
28url {
29 src: "http://www.alliot.fr/code/interval_1.3.tgz"
30 checksum: [
31 "sha256=ee73c88795c75c95573b6935715fb26f353e920a5f269f3dd6a77ee00f4ab467"
32 "md5=d4a9779cb9990fc0c49ab85e41b79089"
33 ]
34}
35extra-source "Makefile.patch" {
36 src:
37 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/interval/Makefile.patch"
38 checksum: [
39 "sha256=0e3fcc17bd7112e07c1628b930822b74ac610c452d03275bc6a82ceaaf6078e0"
40 "md5=492e20ee0b9c3fcbd3f7c11302f3f323"
41 ]
42}
43extra-source "META" {
44 src:
45 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/interval/META.1.3"
46 checksum: [
47 "sha256=2315d995476c2c58b8dd425e10cd7813eea243ce075ed4056d15840932652fa4"
48 "md5=77894b433ce99565780c2a863f331607"
49 ]
50}