diff options
| author | Paul A. Patience <paul@apatience.com> | 2022-07-04 04:59:30 +0000 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-07-08 17:36:27 +0200 |
| commit | 2e5c519b3f5d12b41132d535164fa04801f1bd4e (patch) | |
| tree | c5a2f8fffd16778d6732fa4b7a009ff0fad334b9 /gnu/packages/gawk.scm | |
| parent | f5efde47f7d21f1f35f8b974af8d8f375114a6ea (diff) | |
| download | guix-2e5c519b3f5d12b41132d535164fa04801f1bd4e.tar guix-2e5c519b3f5d12b41132d535164fa04801f1bd4e.tar.gz | |
gnu: Add gawk-mpfr.
* gnu/packages/gawk.scm (gawk-mpfr): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/gawk.scm')
| -rw-r--r-- | gnu/packages/gawk.scm | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gnu/packages/gawk.scm b/gnu/packages/gawk.scm index 91252094b5..52ac66f9bb 100644 --- a/gnu/packages/gawk.scm +++ b/gnu/packages/gawk.scm @@ -3,6 +3,7 @@ ;;; Copyright © 2014, 2015 Mark H Weaver <mhw@netris.org> ;;; Copyright © 2018 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2021 Marius Bakke <marius@gnu.org> +;;; Copyright © 2022 Paul A. Patience <paul@apatience.com> ;;; ;;; This file is part of GNU Guix. ;;; @@ -24,6 +25,7 @@ #:use-module (gnu packages) #:use-module (gnu packages bash) #:use-module (gnu packages libsigsegv) + #:use-module (gnu packages multiprecision) #:use-module (guix packages) #:use-module (guix download) #:use-module (guix build-system gnu)) @@ -95,6 +97,14 @@ Gawk features many extensions beyond the traditional implementation, including network access, sorting, and large libraries.") (license license:gpl3+))) +;; Separate from gawk to facilitate bootstrapping. +(define-public gawk-mpfr + (package/inherit gawk + (name "gawk-mpfr") + (inputs + (modify-inputs (package-inputs gawk) + (prepend mpfr))))) + (define-public mawk (package (name "mawk") |