build: clearer diagnostic if "make" is invoked before "./configure"
authorStefano Lattarini <stefano.lattarini@gmail.com>
Thu, 16 Feb 2012 18:52:37 +0000 (19:52 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Thu, 16 Feb 2012 18:52:58 +0000 (19:52 +0100)
commit86e9e0e331e5008ab5ca9db77d74c542042dcfe8
tree410298de3384131b636b3ab830cd6d137ea1c58e
parent0699a84a6f7a085acb76446caa81ce3133dedaf2
build: clearer diagnostic if "make" is invoked before "./configure"

Since a GNUmakefile wrapper has been introduced in our build
system, a "make" invocation issued before a "./configure" one
has caused GNU make to die with the cryptic message:

  GNUmakefile:18: Makefile: No such file or directory
  GNUmakefile:19: /syntax-checks.mk: No such file or directory
  make: *** No rule to make target `/syntax-checks.mk'.  Stop.

* GNUmakefile: Detect when we are being run from an unconfigured
tree, and give helpful diagnostic.
GNUmakefile