X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fhbugs%2FMakefile;h=4170d8081cf24651a43543b1a3d92ae7192e002e;hb=de51a22214573437b5d6c2ae3b600e9d7bb8f9f6;hp=542bd2e3ab044d827f45f9c5032604dbaca80ab0;hpb=0575a1cb077087970f311b48f2e45dc4a01a6867;p=helm.git

diff --git a/helm/ocaml/hbugs/Makefile b/helm/ocaml/hbugs/Makefile
index 542bd2e3a..4170d8081 100644
--- 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 helm-registry
 
 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