1 MYSQL_FLAGS = --extended_insert --lock-tables=off --no-create-info
2 DB = -u helm -h mowgli.cs.unibo.it matita
3 TABLE_CREATOR = ../../ocaml/metadata/table_creator/table_creator
4 TABLES := $(shell $(TABLE_CREATOR) list all)
6 clean: static_link_clean
9 $(MAKE) -C static_link/
11 $(MAKE) -C static_link/ clean
12 dist: matita_stdlib.sql.gz
13 .PHONY: matita_stdlib.sql
15 mysqldump $(MYSQL_FLAGS) $(DB) $(TABLES) > $@