opam-version: "2.0"
maintainer:   "sheets@alum.mit.edu"
homepage:     "https://github.com/backtracking/ocaml-hashcons"
dev-repo: "git+https://github.com/backtracking/ocaml-hashcons.git"
bug-reports:  "https://github.com/backtracking/ocaml-hashcons/issues"
authors:      [ "Jean-Christophe Filliatre" ]
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
build: [
  ["./configure"]
  [make "all"]
]
install: [
  [make "install"]
]
remove: [["ocamlfind" "remove" "hashcons"]]
depends: [
  "ocaml" {< "5.0"}
  "ocamlfind" {build}
  "conf-which" {build}
  "conf-autoconf"
]
synopsis: "OCaml hash-consing library"
description: """
The technique is described in this paper:

*Sylvain Conchon and Jean-Christophe Filliâtre.* Type-Safe Modular Hash-Consing.
In ACM SIGPLAN Workshop on ML, Portland, Oregon, September 2006.
The PDF is available at
<https://www.lri.fr/~filliatr/ftp/publis/hash-consing2.pdf>"""
flags: light-uninstall
url {
  src:
    "https://github.com/dsheets/ocaml-hashcons/releases/download/1.0.1/ocaml-hashcons-1.0.1.tar.gz"
  checksum: [
    "sha256=83095625159c9267f330141c8079d71c5a60bc02e82c0bef4ead79a90b0b8b59"
    "md5=caa6378c30d69baaf703e5f8b903a493"
  ]
}