diff options
| author | John Kehayias <john.kehayias@protonmail.com> | 2022-07-27 23:31:45 -0400 |
|---|---|---|
| committer | 宋文武 <iyzsong@member.fsf.org> | 2022-08-03 13:40:13 +0800 |
| commit | dca0a3ac9380f0d9fe9ef80092e4c997b239243a (patch) | |
| tree | 7bb5b43a3192c5b77cdbd119b7c98276e47b335c /gnu/packages/ocaml.scm | |
| parent | e2020eb24ad0eddd228ce4a26463d881c4e79d0b (diff) | |
gnu: Add ocaml-ptmap.
* gnu/packages/ocaml.scm (ocaml-ptmap): New variable.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
Diffstat (limited to 'gnu/packages/ocaml.scm')
| -rw-r--r-- | gnu/packages/ocaml.scm | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 895b99320e..da7086ab2b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4407,6 +4407,34 @@ sensitive completion, colors, and more.") ("ocaml-zed" ,ocaml-zed))) (properties '())))) +(define-public ocaml-ptmap + (package + (name "ocaml-ptmap") + (version "2.0.5") + (source (origin + (method url-fetch) + (uri + (string-append "https://github.com/backtracking/ptmap/releases/download/" + version "/ptmap-" version ".tbz")) + (sha256 + (base32 + "1apk61fc1y1g7x3m3c91fnskvxp6i0vk5nxwvipj56k7x2pzilgb")))) + (build-system dune-build-system) + (arguments + (list #:phases + #~(modify-phases %standard-phases + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (when tests? + (invoke "dune" "runtest"))))))) + (propagated-inputs (list ocaml-stdlib-shims ocaml-seq)) + (home-page "https://github.com/backtracking/ptmap") + (synopsis "Maps of integers implemented as Patricia trees") + (description + "An implementation inspired by Okasaki & Gill's paper 'Fast Mergeable +Integer Maps.'") + (license license:lgpl2.1))) ; with linking exception + (define-public ocaml-integers (package (name "ocaml-integers") |