diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2018-03-03 14:35:33 +0200 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2018-03-03 14:35:33 +0200 |
| commit | 9f3ab0384b99ab4f0002339908127baa9d06c859 (patch) | |
| tree | d07751b9c8bb9d1e5860f25c9d4b5aec56f44634 | |
| parent | bd8a8ad0c258d2db31e420eec81932cf15bf9702 (diff) | |
| download | egawk-9f3ab0384b99ab4f0002339908127baa9d06c859.tar.gz egawk-9f3ab0384b99ab4f0002339908127baa9d06c859.tar.bz2 egawk-9f3ab0384b99ab4f0002339908127baa9d06c859.zip | |
Fix "make install" on MinGW.
| -rw-r--r-- | pc/ChangeLog | 4 | ||||
| -rw-r--r-- | pc/Makefile | 2 |
2 files changed, 6 insertions, 0 deletions
diff --git a/pc/ChangeLog b/pc/ChangeLog index 45deaece..28f6e8eb 100644 --- a/pc/ChangeLog +++ b/pc/ChangeLog @@ -1,3 +1,7 @@ +2018-03-03 Eli Zaretskii <eliz@gnu.org> + + * Makefile (install1): Create parent directories of $(pkgextensiondir). + 2018-02-25 Arnold D. Robbins <arnold@skeeve.com> * 4.2.1: Release tar ball made. diff --git a/pc/Makefile b/pc/Makefile index fb34965b..85594a65 100644 --- a/pc/Makefile +++ b/pc/Makefile @@ -325,7 +325,9 @@ install1: -mkdir "$(prefix)/bin" -mkdir "$(prefix)/share" -mkdir "$(prefix)/share/man" + -mkdir "$(prefix)/lib" -mkdir "$(pkgdatadir)" "$(prefix)/share/man/man1" "$(prefix)/share/info" + -mkdir "$(prefix)/lib/gawk" cp gawk.exe $(prefix)/bin/awk.exe cp *awk.exe igawk.bat igawk.cmd pc/awklib/igawk $(prefix)/bin cp gawkapi.h $(prefix)/include |