]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/hbugs/Makefile
removed the need of REQUIRES in libraries Makefile, they are now queried from the...
[helm.git] / helm / ocaml / hbugs / Makefile
index 542bd2e3ab044d827f45f9c5032604dbaca80ab0..c38ac3e92de5a0fdf5d028bcda02466e7e8203e3 100644 (file)
@@ -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                   \