Some more work...

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

diff --git a/helm/ocaml/logger/Makefile b/helm/ocaml/logger/Makefile
index 9d0c0ffce8ba5a8a0e2d0ab45c61b19f1715d14c..39d6900848e5c95c0880a60f991c7d92427a956b 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
+INTERFACE_FILES = \
+       helmLogger.mli
+IMPLEMENTATION_FILES = \
+       $(INTERFACE_FILES:%.mli=%.ml)
 
+include ../../Makefile.defs
 include ../Makefile.common