diff mbox series

[bug#70567,v2,5/7] gnu: why3: Enable extra features.

Message ID 5f9156b041743f4293a65f1a26ddd33bbf8951ac.1715097365.git.jean@foundation.xyz
State New
Headers show
Series [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. | expand

Commit Message

Jean-Pierre De Jesus Diaz May 7, 2024, 3:57 p.m. UTC 
* gnu/packages/maths.scm (why3) <propagated-inputs>: Add
ocaml-ppx-deriving, ocaml-ppx-sexp-conv, ocaml-re and ocaml-sexplib to
enable extra features.

Change-Id: Ia3b66ac08cc25097967c6e18f2193601fb748cac
---
 gnu/packages/maths.scm | 6 ++++++
 1 file changed, 6 insertions(+)
diff mbox series

Patch

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 93370eef83..3f665c0fb4 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -9428,9 +9428,15 @@  (define-public why3
                          ocaml-findlib
                          which))
     (propagated-inputs (list camlzip
+                             lablgtk3
                              ocaml-graph
+                             ocaml-lablgtk3-sourceview3
                              ocaml-menhir
+                             ocaml-ppx-deriving
+                             ocaml-ppx-sexp-conv
                              ocaml-num
+                             ocaml-re
+                             ocaml-sexplib
                              ocaml-zarith))
     (inputs (list coq-flocq
                   emacs-minimal