]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/dist/Makefile
Progress
[helm.git] / matita / 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 = ../../components/binaries/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: