diff options
| author | Joe Beda <joe.github@bedafamily.com> | 2015-01-26 13:50:26 -0800 |
|---|---|---|
| committer | Joe Beda <joe.github@bedafamily.com> | 2015-01-26 15:25:47 -0800 |
| commit | 050db5a2f886f39b18cfe36ea768976bb91fdf55 (patch) | |
| tree | 83aca3c1b1e63013273fd921a4579e1a555cba0f /clustering/Makefile | |
| parent | 387b1cb6c62bc61f3cab76b0eba6e201de29e336 (diff) | |
Add Dockerfile for sequence diagram generation
Diffstat (limited to 'clustering/Makefile')
| -rw-r--r-- | clustering/Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/clustering/Makefile b/clustering/Makefile index 298479f1..f6aa53ed 100644 --- a/clustering/Makefile +++ b/clustering/Makefile @@ -14,3 +14,16 @@ $(FONT): %.png: %.seqdiag $(FONT) seqdiag --no-transparency -a -f '$(FONT)' $< + +# Build the stuff via a docker image +.PHONY: docker +docker: + docker build -t clustering-seqdiag . + docker run --rm clustering-seqdiag | tar xvf - + +docker-clean: + docker rmi clustering-seqdiag || true + docker images -q --filter "dangling=true" | xargs docker rmi + +fix-clock-skew: + boot2docker ssh sudo date -u -D "%Y%m%d%H%M.%S" --set "$(shell date -u +%Y%m%d%H%M.%S)" |