diff options
1 files changed, 6 insertions, 0 deletions
| -rw-r--r-- | overlays/gawk/default.nix | 6 |
diff --git a/overlays/gawk/default.nix b/overlays/gawk/default.nix new file mode 100644 index 0000000..1b99f03 --- /dev/null +++ b/overlays/gawk/default.nix @@ -0,0 +1,6 @@ +final: prev: rec { + gawk_mpfr = prev.gawk.overrideAttrs (prevAttrs: { + # https://www.gnu.org/software/gawk/manual/html_node/Compiling-with-MPFR.html + buildInputs = prevAttrs.nativeBuildInputs ++ [ final.mpfr final.gmp ]; + }); +} |