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

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