diff options
author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2017-07-27 10:46:52 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-07-27 11:47:50 +0200 |
commit | f1be6f5b5a7398d5eba6831a4eb82bcfeaa306ec (patch) | |
tree | c266ee53b11ded35193fbdfde3b168327d0c4019 | |
parent | 8f2c410fc557cad527318e45e96897c924cb13de (diff) | |
download | gnu-guix-f1be6f5b5a7398d5eba6831a4eb82bcfeaa306ec.tar gnu-guix-f1be6f5b5a7398d5eba6831a4eb82bcfeaa306ec.tar.gz |
gnu: openmpi: Add "static" output.
* gnu/packages/mpi.scm (openmpi)[outputs]: New field.
[arguments]: Add 'move-static-libraries' phase.
-rw-r--r-- | gnu/packages/mpi.scm | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index ed4e900a48..54fdd35ad5 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -122,6 +122,7 @@ bind processes, and much more.") (base32 "142s1vny9gllkq336yafxayjgcirj2jv0ddabj879jgya7hyr2d0")))) (build-system gnu-build-system) + (outputs '("out" "static")) (inputs `(("hwloc" ,hwloc "lib") ("gfortran" ,gfortran) @@ -155,6 +156,20 @@ bind processes, and much more.") (lambda* (#:key outputs #:allow-other-keys) (let ((out (assoc-ref outputs "out"))) (for-each delete-file (find-files out "config.log")) + #t))) + (add-after 'install 'move-static-libraries + (lambda* (#:key outputs #:allow-other-keys) + ;; Move 19 MiB of static libraries to 'static'. + (let* ((out (assoc-ref outputs "out")) + (static (assoc-ref outputs "static")) + (lib (string-append out "/lib")) + (slib (string-append static "/lib"))) + (mkdir-p slib) + (for-each (lambda (file) + (rename-file + file + (string-append slib "/" (basename file)))) + (find-files lib "\\.a$")) #t)))))) (home-page "http://www.open-mpi.org") (synopsis "MPI-3 implementation") |