#!/usr/bin/env bash

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

# Helper functions
success() {
    if [ $? -ne 0 ]; then
        echo "Error building Sphinx: '$1'"
        exit 1
    fi
}

CUR=`pwd`


cd src

# Apply patches
echo "Patching Sphinx..."
for p in ../patches/*.patch; do
    patch -p1 <"$p"
    success "Error applying patch \"$p\""
done
echo

# Install new version
echo "Installing Sphinx..."
$PIP_INSTALL .
success 'Error installing Sphinx'
echo

cd "$CUR"
echo "Creating grammar pickle..."
python create_grammar_pickle.py
success 'Error creating the grammar pickle'
echo
