From 6052835e569e75c5d5505eeabe69b461ca34af1d Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Mon, 4 Sep 2017 07:36:01 +0300 Subject: Update README.ps wrt building extensions. --- README_d/ChangeLog | 5 +++++ README_d/README.pc | 5 ++++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/README_d/ChangeLog b/README_d/ChangeLog index 23931950..aff9ef95 100644 --- a/README_d/ChangeLog +++ b/README_d/ChangeLog @@ -1,3 +1,8 @@ +2017-09-04 Eli Zaretskii + + * README.pc: Update instructions for building the extensions + without libmpfr. + 2017-08-24 Arnold D. Robbins * README.pc: Updated to point to Juan Guerrero for DJGPP. diff --git a/README_d/README.pc b/README_d/README.pc index 444df306..76299d06 100644 --- a/README_d/README.pc +++ b/README_d/README.pc @@ -44,7 +44,10 @@ tools, enter "make djgpp". For the MinGW build, after you build in the top-level directory, chdir to the extension subdirectory and say "make" there to build the -extensions. +extensions. If you built gawk without libmpfr, say this instead to +build the extensions: + + make MPFR= MPFR_LIBS= Testing and installing gawk -- cgit v1.2.3