diff mbox series

[bug#70567,v3,3/3] gnu: why3: Enable extra features.

Message ID fbfa410c4737c4a1754987baad3ddddbaf3a975f.1715785259.git.jean@foundation.xyz
State New
Headers show
Series [bug#70567,v3,1/3] gnu: why3: Update to 1.7.2. | expand

Commit Message

Jean-Pierre De Jesus DIAZ May 15, 2024, 3:01 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 1e10d4caa8..9a37b681e9 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -9525,9 +9525,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