X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fhbugs%2FMakefile;h=c38ac3e92de5a0fdf5d028bcda02466e7e8203e3;hb=489ee5290cce2247291b8c5c53b98d493e7f6b99;hp=af2d287ae8cbf2eae890f33e5f4671a4524b3037;hpb=a21777bd2ac02fd346f168ead468405e4c300855;p=helm.git

diff --git a/helm/ocaml/hbugs/Makefile b/helm/ocaml/hbugs/Makefile
index af2d287ae..c38ac3e92 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
 
 IMPLEMENTATION_FILES = 			\
 	hbugs_misc.ml			\