source: tests/Makefile.am@ 293dc1c

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since 293dc1c was 51e7583, checked in by Thierry Delisle <tdelisle@…>, 5 years ago

Test makefile now calls CFA with the proper ast based on flags

  • Property mode set to 100644
File size: 7.3 KB
Line 
1######################## -*- Mode: Makefile-Automake -*- ######################
2##
3## Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
4##
5## The contents of this file are covered under the licence agreement in the
6## file "LICENCE" distributed with Cforall.
7##
8## Makefile.am --
9##
10## Author : Peter A. Buhr
11## Created On : Sun May 31 09:08:15 2015
12## Last Modified By : Peter A. Buhr
13## Last Modified On : Fri Oct 9 23:13:07 2020
14## Update Count : 86
15###############################################################################
16
17AUTOMAKE_OPTIONS = foreign # do not require all the GNU file names
18ACLOCAL_AMFLAGS = -I automake
19
20include $(top_srcdir)/tools/build/cfa.make
21
22DEFAULT_INCLUDES = -I${abs_srcdir}
23
24debug=yes
25installed=no
26archiveerrors=
27
28DEBUG_FLAGS=-debug -O0
29
30quick_test=avl_test operators numericConstants expression enum array typeof cast raii/dtor-early-exit raii/init_once attributes
31
32concurrent=
33timeouts=
34
35TEST_PY = python3 ${builddir}/test.py
36
37# applies to both programs
38# since automake doesn't have support for CFA we have to
39AM_CFLAGS = $(if $(test), 2> $(test), ) \
40 -fdebug-prefix-map=$(abspath ${abs_srcdir})= \
41 -fdebug-prefix-map=/tmp= \
42 -fno-diagnostics-show-caret \
43 -g \
44 -Wall \
45 -Wno-unused-function \
46 -quiet @CFA_FLAGS@ \
47 -DIN_DIR="${abs_srcdir}/.in/"
48
49AM_CFAFLAGS = -XCFA --deterministic-out
50
51# get the desired cfa to test
52TARGET_CFA = $(if $(filter $(installed),yes), @CFACC_INSTALL@, @CFACC@)
53
54# adjust CC to current flags
55CC = LC_ALL=C $(if $(DISTCC_CFA_PATH),distcc $(DISTCC_CFA_PATH) ${ARCH_FLAGS} ${AST_FLAGS},$(TARGET_CFA) ${DEBUG_FLAGS} ${ARCH_FLAGS} ${AST_FLAGS})
56CFACC = $(CC)
57
58# get local binary for depedencies
59CFACCBIN = @CFACC@
60
61# adjusted CC but without the actual distcc call
62CFACCLOCAL = $(if $(DISTCC_CFA_PATH),$(DISTCC_CFA_PATH) ${ARCH_FLAGS} ${AST_FLAGS},$(TARGET_CFA) ${DEBUG_FLAGS} ${ARCH_FLAGS} ${AST_FLAGS})
63CFACCLINK = $(CFACCLOCAL) -quiet $(if $(test), 2> $(test), ) $($(shell echo "${@}_FLAGSLD" | sed 's/-\|\//_/g'))
64
65PRETTY_PATH=mkdir -p $(dir $(abspath ${@})) && cd ${srcdir} &&
66
67.PHONY: list .validate
68.INTERMEDIATE: .validate .validate.cfa
69EXTRA_PROGRAMS = avl_test .dummy_hack # build but do not install
70
71avl_test_SOURCES = avltree/avl_test.cfa avltree/avl0.cfa avltree/avl1.cfa avltree/avl2.cfa avltree/avl3.cfa avltree/avl4.cfa avltree/avl-private.cfa
72# automake doesn't know we still need C/CPP rules so pretend like we have a C program
73nodist__dummy_hack_SOURCES = .dummy_hack.c .dummy_hackxx.cpp
74
75#----------------------------------------------------------------------------------------------------------------
76all-local :
77 @+${TEST_PY} --debug=${debug} --install=${installed} --archive-errors=${archiveerrors} ${concurrent} ${timeouts} ${quick_test}
78
79all-tests :
80 @+${TEST_PY} --debug=${debug} --install=${installed} --archive-errors=${archiveerrors} ${concurrent} ${timeouts} --all # '@' => do not echo command (SILENT), '+' => allows recursive make from within python program
81
82clean-local :
83 rm -f ${EXTRA_PROGRAMS}
84
85list :
86 @+${TEST_PY} --list ${concurrent}
87
88.validate: .validate.cfa
89 $(CFACOMPILE) .validate.cfa -fsyntax-only -Wall -Wextra -Werror
90
91.validate.cfa:
92 @echo "int main() { return 0; }" > ${@}
93
94# automake doesn't know we still need C rules so pretend like we have a C program
95.dummy_hack.c:
96 @echo "int main() { return 0; }" > ${@}
97
98.dummy_hackxx.cpp:
99 @echo "int bar() { return 0; }" > ${@}
100
101concurrency :
102 @+${TEST_PY} --debug=${debug} --install=${installed} -Iconcurrent
103
104#----------------------------------------------------------------------------------------------------------------
105
106# Use for all tests, make sure the path are correct and all flags are added
107CFACOMPILETEST=$(PRETTY_PATH) $(CFACOMPILE) $(shell realpath --relative-to=${srcdir} ${<}) $($(shell echo "${@}_FLAGSCFA" | sed 's/-\|\//_/g'))
108
109#----------------------------------------------------------------------------------------------------------------
110
111# implicit rule so not all test require a rule
112# split into two steps to support compiling remotely using distcc
113# don't use distcc to do the linking because distcc doesn't do linking
114% : %.cfa $(CFACCBIN)
115 $(CFACOMPILETEST) -c -o $(abspath ${@}).o
116 $(CFACCLINK) ${@}.o -o $(abspath ${@})
117 rm $(abspath ${@}).o
118
119# implicit rule for c++ test
120# convient for testing the testsuite itself but not actuall used
121% : %.cpp
122 $(PRETTY_PATH) $(CXXCOMPILE) $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@})
123
124#------------------------------------------------------------------------------
125# TARGETS WITH CUSTOM FLAGS
126#------------------------------------------------------------------------------
127# custom libs
128gmp_FLAGSLD= -lgmp
129
130#------------------------------------------------------------------------------
131# Generated code
132GENERATED_CODE = declarationSpecifier gccExtensions extension attributes functions KRfunctions
133$(GENERATED_CODE): % : %.cfa $(CFACCBIN)
134 $(CFACOMPILETEST) -CFA -XCFA -p -c -fsyntax-only -o $(abspath ${@})
135
136#------------------------------------------------------------------------------
137# CUSTOM TARGET
138#------------------------------------------------------------------------------
139# tests that just validate syntax and compiler output should be compared to stderr
140CFACOMPILE_SYNTAX = $(CFACOMPILETEST) -Wno-unused-variable -Wno-unused-label -c -fsyntax-only -o $(abspath ${@})
141
142SYNTAX_ONLY_CODE = expression typedefRedef variableDeclarator switch numericConstants identFuncDeclarator forall \
143 init1 limits nested-types stdincludes cast labelledExit array builtins/sync warnings/self-assignment
144$(SYNTAX_ONLY_CODE): % : %.cfa $(CFACCBIN)
145 $(CFACOMPILE_SYNTAX)
146 $(if $(test), cp $(test) $(abspath ${@}), )
147
148# expected failures
149# use custom target since they require a custom define *and* have a name that doesn't match the file
150alloc-ERROR : alloc.cfa $(CFACCBIN)
151 $(CFACOMPILE_SYNTAX) -DERR1
152 -cp $(test) $(abspath ${@})
153
154init1-ERROR : init1.cfa $(CFACCBIN)
155 $(CFACOMPILE_SYNTAX) -DERR1
156 -cp $(test) $(abspath ${@})
157
158typedefRedef-ERR1 : typedefRedef.cfa $(CFACCBIN)
159 $(CFACOMPILE_SYNTAX) -DERR1
160 -cp $(test) $(abspath ${@})
161
162nested-types-ERR1 : nested-types.cfa $(CFACCBIN)
163 $(CFACOMPILE_SYNTAX) -DERR1
164 -cp $(test) $(abspath ${@})
165
166nested-types-ERR2 : nested-types.cfa $(CFACCBIN)
167 $(CFACOMPILE_SYNTAX) -DERR2
168 -cp $(test) $(abspath ${@})
169
170raii/memberCtors-ERR1 : raii/memberCtors.cfa $(CFACCBIN)
171 $(CFACOMPILE_SYNTAX) -DERR1
172 -cp $(test) $(abspath ${@})
173
174raii/ctor-autogen-ERR1 : raii/ctor-autogen.cfa $(CFACCBIN)
175 $(CFACOMPILE_SYNTAX) -DERR1
176 -cp $(test) $(abspath ${@})
177
178raii/dtor-early-exit-ERR1 : raii/dtor-early-exit.cfa $(CFACCBIN)
179 $(CFACOMPILE_SYNTAX) -DERR1
180 -cp $(test) $(abspath ${@})
181
182raii/dtor-early-exit-ERR2 : raii/dtor-early-exit.cfa $(CFACCBIN)
183 $(CFACOMPILE_SYNTAX) -DERR2
184 -cp $(test) $(abspath ${@})
185
186# Exception Tests
187# Test with libcfathread; it changes how storage works.
188
189exceptions/%-threads : exceptions/%.cfa $(CFACCBIN)
190 $(CFACOMPILETEST) -include exceptions/with-threads.hfa -c -o $(abspath ${@}).o
191 $(CFACCLOCAL) $($(shell echo "${@}_FLAGSLD" | sed 's/-\|\//_/g')) $(abspath ${@}).o -o $(abspath ${@})
192
193# Linking tests
194# Meta tests to make sure we see linking errors (can't compile with -O2 since it may multiply number of calls)
195linking/linkerror : linking/linkerror.cfa $(CFACCBIN)
196 $(CFACOMPILETEST) -O0 -c -o $(abspath ${@}).o
197 $(CFACCLINK) -O0 ${@}.o -o $(abspath ${@})
198 rm $(abspath ${@}).o
199
200#------------------------------------------------------------------------------
201# Other targets
Note: See TracBrowser for help on using the repository browser.