2
0

Makefile 732 B

1234567891011121314151617
  1. # The make files for this package exploit features of GNU Make that
  2. # other Makes do not have. Because it is a common mistake for users
  3. # to try to build with a different Make, we have this make file that
  4. # does nothing but tell the user to use GNU Make.
  5. # If the user were using GNU Make now, this file would not get used because
  6. # GNU Make uses a make file named "GNUmakefile" in preference to "Makefile"
  7. # if it exists. This package contains a "GNUmakefile".
  8. default: all
  9. all install clean dep depend:
  10. @echo "You must use GNU Make to build this. You are running some "
  11. @echo "other Make. GNU Make may be installed on your system with "
  12. @echo "the name 'gmake'. If not, see http://www.gnu.org/software ."
  13. @echo
  14. false