X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=blobdiff_plain;f=configure;h=fa8e142bb786e0450992abe823c6a9ee26bffb9e;hp=1097b7c426d1a8df84d50b73450378736cda5409;hb=263aeb82f0a1a69864ca41cff4dfa2ae0b8b3f05;hpb=4faf809578ca63edc9f23f92d7ce47d60dbc061e diff --git a/configure b/configure index 1097b7c4..fa8e142b 100755 --- a/configure +++ b/configure @@ -1,5 +1,73 @@ #! /bin/sh +# Set several defaults (optionally specified by the user in +# environemnt variables) +CC=${CC:-gcc} +CXX=${CXX:-g++} +CFLAGS=${CFLAGS:--O2} +CXXFLAGS=${CXXFLAGS:-\$(CFLAGS)} + +# Set the defaults for values the user can specify with command-line +# options. +PREFIX=/usr/local + +usage () +{ + cat < /dev/null 2>&1 +if ${CC} -o config/have_getline config/have_getline.c > /dev/null 2>&1 then printf "Yes.\n" have_getline=1 @@ -168,8 +244,20 @@ cat > Makefile.config <