pavone@36: #!/bin/sh
pavone@36: 
pavone@36: cname=`basename $1`.c
pavone@36: 
pavone@36: if test -f "$cname"; then
pavone@36: 	rm "$cname"
pavone@36: fi
pavone@36: 
pavone@79: ./tpc $1 -o $cname
pavone@36: 
pavone@36: if test ! -s "$cname"; then
pavone@36: 	echo "Compilation to C failed"
pavone@36: 	exit 1
pavone@36: fi
pavone@36: 
pavone@36: bin=`echo $1 | sed s/\.tp//`
pavone@36: shift
pavone@79: gcc $@ -o $bin $cname runtime/object.c -lgc