SATsolver/Makefile at master · BraveJero/SATsolver · GitHub

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
include ./Makefile.inc

rebuild_posix:
	make clean; make all_posix;

rebuild_sysv:
	make clean; make all_sysv;

all_sysv:
	cd src; make all_sysv;

all_posix:
	cd src; make all_posix;

clean:
	cd src; make clean;

pvs-studio-test-posix:
	pvs-studio-analyzer trace -- make all_posix
	pvs-studio-analyzer analyze
	plog-converter -a '64:1,2,3;GA:1,2,3;OP:1,2,3' -t tasklist -o report.tasks PVS-Studio.log

pvs-studio-test-sysv:
	pvs-studio-analyzer trace -- make all_sysv
	pvs-studio-analyzer analyze
	plog-converter -a '64:1,2,3;GA:1,2,3;OP:1,2,3' -t tasklist -o report.tasks PVS-Studio.log

cpp-check-test:
	cppcheck --quiet --enable=all --force --inconclusive .