#!/bin/bash
if [ ! -e $SEMIBOUND_DIR/packages/bound.tar.gz ] ; then
  echo "$SEMIBOUND_DIR/packages/bound.tar.gz does not exist!"
fi
cd $SEMIBOUND_DIR
tar -xvzf $SEMIBOUND_DIR/packages/bound.tar.gz
cd bound
make all
cp upper_bound lower_bound ..

echo
echo "upper_bound and lower_bound installed."
echo
