From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 5 Oct 2005 09:01:07 +0000 (+0000)
Subject: added hmysql dependency
X-Git-Tag: V_0_7_2_3~252
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=dfaf0c7329af77555ce5fdeedaa87b13d1e23697;p=helm.git

added hmysql dependency
---

diff --git a/helm/ocaml/metadata/Makefile b/helm/ocaml/metadata/Makefile
index afacda168..c876b4810 100644
--- a/helm/ocaml/metadata/Makefile
+++ b/helm/ocaml/metadata/Makefile
@@ -1,5 +1,5 @@
 PACKAGE = metadata
-REQUIRES = mysql helm-cic_proof_checking
+REQUIRES = mysql helm-cic_proof_checking helm-hmysql
 PREDICATES =
 
 INTERFACE_FILES = \