Instead of shipping a default version, we now add a rule to automatically
run configure if necessary to create Makefile.config.
include lib/Makefile.local
# And get user settings from the output of configure
include lib/Makefile.local
# And get user settings from the output of configure
+Makefile.config: configure
+ ./configure
+
include Makefile.config
# The user has not set any verbosity, default to quiet mode and inform the
include Makefile.config
# The user has not set any verbosity, default to quiet mode and inform the
+++ /dev/null
-prefix = /usr/local
-bash_completion_dir = /etc/bash_completion.d
-CFLAGS += -DHAVE_VALGRIND