# client -> builds hbugs client
PACKAGE = hbugs
-REQUIRES = \
- pcre lablgtk2.glade \
- helm-thread helm-xml helm-pxp helm-tactics helm-registry
IMPLEMENTATION_FILES = \
hbugs_misc.ml \
hbugs_types.mli \
$(patsubst %.ml, %.mli, $(IMPLEMENTATION_FILES))
+include ../../Makefile.defs
include ../Makefile.common
include .tutors.ml
include .generated_tutors.ml