gnu: frama-c: Use lablgtk3.

* gnu/packages/maths.scm (frama-c): Build the graphical interface.
2022-08-06 09:48:04 +02:00 · 2022-08-06 09:48:04 +02:00 · 8c5af33762
parent b21d05d232
commit 8c5af33762
1 changed files with 1 additions and 0 deletions
--- 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