diff options
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/mpi.scm | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index 2011cbcd29..77711c90ff 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -7,7 +7,7 @@ ;;; Copyright © 2017 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2018–2021 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2018 Paul Garlick <pgarlick@tourbillion-technology.com> -;;; Copyright © 2019 Ricardo Wurmus <rekado@elephly.net> +;;; Copyright © 2019, 2021 Ricardo Wurmus <rekado@elephly.net> ;;; ;;; This file is part of GNU Guix. ;;; @@ -310,6 +310,16 @@ software vendors, application developers and computer science researchers.") ;; See file://LICENSE (license license:bsd-2))) +(define-public openmpi-c++ + (package/inherit openmpi + (name "openmpi-c++") + (outputs '("out")) + (arguments + (substitute-keyword-arguments (package-arguments openmpi) + ((#:configure-flags flags) + `(cons "--enable-mpi-cxx" ,flags)))) + (synopsis "C++ bindings for MPI"))) + ;; TODO: javadoc files contain timestamps. (define-public java-openmpi (package/inherit openmpi |