From f5262e685180db2626dfb2015ba05f4cee4dfd32 Mon Sep 17 00:00:00 2001 From: jak1 Date: Fri, 23 Dec 2022 13:43:49 +0100 Subject: added local linting to build.sh --- build.sh | 43 ++++++++++++++++++++++++++++++++----------- 1 file changed, 32 insertions(+), 11 deletions(-) (limited to 'build.sh') diff --git a/build.sh b/build.sh index c3dfc45c5..4811ff5ae 100755 --- a/build.sh +++ b/build.sh @@ -1,16 +1,37 @@ #!/bin/bash +# ./build.sh | builds the project without linting +# ./build.sh lint | builds the project with linting (src, data, po) +# ./build.sh lintonly | just linting (src, data, po) + dir=`pwd` -autoreconf -i -./configure --prefix=$dir/run \ ---datadir=$dir/run/share/games \ ---bindir=$dir/run/bin \ ---mandir=$dir/run/share/man $* +if [[ ! -d "${dir}/src" ]]; then + echo "you can only build in the root directory of the project." + exit 1 +fi + +if [[ $1 == lin* ]]; then + if [[ ! -d "logs" ]]; then + mkdir -p logs + fi + echo "that can take a while, go make some coffee, tea... build a house, watch some movies... ^^'" + ./tools/ci/jobs/mplint.sh src | tee logs/mplint_src.log + ./tools/ci/jobs/mplint.sh po | tee logs/mplint_po.log + ./tools/ci/jobs/mplint.sh data | tee logs/mplint_data.log + ./tools/ci/jobs/cpplint.sh | tee logs/cpplint.log +fi +if [[ $1 != lintonly ]]; then + autoreconf -i + ./configure --prefix=$dir/run \ + --datadir=$dir/run/share/games \ + --bindir=$dir/run/bin \ + --mandir=$dir/run/share/man $* -cd po -make update-gmo -cd .. -make -mkdir run -make install \ No newline at end of file + cd po + make update-gmo + cd .. + make + mkdir run + make install +fi \ No newline at end of file -- cgit v1.2.3-70-g09d2