blob: b92afb9d553828e5c94f4c85770a092e24d451da (
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
|
TESTS = graph/test/binary_lifting.test
pdf:
latexmk -pdf tcr
all: pdf test
test: $(TESTS:.test=.ok)
clean:
latexmk -c tcr
rm -f *.thm
rm -f $(TESTS) $(TESTS:.test=.ok)
%.ok: %.test
timeout -v 1 ./$<
@touch $@
%.test: %.cpp
g++ -std=gnu++20 -Wall -Wextra -Wpedantic -Werror \
-fsanitize=address,undefined -g -o $@ $<
graph/test/binary_lifting.test: graph/test/binary_lifting.cpp \
graph/binary_lifting.cpp
.PHONY: all pdf test clean
|
