this repo has no description
Merge pull request #21836 from hackedy/opam-publish-p4pp.0.1.12
Package p4pp.0.1.12
+29
+29
packages/p4pp/p4pp.0.1.12/opam
+29
packages/p4pp/p4pp.0.1.12/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "P4PP: Preprocessor for P4 Language"
3
+
maintainer: "jnfoster@cs.cornell.edu"
4
+
authors: "Nate Foster <jnfoster@cs.cornell.edu>"
5
+
license: "Apache-2.0"
6
+
homepage: "https://github.com/cornell-netlab/p4pp"
7
+
bug-reports: "https://github.com/cornell-netlab/p4pp/issues"
8
+
depends: [
9
+
"ocaml" {>= "4.11"}
10
+
"dune" {>= "1.4"}
11
+
"menhir" {>= "20180523"}
12
+
"core" {>= "v0.15.0"}
13
+
"core_unix" {>= "v0.15.0"}
14
+
]
15
+
build: [
16
+
["dune" "subst"] {dev}
17
+
["dune" "build" "-p" name "-j" jobs]
18
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
19
+
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
20
+
]
21
+
dev-repo: "git+https://github.com/cornell-netlab/p4pp/"
22
+
url {
23
+
src:
24
+
"https://github.com/cornell-netlab/p4pp/archive/refs/tags/v0.1.12.tar.gz"
25
+
checksum: [
26
+
"md5=a6879409e5f5b979744e49bc9c6b1de5"
27
+
"sha512=f79848d3f825b9a087efda2e52d208ed27984ba712f4429121ef0b268d2ccc851cb153428410cdba674e335676081081c378594ff9592496de2fd2e7f0267bc5"
28
+
]
29
+
}