spkg-install

#!/usr/bin/env bash

###########################################
## GAP
###########################################

if [ -z "$SAGE_LOCAL" ]; then
    echo >&2 "SAGE_LOCAL undefined ... exiting"
    echo >&2 "Maybe run 'sage --sh'?"
    exit 1
fi

# Read gap-version, which was written by spkg-src
VERSION=`cat gap-version`
GAP_DIR="gap-$VERSION"
INSTALL_DIR="$SAGE_LOCAL/gap/$GAP_DIR"

echo "spkg-install is using"
echo "VERSION = $VERSION"
echo "GAP_DIR = $GAP_DIR"
echo "INSTALL_DIR = $INSTALL_DIR"

if [[ "$SAGE64" = yes ]]; then
    if [[ -z $CFLAG64 ]]; then
        CFLAG64=-m64
    fi
    CFLAGS="$CFLAGS $CFLAG64"
    CXXFLAGS="$CXXFLAGS $CFLAG64"
    echo "Building a 64-bit version of GAP (with '$CFLAG64')."
fi

# Enable debug info if requested.
# Note that -g3 allows you to use preprocessor macros in gdb which are widely used
if [ "$SAGE_DEBUG" = yes ] ; then
    export CFLAGS="-O0 -g3 -DDEBUG_MASTERPOINTERS -DDEBUG_GLOBAL_BAGS -DDEBUG_FUNCTIONS_BAGS $CFLAGS"
else
    # Default flags
    export CFLAGS="-O2 -g $CFLAGS"
fi

cd src

# Apply fixes to upstream source
echo "Applying patches..."
for patch in ../patches/*.patch; do
    [ -r "$patch" ] || continue  # Skip non-existing or non-readable patches
    patch -p1 <"$patch"
    if [ $? -ne 0 ]; then
        echo >&2 "Error applying '$patch'"
        exit 1
    fi
done

# Configure
echo "Configuring GAP..."
./configure \
    --prefix="$SAGE_LOCAL" PREFIX="$SAGE_LOCAL" \
    --with-gmp="$SAGE_LOCAL" \
    CC="$CC" CXX="$CXX" CFLAGS="$CFLAGS" CXXFLAGS="$CXXFLAGS"
if [[ $? -ne 0 ]]; then
    echo >&2 "Error configuring GAP."
    exit 1
fi

echo "Building GAP..."
# Building config only works with 1 thread
$MAKE -j1 config && $MAKE
if [[ $? -ne 0 ]]; then
    echo >&2 "Error building GAP."
    exit 1
fi
if [[ ! -f bin/gap.sh ]]; then
    echo "Error building GAP ('gap.sh' not found)."
    exit 1
fi

echo "Installing (copying) files..."
# gap has no notion of installing itself (similar to sage), copy everything
# See http://trac.sagemath.org/13211 for rationale of the filesystem layout
mkdir -p "$INSTALL_DIR" &&
cp -R * "$INSTALL_DIR"
if [[ $? -ne 0 ]]; then
    echo >&2 "Error copying built GAP files."
    exit 1
fi

echo "Creating symlink to new GAP installation..."
rm -f "$SAGE_LOCAL/gap/latest"
ln -s "$GAP_DIR" "$SAGE_LOCAL/gap/latest"

echo "Copying GAP startup script..."
rm -f "$SAGE_LOCAL/bin/gap"
cp bin/gap.sh "$SAGE_LOCAL/bin/gap"
if [[ $? -ne 0 ]]; then
    echo >&2 "Error copying customized GAP startup script."
    exit 1
fi

if [[ "$SAGE_SPKG_INSTALL_DOCS" = yes ]]; then
    # The (pre-built) HTML documentation is currently (GAP 4.6.3)
    # included, so we don't have to /build/ it here.
    # echo "Now building GAP's documentation..."
    # <COMMAND TO BUILD THE [HTML] DOCUMENTATION>
    echo "Now copying GAP's (HTML) documentation..."
    mkdir -p "$SAGE_LOCAL/share/doc/gap" &&
    cp -R doc/ref doc/tut "$SAGE_LOCAL/share/doc/gap/"
    if [[ $? -ne 0 ]]; then
        echo >&2 "Error copying GAP's HTML documentation."
        exit 1
    fi
fi