summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
eb0cf86)
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