DIRECTORY= access_rt2 acme_friend_rt1 acme_rockets_intersection_rt0 acme_rockets_rt0 alice_rt1 alumni2_rt1 alumni3_rt1 alumni_rt1 balltime_rt2 evaluator_rt1 experiment_create_rt0 file_read_rt2 fruits_rt2 leader_rt1 payraise_rt1 acme_multi_rt0 experiment_multi_rt0 basic_id basic_attribute partial_proof_rt1

.PHONY : runcheck clean 
runcheck: $(DIRECTORY)

clean:
	@for i in $(DIRECTORY); do \
	here=`pwd`; \
	printf "\n ==> CLEANING on %s\n" "$$i"; \
	cd $$i; \
	rm -rf *.der *.pem *.cn *.sha *.log *.pl; \
	cd $$here; \
	done 
	@rm -rf allout.tmp;

runcheck: 
	@echo 'running libabac PYTHON testing...' 
	@for i in $(DIRECTORY); do \
	here=`pwd`; \
	printf "\n ==> RUN on %s\n" "$$i" >> allout.tmp 2>&1; \
	cd $$i; \
	./run_test >> ../allout.tmp 2>&1; \
	cd $$here; \
	done
	@if test -f allout.tmp && test `diff -q allout.save allout.tmp |wc -l ` -eq 0 ; \
	then echo "   PASSED"; \
	else echo "   ERROR:got changes!!!"; \
	fi