#! /bin/csh -f
rm -f built_ins.h
touch built_ins.h
foreach i (`cat files`)
	set i = `echo $i | sed 's/\~/ /g'`
	set filename = $i[1].h
	set name = '"'$i[2]'"'
	set ID = `echo $i[1] | upcase`
	set fn = `echo $i[1] | chcase`
	echo "#ifdef NAMES" >! $filename
	echo "use($ID,$name,$fn)" >> $filename
	echo "#endif" >> $filename
	echo '#include "BuiltIns/'$filename'"' >> built_ins.h
	echo $name done
end
mv built_ins.h ..
