CIVL=civl
VERIFY=$(CIVL) verify -loop

all:  main_loop

main_loop: main_loop.cvl
	$(VERIFY) $<


clean:
	rm -rf *~ .sarl	CIVLREP