#!/bin/bash
set -x
set -e
set -o pipefail
set -u
cd /home/$USER/i
#apt-get source gcc-4.8
#cd gcc-4.8-*

apt-get source gnat-4.8
cd gnat-4.8-*
debuild -b -uc -us