mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-07-13 12:39:17 +02:00
7523960d63
In addition to everything built installed and tested by all, install and installcheck targets, these build HTML Docs, build and test contrib, and test PLs and ECPG.
37 lines
1.4 KiB
Makefile
37 lines
1.4 KiB
Makefile
# The PostgreSQL make files exploit features of GNU make that other
|
|
# makes do not have. Because it is a common mistake for users to try
|
|
# to build Postgres with a different make, we have this make file
|
|
# that, as a service, will look for a GNU make and invoke it, or show
|
|
# an error message if none could be found.
|
|
|
|
# If the user were using GNU make now, this file would not get used
|
|
# because GNU make uses a make file named "GNUmakefile" in preference
|
|
# to "Makefile" if it exists. PostgreSQL is shipped with a
|
|
# "GNUmakefile". If the user hasn't run the configure script yet, the
|
|
# GNUmakefile won't exist yet, so we catch that case as well.
|
|
|
|
|
|
all check install installdirs installcheck installcheck-parallel uninstall clean distclean maintainer-clean dist distcheck world install-world installcheck-world:
|
|
@if [ ! -f GNUmakefile ] ; then \
|
|
echo "You need to run the 'configure' program first. See the file"; \
|
|
echo "'INSTALL' for installation instructions." ; \
|
|
false ; \
|
|
fi
|
|
@IFS=':' ; \
|
|
for dir in $$PATH; do \
|
|
for prog in gmake gnumake make; do \
|
|
if [ -f $$dir/$$prog ] && ( $$dir/$$prog -f /dev/null --version 2>/dev/null | grep GNU >/dev/null 2>&1 ) ; then \
|
|
GMAKE=$$dir/$$prog; \
|
|
break 2; \
|
|
fi; \
|
|
done; \
|
|
done; \
|
|
\
|
|
if [ x"$${GMAKE+set}" = xset ]; then \
|
|
echo "Using GNU make found at $${GMAKE}"; \
|
|
$${GMAKE} $@ ; \
|
|
else \
|
|
echo "You must use GNU make to build PostgreSQL." ; \
|
|
false; \
|
|
fi
|