diff options
author | emkael <emkael@tlen.pl> | 2017-06-07 22:45:28 +0200 |
---|---|---|
committer | emkael <emkael@tlen.pl> | 2017-06-07 22:45:28 +0200 |
commit | 8905ba09f9132370c34220ec48bf4b4a5de97106 (patch) | |
tree | 4436755737cc8692daf2aff408bec655a9c8f992 /Makefile | |
parent | 6382165c2c1358d2e2b7f941f9cf662084e3b51d (diff) |
Proper build mechanism
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..83728ee --- /dev/null +++ b/Makefile @@ -0,0 +1,24 @@ +all: rankings players + +rankings: tables editions minimize + +tables: + bin/build-rankings.sh config/dates.json http + +rankfiles := $(patsubst %.html,%.html.ed,$(wildcard http/*.html)) + +editions: $(rankfiles) + +$(rankfiles): + python editions.py $(patsubst %.ed,%,$@) + +tmpfiles := $(patsubst %.html,%.html.tmp,$(wildcard http/*.html)) + +minimize: $(tmpfiles) + +$(tmpfiles): + htmlmin $(patsubst %.tmp,%,$@) $@ + mv $@ $(patsubst %.tmp,%,$@) + +players: + bin/build-players.sh http |