From cc35944bad65f361b93213da45932e42e39a1cc6 Mon Sep 17 00:00:00 2001 From: David Scott Date: Thu, 4 Oct 2018 21:12:47 +0100 Subject: [PATCH] Add diet.0.2 Signed-off-by: David Scott --- packages/diet/diet.0.2/opam | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 packages/diet/diet.0.2/opam diff --git a/packages/diet/diet.0.2/opam b/packages/diet/diet.0.2/opam new file mode 100644 index 000000000000..056d8d1688e6 --- /dev/null +++ b/packages/diet/diet.0.2/opam @@ -0,0 +1,33 @@ +opam-version: "2.0" +maintainer: "dave@recoil.org" +authors: ["David Scott"] +license: "ISC" +homepage: "https://github.com/djs55/ocaml-diet" +dev-repo: "git+https://github.com/djs55/ocaml-diet.git" +bug-reports: "https://github.com/djs55/ocaml-diet/issues" +doc: "https://djs55.github.io/ocaml-diet" + +build: [ + ["dune" "subst" "-p" name] {pinned} + ["dune" "build" "-p" name "-j" jobs] + [make "test"] {with-test} +] +depends: [ + "ocaml" {>= "4.03.0"} + "result" + "sexplib" + "dune" {build} + "ppx_tools" {build} + "ppx_sexp_conv" {build} + "ppx_type_conv" {build} + "ounit" {with-test} +] +synopsis: "Discrete Interval Encoding Trees" +description: """ +This is based on the +[Functional Pearls: Diets for Fat Sets](https://web.engr.oregonstate.edu/~erwig/papers/Diet_JFP98.pdf) +by Martin Erwig.""" +url { + src: "https://github.com/djs55/ocaml-diet/archive/v0.2.tar.gz" + checksum: "md5=0dec8b13bbb1c0c3592178695dae024d" +}