all: clean cp-lisp macros car-game test
clean:
	rm -f *.o *.cert *.port
macros:
	printf "(certify-book \"macros\")\n" | acl2
car-game:
	printf "(include-book \"macros\")\n(certify-book \"car-game\" 1)\n" | acl2
cp-lisp:
	cp ../car-game.lisp ./ && cp ../macros.lisp ./
test:
	./acl2-test.sh