#!/usr/bin/bash
if [ -d main-0.43.24a ]; then
    make -C main-0.43.24a head tail all
    make -C main-0.43.24a clean
    cd main-0.43.24a/
    if [ -f ./configure.sh ]; then
	./configure.sh
    fi;
    cd ..
    gnatmake src/logname
    mv logname bin
    rm *.o *.ali
fi;