Message ID | 7903792064e6c43657abb00ca6e207694912b06e.1689615133.git.vivien@planete-kraus.eu |
---|---|
State | New |
Headers | show |
Series | Frama-C needs zlib as an input! | expand |
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 03f8a56ea0..cd9b0fc325 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -8182,7 +8182,7 @@ (define-public frama-c (setenv "CONFIG_SHELL" (search-input-file inputs "/bin/sh"))))))) (inputs - (list gmp)) + (list gmp zlib)) (propagated-inputs (list ocaml-biniou ocaml-easy-format