COQMAKEFILE := Makefile.coq
COQMAKE := +$(MAKE) -f $(COQMAKEFILE)
  
all:
	(ssrcoq -compile graph);
	(ssrcoq -compile bfs);
	(ssrcoq -compile graph_alea);
	(ssrcoq -compile labelling);

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