diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/excludes | 1 | ||||
| -rwxr-xr-x | tools/nix-build.sh | 20 | ||||
| -rwxr-xr-x | tools/update_copyright_year.sh | 2 |
3 files changed, 21 insertions, 2 deletions
diff --git a/tools/excludes b/tools/excludes index 762a27c9..f758854e 100644 --- a/tools/excludes +++ b/tools/excludes @@ -24,7 +24,6 @@ data_tests depcomp doc/.dirstamp doc/ledger.info -elisp-comp expr_tests install-sh intl/ diff --git a/tools/nix-build.sh b/tools/nix-build.sh new file mode 100755 index 00000000..4712dbea --- /dev/null +++ b/tools/nix-build.sh @@ -0,0 +1,20 @@ +#!/bin/sh + +flavor=$1 +shift 1 + +JOBS=-j$(sysctl -n hw.activecpu) + +OPTIONS="$flavor --debug --python --ninja $JOBS" +#OPTIONS="$flavor --debug --python --ninja --doxygen $JOBS" + +time nice -n 20 nix-shell -p \ + cmake boost gmp mpfr libedit python texinfo gnused \ + ninja doxygen \ + --command "./acprep $OPTIONS make $JOBS $@" && \ + +time nice -n 20 nix-shell -p \ + cmake boost gmp mpfr libedit python texinfo gnused \ + ninja doxygen \ + --command "./acprep $OPTIONS check $JOBS $@" \ + \ diff --git a/tools/update_copyright_year.sh b/tools/update_copyright_year.sh index ea0a5d35..db9541d4 100755 --- a/tools/update_copyright_year.sh +++ b/tools/update_copyright_year.sh @@ -30,7 +30,7 @@ YEAR=${1:-$(date +%Y)} # is not generally installed GREP=${2:-egrep} -${GREP} -Rl 'Copyright.*Wiegley' . \ +${GREP} -Rl 'Copyright.*Wiegley' $(git ls-files | cut -d / -f1 | uniq) \ | ${GREP} -v "(test/garbage-input.dat|$(basename $0))" \ | xargs sed -i '' -e "s/\(Copyright.*\)-20[0-9]\{2\}/\1-${YEAR}/" |