ocaml 3.09 transition

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

diff --git a/helm/ocaml/logger/Makefile b/helm/ocaml/logger/Makefile
index 9d0c0ffce8ba5a8a0e2d0ab45c61b19f1715d14c..95b8c5510f4643562b1db9b3582e7b90b102956b 100644 (file)
--- 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