From c384530c6f3157915a8c871ea860d132e6695c83 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sun, 13 Nov 2016 12:29:46 -0800
Subject: Add tools/nix-build.sh

---
 tools/nix-build.sh | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100755 tools/nix-build.sh

(limited to 'tools')

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 $@"        \
+                                                        \
-- 
cgit v1.2.3