X-Git-Url: https://plomlompom.com/repos/?a=blobdiff_plain;f=redo;h=f2eef6740134da247468606e14ae61288a04266a;hb=refs%2Fheads%2F7drl;hp=8f459fbdd6e2ac9f85e9d567c77975165a1bcb47;hpb=64cd5fdd5279471fbc417cc54d4d0048383ff3f9;p=plomrogue

diff --git a/redo b/redo
index 8f459fb..f2eef67 100755
--- a/redo
+++ b/redo
@@ -13,14 +13,32 @@
 # build/redo_scripts/. For details on this version, see:
 # - <http://news.dieweltistgarnichtso.net/bin/redo.html>
 # - <http://news.dieweltistgarnichtso.net/bin/redo-ifchange.html>
-#
-# This "redo" implementation may experience trouble on OS X systems, see
-# <https://github.com/plomlompom/plomrogue/issues/2#issuecomment-50972436> for a
-# workaround.
 
-echo "non-redo stuff (preparing for future Python port sans redo needs):"
-echo "Building library for server's Python variant with mere shell one-liner."
-./compile-server.sh
+# Some tests first: for gcc, and certain necessary header files. (This is not
+# strictly the responsibility of a mere redo wrapper. But those using a
+# pre-installed redo probably will be fine with the error messages thrown by it
+# if these miss.)
+test=`command -v gcc | wc -l`
+if [ 1 != $test ]
+then
+    echo "FAILURE:"
+    echo "No gcc installed, but it's needed!"
+    exit 1
+fi
+test_header() {
+    code="#include <$1>"
+    test=`echo $code | cpp -H -o /dev/null 2>&1 | head -n1 | grep error | wc -l`
+    if [ 0 != $test ]
+    then
+        echo "FAILURE:"
+        echo "No $1 header file found, but it's needed!"
+        echo "Maybe install some $2 package?"
+        exit 1
+    fi
+}
+test_header stdlib.h libc6-dev      # Assume stdlib.h guarantees full libc6-dev.
+test_header ncurses.h libncurses5-dev
 
+# The actual redo calling.
 export PATH=$PATH:$PWD/build/redo_scripts
 redo "$@"