From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 23 May 2005 15:59:30 +0000 (+0000)
Subject: Added sql/drop_mowgli_tables.mysql.sql
X-Git-Tag: single_binding~21
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=00583d5c57f2d242b5e7d0babbb909296705fb1f;p=helm.git

Added sql/drop_mowgli_tables.mysql.sql
---

diff --git a/helm/metadata/Makefile b/helm/metadata/Makefile
index 88b01fdc5..1485dfdbf 100644
--- a/helm/metadata/Makefile
+++ b/helm/metadata/Makefile
@@ -27,7 +27,8 @@ indexes:
 	cat $(ALLOBJECTS) | grep -v "\\.ind$$" > $(CONSTANTSANDVARIABLES)
 
 drop_tables:
-	cat sql/drop_mowgli_tables.sql | $(DBCOMM)
+	#cat sql/drop_mowgli_tables.sql | $(DBCOMM)
+	cat sql/drop_mowgli_tables.mysql.sql | $(DBCOMM)
 
 create_tables:
 	#cat sql/create_mowgli_tables.sql | $(DBCOMM)
diff --git a/helm/metadata/sql/drop_mowgli_tables.mysql.sql b/helm/metadata/sql/drop_mowgli_tables.mysql.sql
new file mode 100644
index 000000000..2cc87e5fd
--- /dev/null
+++ b/helm/metadata/sql/drop_mowgli_tables.mysql.sql
@@ -0,0 +1,9 @@
+DROP TABLE refObj;
+DROP TABLE refSort;
+DROP TABLE refRel;
+DROP TABLE objectName;
+DROP TABLE no_inconcl_aux;
+DROP TABLE no_concl_hyp;
+DROP TABLE no_hyp;
+DROP TABLE owners;
+DROP TABLE count;