git.postgresql.org Git - postgresql.git/commitdiff

git projects / postgresql.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ae526b4)
If we're gonna have people running make from the top directory now,
Fri, 9 Jun 2000 01:29:28 +0000 (01:29 +0000)
Fri, 9 Jun 2000 01:29:28 +0000 (01:29 +0000)
we'd better have a Makefile here to prevent the mistake of using
vannilla make instead of gmake. (But let's leave src/Makefile where
it is, too.)

Makefile [new file with mode: 0644] patch | blob

diff --git a/Makefile b/Makefile
new file mode 100644 (file)
index 0000000..8fbbcbd
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,16 @@
+# The Postgres 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 does nothing
+# but tell the user to use GNU make.
+
+# 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. Postgres is shipped with a "GNUmakefile".
+
+all install clean dep depend distclean:
+ @echo "You must use GNU make to use Postgres. It may be installed"
+ @echo "on your system with the name 'gmake'."
+ @echo
+ @echo "NOTE: If you are sure that you are using GNU make and you are"
+ @echo " still getting this message, you may simply need to run"
+ @echo " the configure program."
This is the main PostgreSQL git repository.
RSS Atom

AltStyle によって変換されたページ (->オリジナル) /