DIRECTORY= acme_rockets_intersection_rt0 acme_rockets_rt0 experiment_create_rt0 ice_cream_rt0

.PHONY : setup runcheck clean 
runcheck: $(DIRECTORY)

clean:
	@for i in $(DIRECTORY); do \
	here=`pwd`; \
	cd $$i; \
	rm -rf *.xml *.pem *.out *.log; \
	cd $$here; \
	done 
	@rm -rf result

runcheck: 
	@echo 'running libabac CREDDY/ABAC_PROVER testing...' 
	@rm -rf result
	@for i in $(DIRECTORY); do \
	here=`pwd`; \
	cd $$i; \
	printf "\n ==> RUN on %s\n" "$$i" >> ../result; \
	./README >> ../result 2>/dev/null; \
	./run_query >> ../result 2>/dev/null; \
	cd $$here; \
	done
## since can not check the everchanging keyid values, we just do a char count check..
	@if test -f result && test `cat result|wc -c` -eq 6112 ; \
	then echo "   PASSED"; \
	else echo "   ERROR:got changes!!!"; \
	fi