-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
31 lines (31 loc) · 1.06 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
opam-version: "2.0"
maintainer: "francois.pottier@inria.fr"
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/"
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"
bug-reports: "menhir@inria.fr"
build: [
[make "-f" "Makefile" "PREFIX=%{prefix}%" "USE_OCAMLFIND=true" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"]
]
install: [
[make "-f" "Makefile" "install" "PREFIX=%{prefix}%" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"]
]
remove: [
[make "-f" "Makefile" "uninstall" "PREFIX=%{prefix}%" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"]
]
depends: [
"ocaml" {>= "4.02" & < "5.0"}
"ocamlfind"
"ocamlbuild" {build}
]
synopsis: "LR(1) parser generator"
url {
src: "http://gallium.inria.fr/~fpottier/menhir/menhir-20170712.tar.gz"
checksum: [
"sha256=ca482d690052343d6cb9452433248a0a92cc8bfc8fa529dc313220c9d7c0d000"
"md5=85a5c2aef1d3f2224dab7c53d79892e5"
]
}