diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2017-09-04 21:47:19 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2017-09-04 21:47:19 +0300 |
| commit | 17a3f345fa455eab10880401b7dbfdde367bd420 (patch) | |
| tree | 41cbbb20bf7f2d5472aa1d8683afd6f1781619ee | |
| parent | 1fe0ca0da2eb3b3cabe7cf194c3afe1d7aa79726 (diff) | |
| parent | 6052835e569e75c5d5505eeabe69b461ca34af1d (diff) | |
| download | egawk-17a3f345fa455eab10880401b7dbfdde367bd420.tar.gz egawk-17a3f345fa455eab10880401b7dbfdde367bd420.tar.bz2 egawk-17a3f345fa455eab10880401b7dbfdde367bd420.zip | |
Merge branch 'master' into feature/fix-comments
| -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 |