]> matita.cs.unibo.it Git - helm.git/commitdiff
Added sql/drop_mowgli_tables.mysql.sql
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 May 2005 15:59:30 +0000 (15:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 May 2005 15:59:30 +0000 (15:59 +0000)
helm/metadata/Makefile
helm/metadata/sql/drop_mowgli_tables.mysql.sql [new file with mode: 0644]

index 88b01fdc57ed1e46767bf1b5e8874f8296c971c0..1485dfdbfef49b9e97b2e7803d791dc8ef2709ec 100644 (file)
@@ -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 (file)
index 0000000..2cc87e5
--- /dev/null
@@ -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;