]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_annotations/Makefile
* Major code cleanup.
[helm.git] / helm / ocaml / cic_annotations / Makefile
index 738a265ecb1dd4ff5350a0e1eabed7ac11bbab3a..865e6c4062761a1a2ac76e5011c339624c10306c 100644 (file)
@@ -1,11 +1,10 @@
 PACKAGE = cic_annotations
-REQUIRES = helm-cic helm-xml lablgtk
+REQUIRES = helm-cic helm-xml
 PREDICATES =
 
-DEPOBJS = cicAnnotation2Xml.ml cicAnnotationHinter.ml cicAnnotationParser2.ml \
-          cicAnnotationParser.ml cicXPath.ml
-
-OBJECTS = cicAnnotation2Xml.cmo cicAnnotationHinter.cmo \
-          cicAnnotationParser2.cmo cicAnnotationParser.cmo cicXPath.cmo
+INTERFACE_FILES = cicXPath.mli cicAnnotation2Xml.mli cicAnnotationParser2.mli \
+                  cicAnnotationParser.mli
+IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
+EXTRA_OBJECTS_TO_INSTALL =
 
 include ../Makefile.common