diff options
| -rwxr-xr-x | autogen.sh | 28 | 
1 files changed, 28 insertions, 0 deletions
| @@ -1,3 +1,31 @@  #!/bin/sh +if command -v hall &>/dev/null; then +    hall build -x +fi + +command -v autoreconf &>/dev/null +HAS_AUTORECONF=$? +command -v autoconf &>/dev/null +HAS_AUTOCONF=$? +command -v automake &>/dev/null +HAS_AUTOMAKE=$? +command -v make &>/dev/null +HAS_MAKE=$? +command -v guile &>/dev/null +HAS_GUILE=$? + +if ! [ $HAS_AUTORECONF = 0 \ +       -a $HAS_AUTOCONF = 0 \ +       -a $HAS_AUTOMAKE = 0 \ +       -a $HAS_MAKE = 0 \ +       -a $HAS_GUILE = 0 ] +then +    echo "A build system consisting at least of GNU Autotools," +    echo "guile 3, and make is required for building reading-heap." +    echo "" +    echo "Please install these and try again." +    exit 1; +fi +  autoreconf --install || exit 1 | 
