diff options
| -rw-r--r-- | cmake/configure | 19 | ||||
| -rwxr-xr-x | cmake/docmaker | 4 |
2 files changed, 21 insertions, 2 deletions
diff --git a/cmake/configure b/cmake/configure new file mode 100644 index 00000000..f79d4c45 --- /dev/null +++ b/cmake/configure @@ -0,0 +1,19 @@ +# On 2013-05-14 Arnold wrote in an e-mail: + +# <QUOTE) +# I think that using CMake would be more palatable if there is also a simple +# configure wrapper that can be used by people who build distributions. This would +# mean things like +# +# configure CC=XXXX # XXXX in { gcc, clang, tcc } or native platform cc +# configure --prefix=/path/to/install +# +# And the few other current configure options like --with-whiny-user-strftime, +# --disable-nls, etc. I don't know if we need all the standard configure options, +# but I do want the ones I've added in configure.ac. +# </QUOTE) + +# Anyone using this script still needs an out-of-source build directory. +# This script should first check if it was invoked from outside the source directory. +# Then it shall evaluate all the options and translate the options into CMake variables. +# Finally the script shall invoke CMake. diff --git a/cmake/docmaker b/cmake/docmaker index 873d9463..4af7cee1 100755 --- a/cmake/docmaker +++ b/cmake/docmaker @@ -4,6 +4,7 @@ # All remaining parameters are dependencies (file names). if [ $# -lt 1 ] ; then echo " $0: Incorrect number ($#) of parameters passed: $*" + exit 1 fi OUTFILE=$1 shift 1 @@ -81,7 +82,7 @@ function BuildTarget() if [ -f "$OUTFILE" ] ; then if [ "$INFILE" -ot "$OUTFILE" ] ; then #printf " Target %15s is up-to-date\n" $OUTFILE - exit 0 + COMMAND="" fi fi #echo " Generating $OUTFILE from $INFILE" @@ -94,7 +95,6 @@ for dep in $INFILES do #echo $OUTFILE depends on $dep BuildTarget $dep - : done BuildTarget $OUTFILE |