diff options
| -rwxr-xr-x | tools/nix-build.sh | 20 |
1 files changed, 20 insertions, 0 deletions
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 $@" \ + \ |