fix

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

diff --git a/helm/ocaml/hbugs/Makefile b/helm/ocaml/hbugs/Makefile
index af2d287ae8cbf2eae890f33e5f4671a4524b3037..4170d8081cf24651a43543b1a3d92ae7192e002e 100644 (file)
--- a/helm/ocaml/hbugs/Makefile
+++ b/helm/ocaml/hbugs/Makefile
@@ -12,9 +12,6 @@
 #      client        -> builds hbugs client
 
 PACKAGE = hbugs
-REQUIRES =     \
-       pcre lablgtk2.glade     \
-       helm-thread helm-xml helm-pxp helm-tactics
 
 IMPLEMENTATION_FILES =                         \
        hbugs_misc.ml                   \
@@ -27,6 +24,7 @@ INTERFACE_FILES = \
        hbugs_types.mli \
        $(patsubst %.ml, %.mli, $(IMPLEMENTATION_FILES))
 
+include ../../Makefile.defs
 include ../Makefile.common
 include .tutors.ml
 include .generated_tutors.ml