COQMAKEFILE := Makefile.coq
COQMAKE := +$(MAKE) -f $(COQMAKEFILE)
  
all:
	ssrcoq -compile my_ssr;
	ssrcoq -compile weird_induc;	
	ssrcoq -compile my_ssralea;
	ssrcoq -compile my_alea;
	ssrcoq -compile Geometric;


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