this repo has no description
anil.recoil.org
1synopsis: "A PPX Rewriter for Hashconsing"
2description:
3"""
4This is a PPX Rewriter for generating hashconsing implementations
5of ASTs, mechanizing the ideas and code of Jean-Christophe Filliatre
6and Sylvain Conchon.
7
8"""
9opam-version: "2.0"
10maintainer: "Chet Murthy <chetsky@gmail.com>"
11authors: ["Chet Murthy"]
12homepage: "https://github.com/camlp5/pa_ppx_hashcons"
13license: "BSD-3-Clause"
14bug-reports: "https://github.com/camlp5/pa_ppx_hashcons/issues"
15dev-repo: "git+https://github.com/camlp5/pa_ppx_hashcons.git"
16doc: "https://github.com/camlp5/pa_ppx_hashcons/doc"
17
18depends: [
19 "ocaml" { >= "4.10.0" & < "4.14.0" }
20 "conf-perl"
21 "conf-perl-ipc-system-simple"
22 "conf-perl-string-shellquote"
23 "camlp5" { >= "8.00" }
24 "pa_ppx" { = "0.08" }
25 "pa_ppx_migrate" { with-test & >= "0.08" }
26 "not-ocamlfind" { >= "0.01" }
27 "pcre" { >= "7.4.3" }
28 "ounit" {with-test}
29 "bos" { >= "0.2.0" }
30 "hashcons"
31]
32build: [
33 [make "sys"]
34 [make "test"] {with-test}
35]
36install: [make "install"]
37url {
38 src: "https://github.com/camlp5/pa_ppx_hashcons/archive/0.08.tar.gz"
39 checksum: [
40 "sha512=2f6306a7794bcad347aed6915c44349681463102426e3f741564ec439eee6eb6b12d7f65219d63d35a578a7fb374f6298f98a7730b7e290a6af11cc9b111b320"
41 ]
42}