# Generated automatically from Makefile.in by configure.

all	:	../descartes
	../descartes test.pl

