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"
11x-maintenance-intent: [ "(latest)" ]
12maintainer: "Chet Murthy <chetsky@gmail.com>"
13authors: ["Chet Murthy"]
14homepage: "https://github.com/camlp5/pa_ppx_hashcons"
15license: "BSD-3-Clause"
16bug-reports: "https://github.com/camlp5/pa_ppx_hashcons/issues"
17dev-repo: "git+https://github.com/camlp5/pa_ppx_hashcons.git"
18doc: "https://github.com/camlp5/pa_ppx_hashcons/doc"
19
20depends: [
21 "ocaml" { >= "4.10.0" }
22 "cppo" { >= "1.6.9" }
23 "camlp5-buildscripts" { >= "0.02" }
24 "camlp5" { >= "8.01.00" }
25 "pa_ppx" { >= "0.12" }
26 "pa_ppx_migrate" { with-test & >= "0.10" }
27 "not-ocamlfind" { >= "0.10" }
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.11.tar.gz"
40 checksum: [
41 "sha512=1698536ac6ad4bab43de3f033bbfcc06cb8d7ac8b3198a440111ecc3d71da0fc9679e04ae276d9cd2a8d31965a582cced6dc063787e0f1c507241bed72ba6b9f"
42 ]
43}