1 # Warning: the modules must be in compilation order
2 MODULES= xml urimanager getter pxp cic cic_annotations cic_annotations_cache \
3 cic_cache cic_proof_checking
5 all opt depend install uninstall clean:
6 for i in $(MODULES) ; do (cd $$i ; make $@) ; done