From: Carl Worth <cworth@cworth.org>
Date: Tue, 1 Dec 2009 16:34:09 +0000 (-0800)
Subject: Remove Makefile.config from the repository.
X-Git-Tag: 0.1~273
X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=commitdiff_plain;h=98b93a7d5ad3713a7c408e497065cd0a931d90c7;hp=eb0cf86c7a9d5cda464d4d36a9cac66f26b5529d

Remove Makefile.config from the repository.

Instead of shipping a default version, we now add a rule to automatically
run configure if necessary to create Makefile.config.
---

diff --git a/.gitignore b/.gitignore
index 8794354e..efa98fbb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+Makefile.config
 TAGS
 tags
 *cscope*
diff --git a/Makefile b/Makefile
index 2cd1b1ba..ae0f9912 100644
--- a/Makefile
+++ b/Makefile
@@ -35,6 +35,9 @@ include Makefile.local
 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
diff --git a/Makefile.config b/Makefile.config
deleted file mode 100644
index ddc74365..00000000
--- a/Makefile.config
+++ /dev/null
@@ -1,3 +0,0 @@
-prefix = /usr/local
-bash_completion_dir = /etc/bash_completion.d
-CFLAGS += -DHAVE_VALGRIND