#!/bin/csh
#*---------------------------------------------------------------------*/
#*    serrano/prgm/project/bigloo/public/tcomp ...                     */
#*                                                                     */
#*    Author      :  Manuel Serrano                                    */
#*    Creation    :  Fri Nov 13 14:44:44 1992                          */
#*    Last change :  Thu Mar  4 11:48:19 1993  (serrano)               */
#*                                                                     */
#*    On compile un fichier sous t                                     */
#*---------------------------------------------------------------------*/

if ($#argv != "1") then
	echo "usage: tcomp [file]"
else
	set noglog
	
	echo $1

	set aux = "$home/trashcan/aux_comp.t"

	echo "(scheme-reset)" >! $aux
	echo "(compile-file" \"$1\"")" >> $aux
	echo "(exit)" >> $aux
	
	t < $aux > /dev/null
#endif	
