From: Claudio Sacerdoti Coen 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;