diff options
| author | bgaldrikian <[email protected]> | 2018-01-23 15:33:24 -0800 |
|---|---|---|
| committer | bgaldrikian <[email protected]> | 2018-01-23 15:33:24 -0800 |
| commit | cc65688a14fcb7c7fd86c71dbc43eec9276580d6 (patch) | |
| tree | 64c1c3a173c25b38a97e31e570c16fbd440bc863 | |
| parent | Linux checked and profile builds (diff) | |
| download | blast-cc65688a14fcb7c7fd86c71dbc43eec9276580d6.tar.xz blast-cc65688a14fcb7c7fd86c71dbc43eec9276580d6.zip | |
Adding file buildtools/steps/build_all_linux.sh
| -rwxr-xr-x | buildtools/steps/build_all_linux.sh | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/buildtools/steps/build_all_linux.sh b/buildtools/steps/build_all_linux.sh new file mode 100755 index 0000000..6c7a903 --- /dev/null +++ b/buildtools/steps/build_all_linux.sh @@ -0,0 +1,30 @@ +#!/bin/bash +x + +set -e + +# get number of CPU cores +if [ -f /proc/cpuinfo ]; then + CPUS=`grep processor /proc/cpuinfo | wc -l` +else + CPUS=1 +fi + +# Stackoverflow suggests jobs count of (CPU cores + 1) as a respectively good number! +JOBS=`expr $CPUS + 1` + +# run make for all configs +pushd "$(dirname "$0")/../../compiler/linux64-debug-gcc" +make -j$JOBS +popd + +pushd "$(dirname "$0")/../../compiler/linux64-release-gcc" +make -j$JOBS +popd + +pushd "$(dirname "$0")/../../compiler/linux64-checked-gcc" +make -j$JOBS +popd + +pushd "$(dirname "$0")/../../compiler/linux64-profile-gcc" +make -j$JOBS +popd |