Tue, 12 Nov 2024 17:34:04 +0100
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 |