gnu: Add gawk-mpfr.
* gnu/packages/gawk.scm (gawk-mpfr): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>master
parent
f5efde47f7
commit
2e5c519b3f
|
@ -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")
|
||||
|
|
Reference in New Issue