diff mbox series

[bug#64209,v3,05/14] gnu: Add ocaml-ordering.

Message ID ffe6bfe800cd6e50a30d014d0b1e6f408198c558.1699630991.git.benjamin@uvy.fr
State New
Headers show
Series improve synopsies and descriptions | expand

Commit Message

Benjamin Nov. 10, 2023, 3:46 p.m. UTC 
* gnu/packages/ocaml.scm (ocaml-ordering): New variable.

Change-Id: I358f4759e050c2d2d24f611a70149bf38e2f1c59
---
 gnu/packages/ocaml.scm | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
diff mbox series

Patch

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 6cf88e08c0..1b4bd8685e 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -9691,6 +9691,25 @@  (define-public ocaml-dune-build-info
 reporting the version from the version control system during development to
 get an precise reference of when the executable was built.")))
 
+(define-public ocaml-ordering
+  (package
+    (inherit dune)
+    (name "ocaml-ordering")
+    (build-system dune-build-system)
+    (arguments
+     '(#:package "ordering"
+       #:tests? #f
+       #:phases (modify-phases %standard-phases
+                  (add-before 'build 'remove-vendor
+                    (lambda _
+                      (delete-file-recursively "vendor/csexp")
+                      (delete-file-recursively "vendor/pp"))))))
+    (propagated-inputs (list ocaml-odoc))
+    (properties '())
+    (synopsis "Ocaml element ordering library")
+    (description "This library implement element ordering and a convenient
+operator for efficiently chaining multiple comparisons together.")))
+
 (define-public ocaml-either
   (package
     (name "ocaml-either")