#!/bin/sh

cd src

./configure --prefix="$SAGE_LOCAL"

if [ $? -ne 0 ]; then
    exit 1
fi

make

if [ $? -ne 0 ]; then
    exit 1
fi

make install

if [ $? -ne 0 ]; then
    exit 1
fi
