-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
62 lines (62 loc) · 1.63 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
opam-version: "2.0"
maintainer: "filliatr@lri.fr"
authors: [
"Romain Bardou"
"Francois Bobot"
"Jean-Christophe Filliâtre"
"Johannes Kanig"
"Stephane Lescuyer"
]
homepage: "http://mlpost.lri.fr/index.fr.html"
dev-repo: "git+https://github.com/backtracking/mlpost"
bug-reports: "https://github.com/backtracking/mlpost/issues"
license: "LGPL-2.1-only"
substs: ["opam.patch"]
build: [
["./configure" "--prefix" prefix "--mandir" man]
[make]
[make "contrib"]
]
install: [
[make "install"]
[make "install-contrib"]
]
remove: [
["ocamlfind" "remove" "mlpost_dot"]
["ocamlfind" "remove" "mlpost"]
["ocamlfind" "remove" "mlpost_lablgtk"] {"%{cairo:installed}%"}
]
depends: [
"ocaml" {< "4.03.0"}
"ocamlfind"
"bitstring"
"cairo" {= "1.2.0"}
"ocamlbuild" {build}
"conf-autoconf" {build}
]
patches: ["opam.patch"]
synopsis: "Interface to Metapost"
flags: light-uninstall
url {
src: "http://mlpost.lri.fr/download/mlpost-0.8.1.tar.gz"
checksum: [
"sha256=3755c3dbe24445bb2de0d6a5d114725cb0e2ed7ede9c21ee9926ecf1d941862c"
"md5=a505aa1eb21ac0cdd4732fd10f6ac13a"
]
}
extra-source "opam.patch.in" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/mlpost/opam.patch.in"
checksum: [
"sha256=fd9d7cf4a2250b54fd9f9da2bb0cbe609f726b1c61015f88af5b1c0950ba6261"
"md5=1e044ae81ee73146e4d9051ce9547bf9"
]
}
extra-source "mlpost.install" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/mlpost/mlpost.install"
checksum: [
"sha256=5e01ada552abd1d00be7d5f260d6f70f7deb989dc3c8514d4d8acbf1f1b12811"
"md5=44b10147a8e97efd1286ee03f4ba50e9"
]
}