helm/matita/dist/Makefile

   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)
   5 all: static_link
   6 clean: static_link_clean
   7 .PHONY: static_link
   8 static_link:
   9         $(MAKE) -C static_link/
  10 static_link_clean:
  11         $(MAKE) -C static_link/ clean
  12 dist: matita_stdlib.sql.gz
  13 .PHONY: matita_stdlib.sql
  14 matita_stdlib.sql:
  15         mysqldump $(MYSQL_FLAGS) $(DB) $(TABLES) > $@
  16 %.gz: %
  17         gzip -c $< > $@