CWD := $(shell pwd)
METAROUTING_DIR := $(CWD)/Metarouting
MRE_DIR := $(CWD)/mre

mre :
	(cd $(MRE_DIR); make all-release )

mre-local :
	(cd $(MRE_DIR); make all-local )

metarouting :
	(cd $(METAROUTING_DIR); make )

html : compile_coq
	(cd $(METAROUTING_DIR); rm -rf html; make html )

.PHONY : mre metarouting html 
