#!/bin/bash
set +h
set -e

cd $PKGDIR
./configure --prefix=/tools --with-shared \
    --without-debug --without-ada --enable-overwrite
make
make install
echo -e "\n\nTotalseconds: $SECONDS\n"
exit