From: Stefano Zacchiroli Date: Thu, 22 Jan 2004 16:34:30 +0000 (+0000) Subject: added dependency to lablgtk2.glade X-Git-Tag: V_0_5_1_4~6 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b9ebf95eff0c4a1d7e316b589cf14ad6b19d711f;p=helm.git added dependency to lablgtk2.glade --- diff --git a/helm/hbugs/client/Makefile b/helm/hbugs/client/Makefile index a802caf3f..220a3b198 100644 --- a/helm/hbugs/client/Makefile +++ b/helm/hbugs/client/Makefile @@ -1,6 +1,6 @@ NAME = hbugs_client METADIR = ../meta -REQUIRES = lablgtk2 threads hbugs-common +REQUIRES = lablgtk2 threads hbugs-common lablgtk2.glade PREDICATES = glade init COMMONOPTS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" OCAMLC = OCAMLPATH="$(METADIR)" ocamlfind ocamlc -thread $(COMMONOPTS)