summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
a2a522a)
This also removes the Makefile.config from the repository, since it
shouldn't be kept in the repository and should be created by the
configure script.
+++ /dev/null
-prefix = /usr/local
-bash_completion_dir = /etc/bash_completion.d
-CFLAGS += -DHAVE_VALGRIND
+# defaults
+PREFIX=/usr/local
+
+# option parsing
+for option; do
+ if [ "${option%=*}" = '--prefix' ] ; then
+ PREFIX="${option#*=}"
+ fi
+done
+
cat <<EOF
Welcome to Notmuch, a system for indexing, searching and tagging your email.
cat <<EOF
Welcome to Notmuch, a system for indexing, searching and tagging your email.
# construct the Makefile.config
cat > Makefile.config <<EOF
# construct the Makefile.config
cat > Makefile.config <<EOF
bash_completion_dir = /etc/bash_completion.d
CFLAGS += ${have_valgrind}
EOF
bash_completion_dir = /etc/bash_completion.d
CFLAGS += ${have_valgrind}
EOF