check-all.sh

Tue, 12 Nov 2024 17:34:04 +0100

author
Mike Becker <universe@uap-core.de>
date
Tue, 12 Nov 2024 17:34:04 +0100
changeset 987
53e22f112b11
parent 981
723bbd868f35
permissions
-rwxr-xr-x

add configure option for szmul

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
987
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
3 # backup config
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
4 cp config.mk config.mk.bak
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
5
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
6 function perform_check
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
7 {
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
8 if ! make clean check > /dev/null ; then
981
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
9 echo "fail."
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
10 else
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
11 echo "ok."
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
12 fi
987
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
13 }
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
14
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
15 for cc in clang gcc; do
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
16 CC=$cc ./configure --debug > /dev/null
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
17 printf "Check $cc... "
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
18 perform_check
981
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
19 done
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
20
987
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
21 printf "Check w/o szmul builtin... "
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
22 ./configure --debug --disable-szmul-builtin > /dev/null
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
23 perform_check
981
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
24
987
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
25 # clean build files and restore config
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
26 make clean > /dev/null
53e22f112b11 add configure option for szmul
Mike Becker <universe@uap-core.de>
parents: 981
diff changeset
27 mv config.mk.bak config.mk

mercurial