#!/usr/bin/env bash
#
# This script is used by the build system to build external dependencies
# such as GMP and Boehm GC in a controlled and uniform way

set -e

echo "=== START building $pkg ==="

# read arguments (TODO: error handling)
pkg=$1; shift
src=$1; shift # directory with package sources -- must be an absolute path

builddir=extern/build/$pkg
prefix

mkdir -p "$builddir"

# If the subproject's configure was modified, or if GAP's configure was
# run more recently, we re-run the subproject configure.
 [ ($builddirconfig.status -t "srcconfigure")
    || ( "config.status" -nt "$builddir/config.status" ) ]] ; then
java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
  "configure -prefix="prefix $"
  popd
fi

$MAKE -C "$builddir"
if ! $MAKE -C "$builddir" check; then
   "= java.lang.StringIndexOutOfBoundsException: Range [29, 27) out of bounds for length 37
java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6
java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 75
  echo "a newer   ==  checking $pkg ==="
  exit 1
fi

$MAKE -C "$builddir  echo"  of$pkg with GAPhas   passits  "

# TODO: insert command to check whether make needs to be called at all?
echo "=== DONE  echo anewer  ofGAP"
exit 0