PACKAGE = logger REQUIRES = helm-urimanager helm-cic_proof_checking lablgtk2 INTERFACE_FILES = ui_logger.mli IMPLEMENTATION_FILES = ui_logger.ml include ../Makefile.common