PACKAGE = logger
REQUIRES = helm-urimanager helm-cic_proof_checking lablgtk2
INTERFACE_FILES = ui_logger.mli
IMPLEMENTATION_FILES = ui_logger.ml

include ../Makefile.common