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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
default: tests.log
include ../../src/config.inc
include ../../src/common
ifeq ($(BUILD_ENV_),MSVC)
exe = ../../../src/goto-cc/goto-cl
else
exe = ../../../src/goto-cc/goto-cc
endif
ifeq ($(BUILD_ENV_),MSVC)
excluded_tests = -X gcc-only -X clang-only
endif
test:
@if which clang ; then \
../test.pl -e -p -c "$(exe) --native-compiler clang" $(excluded_tests) ; \
fi
@if which gcc ; then \
../test.pl -e -p -c "$(exe) --native-compiler gcc" $(excluded_tests) \
-X fake-gcc-version -X clang-only && \
../test.pl -e -p -c $(exe) $(excluded_tests) -I fake-gcc-version ; \
elif ! which clang ; then \
../test.pl -e -p -c $(exe) $(excluded_tests) -X clang-only ; \
fi
ifneq ($(BUILD_ENV_),MSVC)
@../test.pl -e -p -c "$(exe) -xc++ -D_Bool=bool" -I test-c++-front-end -s c++-front-end $(excluded_tests)
endif
tests.log: ../test.pl
if which clang ; then \
../test.pl -e -p -c "$(exe) --native-compiler clang" $(excluded_tests) ; \
fi
if which gcc ; then \
../test.pl -e -p -c "$(exe) --native-compiler gcc" $(excluded_tests) \
-X fake-gcc-version -X clang-only && \
../test.pl -e -p -c $(exe) $(excluded_tests) -I fake-gcc-version ; \
elif ! which clang ; then \
../test.pl -e -p -c $(exe) $(excluded_tests) -X clang-only ; \
fi
ifneq ($(BUILD_ENV_),MSVC)
@../test.pl -e -p -c "$(exe) -xc++ -D_Bool=bool" -I test-c++-front-end -s c++-front-end $(excluded_tests)
endif
build_goto_binaries:
uname -m | grep x86_64
cd arch_flags_mcpu_bad ; $(exe) -c source.c -o object.intel
cd arch_flags_mcpu_good ; \
$(exe) -o object.arm --native-compiler=arm-none-eabi-gcc -mcpu=cortex-a15 -c source.c
cd arch_flags_mthumb_bad ; $(exe) -c source.c -o object.intel
cd arch_flags_mthumb_good ; \
$(exe) -o object.arm --native-compiler=arm-none-eabi-gcc -mthumb -c source.c
clean:
find . -name '*.out' -execdir $(RM) '{}' \;
find . -name '*.gb' -execdir $(RM) '{}' \;
$(RM) tests*.log
|
