blob: 0e0e3c4e142baf3eefda09a98487ab6718e10a8e (
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
|
MAKEFLAGS += -s
CFLAGS_ALLTESTS=-fsanitize=address -Wfatal-errors -Wall -Wextra -g
CFLAGS_SMODE=-fsanitize=address -Wfatal-errors -Wall -Werror -Wextra -g
CC=gcc
all: 7ed-TESTING
7ed-TESTING:
cd .. && make tests
echo "Done."
clean:
cd .. && make clean
rm -f vcpm
echo "rm -f vcpm"
rm -f vcimm
echo "rm -f vcpm"
rm -f vpct
echo "rm -f vcpm"
echo "Cleaned."
smode:
echo "CC input.c ---> smode"
cd .. && $(CC) $(CFLAGS_SMODE) input.c i_validation.c -o test/smode
alltests:
cd .. && make tests
$(CC) $(CFLAGS_ALLTESTS) validate_check_p_m.c ../i_validation.c -o vcpm
echo "CC ---> vcpm"
$(CC) $(CFLAGS_ALLTESTS) validate_check_imm.c ../i_validation.c -o vcimm
echo "CC ---> vcimm"
$(CC) $(CFLAGS_ALLTESTS) validate_plus_continue_tests.c ../i_validation.c -o vpct
echo "CC ---> vpct"
|