2022-12-08 17:20:49 +01:00
|
|
|
all: server documentation
|
|
|
|
|
|
|
|
|
|
documentation: doc/architecture.pdf
|
|
|
|
|
@cargo doc --document-private-items --no-deps
|
2022-12-01 14:00:37 +01:00
|
|
|
|
|
|
|
|
server: src/main.rs
|
|
|
|
|
@cargo build
|
|
|
|
|
|
|
|
|
|
release: src/main.rs
|
|
|
|
|
@cargo build --release
|
2022-12-01 13:57:18 +01:00
|
|
|
|
2022-12-01 15:11:01 +01:00
|
|
|
doc/architecture.pdf: doc/architecture.tex
|
|
|
|
|
@latexmk -pdf doc/architecture.tex
|
|
|
|
|
@if ! cmp --silent build/architecture.pdf doc/architecture.pdf; then \
|
|
|
|
|
cp build/architecture.pdf doc/architecture.pdf; \
|
2022-12-01 13:57:18 +01:00
|
|
|
echo "Updated"; \
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
clean:
|
2022-12-02 17:04:35 +01:00
|
|
|
@cargo clean
|
2022-12-01 13:57:18 +01:00
|
|
|
@rm -rf build 2>/dev/null
|
