#!/bin/bash set -xe gnatmake xabina.adb exit