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