CPSAFLAGS = +RTS -M1024m -RTS -b 12
CPSATIME = time 

include ${HOME}/share/cpsa-2.2.1/cpsa.mk

all:	$(patsubst %.scm,%.xml,$(wildcard *.scm))

clean:
	-rm *.txt *.xml