X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Flogger%2FMakefile;h=95b8c5510f4643562b1db9b3582e7b90b102956b;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=9d0c0ffce8ba5a8a0e2d0ab45c61b19f1715d14c;hpb=05a96edc1a298d5a6d92919e0b68f0377604387f;p=helm.git

diff --git a/helm/ocaml/logger/Makefile b/helm/ocaml/logger/Makefile
index 9d0c0ffce..95b8c5510 100644
--- a/helm/ocaml/logger/Makefile
+++ b/helm/ocaml/logger/Makefile
@@ -1,8 +1,10 @@
 
 PACKAGE = logger
-REQUIRES = helm-urimanager helm-cic_proof_checking lablgtk2
-INTERFACE_FILES = ui_logger.mli
-IMPLEMENTATION_FILES = ui_logger.ml
+REQUIRES =
+INTERFACE_FILES = \
+	helmLogger.mli
+IMPLEMENTATION_FILES = \
+	$(INTERFACE_FILES:%.mli=%.ml)
 
 include ../Makefile.common