diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Dockerfile | 2 | ||||
| -rw-r--r-- | Makefile | 18 |
3 files changed, 13 insertions, 8 deletions
@@ -1,2 +1,3 @@ +/.satysfi /slide.pdf /slide.satysfi-aux @@ -9,6 +9,6 @@ RUN opam install satysfi-class-slydifi && \ opam install satysfi-fonts-noto-sans-cjk-jp RUN eval $(opam env) && \ - satyrographos install + satyrographos install --copy WORKDIR /work @@ -1,3 +1,5 @@ +SATYSFI_BIN := satysfi + .PHONY: all all: build @@ -6,12 +8,7 @@ all: build build: slide.pdf slide.pdf: slide.saty - docker run \ - --rm \ - --name satysfi \ - --mount type=bind,src=$$(pwd),dst=/work \ - satysfi \ - sh -c "satysfi slide.saty && chown "$$(id -u):$$(id -g)" slide.pdf slide.satysfi-aux" + $(SATYSFI_BIN) $^ # Enter Docker shell. .PHONY: shell @@ -20,7 +17,6 @@ shell: -it \ --rm \ --name satysfi \ - --mount type=bind,src=$$(pwd),dst=/work \ satysfi \ sh @@ -29,6 +25,14 @@ shell: docker: docker build --tag satysfi . +# Install dependencies. +.PHONY: deps +deps: + rm -rf .satysfi + docker create --name satysfi-tmp satysfi + docker cp -L satysfi-tmp:/root/.satysfi .satysfi + docker rm satysfi-tmp + # Clean all artifacts. .PHONY: clean clean: |