COQMAKEFILE := Makefile.coq
COQMAKE := +$(MAKE) -f $(COQMAKEFILE)
  
all:
	(ssrcoq -compile gen);
	(ssrcoq -compile op);
	(ssrcoq -compile dist);
	(ssrcoq -compile setSem);

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