check-all.sh

Fri, 19 Dec 2025 14:13:49 +0100

author
Mike Becker <universe@uap-core.de>
date
Fri, 19 Dec 2025 14:13:49 +0100
changeset 1630
17ae70728139
parent 1629
ac24ad6c8595
permissions
-rwxr-xr-x

check-all.sh now also works when nothing has been configured so far

981
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
1 #!/bin/sh
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
2
1630
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
3 # determine number of processors
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
4 nproc=`nproc`
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
5
987
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
6 # backup config
1630
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
7 if [ -f config.mk ]; then
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
8 cp config.mk config.mk.bak
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
9 restore=1
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
10 else
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
11 restore=0
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
12 fi
987
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
13
1627
d643fec1b2d5 make check-all.sh faster by adding parallelization
Mike Becker <universe@uap-core.de>
parents: 1303
diff changeset
14 perform_check()
987
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
15 {
1627
d643fec1b2d5 make check-all.sh faster by adding parallelization
Mike Becker <universe@uap-core.de>
parents: 1303
diff changeset
16 make clean > /dev/null
1630
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
17 if ! make check -j$nproc > /dev/null ; then
981
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
18 echo "fail."
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
19 else
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
20 echo "ok."
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
21 fi
987
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
22 }
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
23
1627
d643fec1b2d5 make check-all.sh faster by adding parallelization
Mike Becker <universe@uap-core.de>
parents: 1303
diff changeset
24 perform_check_cxx()
988
15b3ca7ee33f make ucx C++ compatible again (and add tests for it) - fixes #486
Mike Becker <universe@uap-core.de>
parents: 987
diff changeset
25 {
1627
d643fec1b2d5 make check-all.sh faster by adding parallelization
Mike Becker <universe@uap-core.de>
parents: 1303
diff changeset
26 make clean > /dev/null
d643fec1b2d5 make check-all.sh faster by adding parallelization
Mike Becker <universe@uap-core.de>
parents: 1303
diff changeset
27 # we cannot mute the warnings, so throw away everything
1630
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
28 if ! make check-cxx -j$nproc > /dev/null 2> /dev/null ; then
988
15b3ca7ee33f make ucx C++ compatible again (and add tests for it) - fixes #486
Mike Becker <universe@uap-core.de>
parents: 987
diff changeset
29 echo "fail."
15b3ca7ee33f make ucx C++ compatible again (and add tests for it) - fixes #486
Mike Becker <universe@uap-core.de>
parents: 987
diff changeset
30 else
15b3ca7ee33f make ucx C++ compatible again (and add tests for it) - fixes #486
Mike Becker <universe@uap-core.de>
parents: 987
diff changeset
31 echo "ok."
15b3ca7ee33f make ucx C++ compatible again (and add tests for it) - fixes #486
Mike Becker <universe@uap-core.de>
parents: 987
diff changeset
32 fi
15b3ca7ee33f make ucx C++ compatible again (and add tests for it) - fixes #486
Mike Becker <universe@uap-core.de>
parents: 987
diff changeset
33 }
15b3ca7ee33f make ucx C++ compatible again (and add tests for it) - fixes #486
Mike Becker <universe@uap-core.de>
parents: 987
diff changeset
34
987
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
35 for cc in clang gcc; do
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
36 CC=$cc ./configure --debug > /dev/null
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
37 printf "Check $cc... "
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
38 perform_check
988
15b3ca7ee33f make ucx C++ compatible again (and add tests for it) - fixes #486
Mike Becker <universe@uap-core.de>
parents: 987
diff changeset
39 printf "Check $cc (c++)... "
15b3ca7ee33f make ucx C++ compatible again (and add tests for it) - fixes #486
Mike Becker <universe@uap-core.de>
parents: 987
diff changeset
40 perform_check_cxx
981
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
41 done
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
42
987
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
43 printf "Check w/o szmul builtin... "
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
44 ./configure --debug --disable-szmul-builtin > /dev/null
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
45 perform_check
988
15b3ca7ee33f make ucx C++ compatible again (and add tests for it) - fixes #486
Mike Becker <universe@uap-core.de>
parents: 987
diff changeset
46 printf "Check w/o szmul builtin (c++)... "
15b3ca7ee33f make ucx C++ compatible again (and add tests for it) - fixes #486
Mike Becker <universe@uap-core.de>
parents: 987
diff changeset
47 perform_check_cxx
981
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
48
1109
89ec23988b88 free functions should not be inline in release mode - relates to #541
Mike Becker <universe@uap-core.de>
parents: 1017
diff changeset
49 printf "Check release config... "
89ec23988b88 free functions should not be inline in release mode - relates to #541
Mike Becker <universe@uap-core.de>
parents: 1017
diff changeset
50 ./configure --release > /dev/null
89ec23988b88 free functions should not be inline in release mode - relates to #541
Mike Becker <universe@uap-core.de>
parents: 1017
diff changeset
51 perform_check
89ec23988b88 free functions should not be inline in release mode - relates to #541
Mike Becker <universe@uap-core.de>
parents: 1017
diff changeset
52
1303
4022e403de60 C23 is not a preview any longer
Mike Becker <universe@uap-core.de>
parents: 1200
diff changeset
53 printf "Check gcc C23... "
1017
b0098854071f add check for C23 compatibility
Mike Becker <universe@uap-core.de>
parents: 988
diff changeset
54 CC=gcc CFLAGS=-std=c23 ./configure --debug > /dev/null
b0098854071f add check for C23 compatibility
Mike Becker <universe@uap-core.de>
parents: 988
diff changeset
55 perform_check
b0098854071f add check for C23 compatibility
Mike Becker <universe@uap-core.de>
parents: 988
diff changeset
56
1630
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
57 # clean build files and rebuild with restored config
987
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
58 make clean > /dev/null
1630
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
59 if [ $restore -eq 1 ]; then
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
60 mv config.mk.bak config.mk
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
61 make -j$nproc > /dev/null
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
62 else
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
63 rm config.mk
17ae70728139 check-all.sh now also works when nothing has been configured so far
Mike Becker <universe@uap-core.de>
parents: 1629
diff changeset
64 fi

mercurial