Add tools/nix-build.sh

This commit is contained in:
John Wiegley 2016-11-13 12:29:46 -08:00
parent e24315d22a
commit c384530c6f
No known key found for this signature in database
GPG key ID: C144D8F4F19FE630

20
tools/nix-build.sh Executable file
View file

@ -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 $@" \
\