PACKAGE = cic
REQUIRES = helm-urimanager helm-pxp
PREDICATES =

DEPOBJS = cic.ml deannotate.mli deannotate.ml cicParser3.mli cicParser3.ml \
          cicParser2.mli cicParser2.ml cicParser.mli cicParser.ml

OBJECTS = cic.cmo deannotate.cmo cicParser3.cmo cicParser2.cmo cicParser.cmo

include ../Makefile.common