#!/usr/bin/env bash

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

FPLLL_REVISION="b50fd91ba0aeea2067dc9d82e6c352dbe0210eb3"
FPLLL_VERSION="4.0.5"
SPKG_ROOT="$SAGE_ROOT/build/pkgs/libfplll"

set -e

cd "$SPKG_ROOT"

FPLLL_SAGE_VERSION=`cat package-version.txt |sed 's/[.]p.*//'`

rm -rf fplll-checkout
git clone git://github.com/dstehle/fplll fplll-checkout

cd fplll-checkout
git checkout "$FPLLL_REVISION"
./autogen.sh
./configure
make dist
tar xvfz libfplll-"$FPLLL_VERSION".tar.gz
rm libfplll-"$FPLLL_VERSION".tar.gz
mv libfplll-"$FPLLL_VERSION" libfplll-"$FPLLL_SAGE_VERSION"
tar cvfz libfplll-"$FPLLL_SAGE_VERSION".tar.gz libfplll-"$FPLLL_SAGE_VERSION"

mv  libfplll-"$FPLLL_SAGE_VERSION".tar.gz "$SAGE_DISTFILES/"
cd ..
rm -rf fplll-checkout
