diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2022-08-06 09:48:04 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-08-10 23:32:03 +0200 |
| commit | 8c5af3376266117fb52555e77d4221a3d69342b7 (patch) | |
| tree | 6cc1bfeef3dc1e1e88d2be9c5a97803563ad98a9 /gnu/packages/maths.scm | |
| parent | b21d05d232ec0aba5abec20e83cc52c1d5163cc3 (diff) | |
gnu: frama-c: Use lablgtk3.
* gnu/packages/maths.scm (frama-c): Build the graphical interface.
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 1 |
1 files changed, 1 insertions, 0 deletions
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 |