#!/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
# If the subproject's configure was modified, or if GAP's configure was # run more recently, we re-run the subproject configure. if [[ ( ! "$builddir/config.status" -nt "$src/configure" )
|| ( "config.status" -nt "$builddir/config.status" ) ]] ; then
pushd "$builddir" "$src/configure" --prefix="$prefix""$@"
popd fi
$MAKE -C "$builddir" if ! $MAKE -C "$builddir" check; then echo"=== FAILED checking $pkg ===" echo"The copy of $pkg distributed with GAP has failed to pass its internal checks" echo"You can either install the library from a different source, or use" echo"a newer release of GAP"
exit 1 fi
$MAKE -C "$builddir" install
# TODO: insert command to check whether make needs to be called at all? echo"=== DONE building $pkg ==="
exit 0
¤ Dauer der Verarbeitung: 0.20 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
