diff --git a/configure b/configure index ff8baa5e..fa8e142b 100755 --- a/configure +++ b/configure @@ -1,17 +1,70 @@ #! /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)} -# defaults +# Set the defaults for values the user can specify with command-line +# options. PREFIX=/usr/local -# option parsing +usage () +{ + cat <