this repo has no description
Menhir 20231231
authored by
Diana Kalinichenko
and committed by
David Allsopp
a4a14d66
18c2db69
+34
+34
packages/menhir-secondary/menhir-secondary.20231231/opam
+34
packages/menhir-secondary/menhir-secondary.20231231/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "David Allsopp <david@tarides.com>"
3
+
authors: [
4
+
"François Pottier <francois.pottier@inria.fr>"
5
+
"Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>"
6
+
]
7
+
homepage: "http://gitlab.inria.fr/fpottier/menhir"
8
+
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"
9
+
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"
10
+
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
11
+
build-env: [
12
+
[PATH += "%{ocaml-secondary-compiler:share}%/bin"]
13
+
]
14
+
build: [
15
+
["dune" "build"] { opam-version >= "2.1.5" }
16
+
["sh" "-exc" "PATH=%{ocaml-secondary-compiler:share}%/bin:$PATH dune build"] { opam-version < "2.1.5"}
17
+
]
18
+
install: [
19
+
["sh" "-exc" "PATH=%{ocaml-secondary-compiler:share}%/bin:$PATH dune install --prefix %{ocaml-secondary-compiler:share}%"] { opam-version < "2.1.5"}
20
+
["dune" "install" "--prefix" ocaml-secondary-compiler:share] { opam-version >= "2.1.5" }
21
+
]
22
+
depends: [
23
+
"dune-secondary"
24
+
"ocaml-secondary-compiler"
25
+
]
26
+
synopsis: "Adds Menhir to ocaml-secondary-compiler"
27
+
url {
28
+
src:
29
+
"https://gitlab.inria.fr/fpottier/menhir/-/archive/20231231/archive.tar.gz"
30
+
checksum: [
31
+
"md5=799748bc3b7a542798a85956c7863865"
32
+
"sha512=620ff3443143535e03ac98c5e8ee2ddf9ba48f8cfe441302118def1da3e03ffac7f48d4d4cb129766b625ecad0fb341da1baa0169dee8b6d07a5b0bbb735cf2f"
33
+
]
34
+
}