diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-06-24 13:58:17 +0200 |
|---|---|---|
| committer | jgart <jgart@dismail.de> | 2024-06-24 14:59:15 -0500 |
| commit | 9ae83ac21d891a2b129d1772cc62e2f4c0a24b41 (patch) | |
| tree | 8b471a8f50ac6313eabb2066210d7f0d87bb992f /gnu/packages | |
| parent | 79f59b43d8a741b5624bf1f854502d2898fa8c6a (diff) | |
| download | guix-9ae83ac21d891a2b129d1772cc62e2f4c0a24b41.tar.gz guix-9ae83ac21d891a2b129d1772cc62e2f4c0a24b41.zip | |
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 <jgart@dismail.de>
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/maths.scm | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 4bea32dcbe..de8e886485 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -9548,9 +9548,20 @@ of C, Java, or Ada programs.") #~(modify-phases %standard-phases (add-before 'build 'set-env (lambda _ - (setenv "CC" "gcc")))))) + (setenv "CC" "gcc"))) + (add-after 'install 'wrap-programs + (lambda _ + (let ((ocamlpath + `(,(string-append #$output "/lib/ocaml/site-lib") + ,@(search-path-as-string->list + (getenv "OCAMLPATH"))))) + (for-each + (lambda (program) + (wrap-program (string-append #$output "/bin/" program) + `("OCAMLPATH" ":" prefix ,ocamlpath))) + '("frama-c" "frama-c-gui")))))))) (inputs - (list gmp zlib)) + (list bash-minimal gmp zlib)) (propagated-inputs (list graphviz lablgtk3 |