- renamed ocaml/ to components/

[helm.git] / helm / matita / dist / Makefile

diff --git a/helm/matita/dist/Makefile b/helm/matita/dist/Makefile
deleted file mode 100644 (file)
index 669137b..0000000
--- a/helm/matita/dist/Makefile
+++ /dev/null
@@ -1,17 +0,0 @@
-MYSQL_FLAGS = --extended_insert --lock-tables=off --no-create-info
-DB = -u helm -h mowgli.cs.unibo.it matita
-TABLE_CREATOR = ../../ocaml/metadata/table_creator/table_creator
-TABLES := $(shell $(TABLE_CREATOR) list all)
-all: static_link
-clean: static_link_clean
-.PHONY: static_link
-static_link:
-       $(MAKE) -C static_link/
-static_link_clean:
-       $(MAKE) -C static_link/ clean
-dist: matita_stdlib.sql.gz
-.PHONY: matita_stdlib.sql
-matita_stdlib.sql:
-       mysqldump $(MYSQL_FLAGS) $(DB) $(TABLES) > $@
-%.gz: %
-       gzip -c $< > $@