diff options
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 |