(address . guix-patches@gnu.org)(name . Jean-Pierre De Jesus DIAZ)(address . jean@foundation.xyz)
This updates Frama-C to the latest version (29.0 Copper) and fixes
problems with the search paths so that Frama-C can be used without
the OCaml compiler in the profile[1][2].
Jean-Pierre De Jesus DIAZ (3):
gnu: frama-c: Update to 29.0.
gnu: frama-c: Use G-Expressions.
gnu: frama-c: Add wrap-programs phase.
gnu/packages/maths.scm | 29 ++++++++++++++++++++---------
1 file changed, 20 insertions(+), 9 deletions(-)
base-commit: c5fc11488c7bf6d9cf35513a43a40c61e5b8e1cd
--
2.45.1