.PHONY : runcheck clean 
runcheck: $(DIRECTORY)

clean:
	rm -rf *.xml *.pem *.out
	rm -rf result

runcheck: 
	@echo 'running libabac CREDDY testing...' 
	@./run_test > result 2>/dev/null; \
	if test -f result && test `diff -q result.save result |wc -l ` -eq 0 ; \
	then echo "   PASSED"; \
	else echo "   ERROR:got changes!!!"; \
	fi