diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2017-09-04 07:36:01 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2017-09-04 07:36:01 +0300 |
| commit | 6052835e569e75c5d5505eeabe69b461ca34af1d (patch) | |
| tree | 6c9b4b3493043aa1855f5b7e46631ce3a0a3d15e | |
| parent | 90d0db097965715d8b0794d3dea6150a6430bf32 (diff) | |
| download | egawk-6052835e569e75c5d5505eeabe69b461ca34af1d.tar.gz egawk-6052835e569e75c5d5505eeabe69b461ca34af1d.tar.bz2 egawk-6052835e569e75c5d5505eeabe69b461ca34af1d.zip | |
Update README.ps wrt building extensions.
| -rw-r--r-- | README_d/ChangeLog | 5 | ||||
| -rw-r--r-- | README_d/README.pc | 5 |
2 files changed, 9 insertions, 1 deletions
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 <eliz@gnu.org> + + * README.pc: Update instructions for building the extensions + without libmpfr. + 2017-08-24 Arnold D. Robbins <arnold@skeeve.com> * 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 |