2 REQUIRES = helm-urimanager helm-pxp
5 DEPOBJS = cic.ml deannotate.mli deannotate.ml cicParser3.mli cicParser3.ml \
6 cicParser2.mli cicParser2.ml cicParser.mli cicParser.ml
8 OBJECTS = cic.cmo deannotate.cmo cicParser3.cmo cicParser2.cmo cicParser.cmo
10 include ../Makefile.common