configure script stub as suggested by Arnold.

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