# Warning: the modules must be in compilation order
MODULES= xml urimanager getter pxp cic cic_annotations cic_annotations_cache \
         cic_cache cic_proof_checking

all opt depend install uninstall clean:
	for i in $(MODULES) ; do (cd $$i ; make $@) ; done