blob: 1d3a1933bf4be4a05b880f2de7f6b25c29bfc8d6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
SATYSFI_BIN := satysfi
.PHONY: all
all: build
# Build slide PDF.
.PHONY: build
build: slide.pdf
slide.pdf: slide.saty
$(SATYSFI_BIN) $^
# Enter Docker shell.
.PHONY: shell
shell:
docker run \
-it \
--rm \
--name satysfi \
satysfi \
sh
# Build Docker container.
.PHONY: docker
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:
rm -f *.pdf *.satysfi-aux
|