diff options
Diffstat (limited to 'extension/Makefile.in')
| -rw-r--r-- | extension/Makefile.in | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/extension/Makefile.in b/extension/Makefile.in index 20a52404..9aa75cee 100644 --- a/extension/Makefile.in +++ b/extension/Makefile.in @@ -1183,6 +1183,18 @@ uninstall-man: uninstall-man3 uninstall-pkgextensionLTLIBRARIES +# This is an ugly hack, initially for MirBSD but probably needed for other +# systems. If gawk doesn't have the API built in, don't try to build the +# extensions. +check-recursive all-recursive: check-for-shared-lib-support + +check-for-shared-lib-support: + @if ../gawk$(EXEEXT) --version | sed 1q | grep API > /dev/null; \ + then : do nothing ; \ + else echo Building the extensions is not supported on this platform ; \ + exit 1; \ + fi + # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded. .NOEXPORT: |