view compile @ 129:09b65b364927

Some old changes to the WIP type checker
author Mike Pavone <pavone@retrodev.com>
date Tue, 06 Aug 2013 00:17:44 -0700
parents 7f635666c73d
children 5071d601fe70
line wrap: on
line source

#!/bin/sh

cname=`basename $1`.c

if test -f "$cname"; then
	rm "$cname"
fi

./tpc $1 -o $cname

if test ! -s "$cname"; then
	echo "Compilation to C failed"
	exit 1
fi

bin=`echo $1 | sed s/\.tp//`
shift
gcc $@ -o $bin $cname runtime/object.c -lgc