From b31a49cb5ea036a9869f3c2cd40d0f8b99af01f9 Mon Sep 17 00:00:00 2001
From: Jean-Pierre De Jesus DIAZ <jean@foundation.xyz>
Date: Wed, 15 May 2024 17:01:35 +0200
Subject: gnu: why3: Enable extra features.

* 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
Signed-off-by: Andreas Enge <andreas@enge.fr>
---
 gnu/packages/maths.scm | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'gnu')

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 @@ numeric differences and differences in numeric formats.")
                          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
-- 
cgit v1.2.3