Some more progress in the proof of the (ad-hoc ?) pigeonhole principle.

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

diff --git a/helm/ocaml/hbugs/Makefile b/helm/ocaml/hbugs/Makefile
index af2d287ae8cbf2eae890f33e5f4671a4524b3037..c38ac3e92de5a0fdf5d028bcda02466e7e8203e3 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                   \