#!/bin/sh

LIBS_PATH=`dirname $0`
LIBS_PATH=`dirname $LIBS_PATH`/lib/gcc-lib/i686-pc-linux-gnu/2.8.1
RTLGNAT_LIBS=$LIBS_PATH/rts-rtlinux/

gnatmake --RTS=$RTLGNAT_LIBS $@ -largs -specs=$LIBS_PATH/specs.rtlinux