COQMAKEFILE := Makefile.coq
COQMAKE := +$(MAKE) -f $(COQMAKEFILE)
  
all:
	(ssrcoq -compile term);
	(ssrcoq -compile rdaTool_gen);
	(ssrcoq -compile rdaTool_op);
	(ssrcoq -compile rdaTool_dist);
	(ssrcoq -compile symBreak);
	(ssrcoq -compile handshake_gen);
	(ssrcoq -compile handshake_spec);
	(ssrcoq -compile handshake_det);
	(ssrcoq -compile handshake_op);
	(ssrcoq -compile handshake_dist);
	(ssrcoq -compile handshake_rand);
	(ssrcoq -compile hsAct_gen);
	(ssrcoq -compile hsAct_op);
	(ssrcoq -compile hsAct_dist);
	(ssrcoq -compile maxmatch_gen);
	(ssrcoq -compile maxmatch_op);
	(ssrcoq -compile maxmatch_dist);
	(ssrcoq -compile mis_gen);
	(ssrcoq -compile mis_op);



clean:
	rm -f *.vo *.glob *.v.d\
