some debug prints/stats

[helm.git] / helm / ocaml / logger / Makefile

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