diff options
| author | Jean-Pierre De Jesus DIAZ <[email protected]> | 2024-06-24 13:58:17 +0200 |
|---|---|---|
| committer | jgart <[email protected]> | 2024-06-24 14:59:15 -0500 |
| commit | 9ae83ac21d891a2b129d1772cc62e2f4c0a24b41 (patch) | |
| tree | 8b471a8f50ac6313eabb2066210d7f0d87bb992f /gnu/packages/patches/lua51-pkgconfig.patch | |
| parent | 79f59b43d8a741b5624bf1f854502d2898fa8c6a (diff) | |
gnu: frama-c: Add wrap-programs phase.
Frama-C needs the OCAMLPATH variable to be defined to load libraries, so
define it using the OCAMLPATH variable generated during build time.
Related issues:
- <https://issues.guix.gnu.org/54094> (fixes it).
- <https://issues.guix.gnu.org/69996> (only Frama-C fixed from this one).
* gnu/packages/maths.scm (frama-c) <arguments>: Add wrap-programs phase.
Change-Id: Icc8a0be5fed6678b71649da2e39a83caaaee9df2
Signed-off-by: jgart <[email protected]>
Diffstat (limited to 'gnu/packages/patches/lua51-pkgconfig.patch')
0 files changed, 0 insertions, 0 deletions