-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
43 lines (40 loc) · 1.25 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
synopsis: "A PPX Rewriter for Hashconsing"
description:
"""
This is a PPX Rewriter for generating hashconsing implementations
of ASTs, mechanizing the ideas and code of Jean-Christophe Filliatre
and Sylvain Conchon.
"""
opam-version: "2.0"
maintainer: "Chet Murthy <chetsky@gmail.com>"
authors: ["Chet Murthy"]
homepage: "https://github.com/camlp5/pa_ppx_hashcons"
license: "BSD-3-Clause"
bug-reports: "https://github.com/camlp5/pa_ppx_hashcons/issues"
dev-repo: "git+https://github.com/camlp5/pa_ppx_hashcons.git"
doc: "https://github.com/camlp5/pa_ppx_hashcons/doc"
depends: [
"ocaml" { >= "4.10.0" & < "5.01.0" }
"cppo" { >= "1.6.9" }
"camlp5-buildscripts" { >= "0.02" & < "0.03" }
"camlp5" { >= "8.01.00" }
"pa_ppx" { >= "0.12" }
"pa_ppx_migrate" { with-test & >= "0.10" }
"not-ocamlfind" { >= "0.10" }
"pcre" { >= "7.4.3" }
"ounit" { >= "2.2.7" & with-test}
"bos" { >= "0.2.0" }
"fmt"
"hashcons"
]
build: [
[make "sys"]
[make "test"] {with-test}
]
install: [make "install"]
url {
src: "https://github.com/camlp5/pa_ppx_hashcons/archive/refs/tags/0.10.tar.gz"
checksum: [
"sha512=a634d9a569923d5dcfd1a5f6195090d4a084e49d50be4774aa9ff3b2cf82afae8d631e019bb6776a54581b3af8bd49ac976adeb7ea681a0b40a781997e517f11"
]
}