upgrade-gprolog-ubuntu.sh

echo "Adding ppa:dns/gnu repository"
sudo add-apt-repository -y ppa:dns/gnu
echo ""

echo "Updating package listings"
sudo apt-get update
echo ""

echo "Upgrading gprolog package"
sudo apt-get install -yu gprolog
echo ""

GPROLOG_HOME=/usr/lib/gprolog-iso/bin
if [ -d "$GPROLOG_HOME" ]; then
  echo "Linking unlinked binaries from /usr/lib/gprolog-iso/bin to /usr/bin"
  sudo ln -vs $GPROLOG_HOME/* /usr/bin/ 2>/dev/null
fi

echo "Finished"