-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
37 lines (37 loc) · 1.02 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
opam-version: "2.0"
maintainer: "https://github.com/ocaml/opam-repository/issues"
authors: [
"François Pottier <francois.pottier@inria.fr>"
"Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>"
]
homepage: "http://gallium.inria.fr/~fpottier/menhir/"
remove: [["ocamlfind" "remove" "menhirLib"]]
depends: [
"ocaml" {< "4.06.0"}
"ocamlfind"
]
install: [
make
"install"
"PREFIX=%{prefix}%"
"docdir=%{doc}%/menhir"
"libdir=%{lib}%/menhir"
"mandir=%{man}%/man1"
]
synopsis: "LR(1) parser generator"
flags: light-uninstall
url {
src: "http://cristal.inria.fr/~fpottier/menhir/menhir-20120123.tar.gz"
checksum: [
"sha256=65cd9e4f813c62697c60c344963ca11bd461169f574ba3a866c2691541cb4682"
"md5=1167cc6023f5d5e829e1d31ccbaad67d"
]
}
extra-source "menhir.install" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/menhir/menhir.install.20120123"
checksum: [
"sha256=06134d0571b5aee328617645daa0c76718263a76d5df203c329713066f8f04fc"
"md5=cc272194297647b1b7a0415ad3ea6e5f"
]
}