From 8c5af3376266117fb52555e77d4221a3d69342b7 Mon Sep 17 00:00:00 2001
From: Julien Lepiller <julien@lepiller.eu>
Date: Sat, 6 Aug 2022 09:48:04 +0200
Subject: gnu: frama-c: Use lablgtk3.

* gnu/packages/maths.scm (frama-c): Build the graphical interface.
---
 gnu/packages/maths.scm | 1 +
 1 file changed, 1 insertion(+)

(limited to 'gnu/packages')

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 52a6d6259f..c79058ab42 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -7526,6 +7526,7 @@ of C, Java, or Ada programs.")
            ocaml-graph
            ocaml-yojson
            ocaml-zarith
+           lablgtk3
            why3))
     (native-search-paths
      (list (search-path-specification
-- 
cgit v1.2.3