helm/software/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 MANUAL_DIR = ../help/C
   6 WEB_DIR = ../../../www/matita
   7
   8 all: static_link
   9 clean: static_link_clean
  10 .PHONY: static_link
  11 static_link:
  12         $(MAKE) -C static_link/
  13 static_link_clean:
  14         $(MAKE) -C static_link/ clean
  15 dist: matita_stdlib.sql.gz
  16 .PHONY: matita_stdlib.sql
  17 matita_stdlib.sql:
  18         mysqldump $(MYSQL_FLAGS) $(DB) $(TABLES) > $@
  19 %.gz: %
  20         gzip -c $< > $@
  21
  22 dist_pre: INSTALL README
  23 INSTALL: $(MANUAL_DIR)/txt-stamp
  24         cp $(MANUAL_DIR)/sec_install.txt $@
  25 $(MANUAL_DIR)/txt-stamp:
  26         $(MAKE) -C $(MANUAL_DIR) txt-stamp
  27