From 334ddf75b936eeee6bc964803fa3e116d5a6746b Mon Sep 17 00:00:00 2001
From: Charlotte Van Petegem <charlotte.vanpetegem@ugent.be>
Date: Sun, 12 Jul 2020 16:10:19 +0200
Subject: [PATCH] Add script to build on substituter

---
 localbuild.sh       |  1 -
 substituterbuild.sh | 10 ++++++++++
 2 files changed, 10 insertions(+), 1 deletion(-)
 delete mode 100755 localbuild.sh
 create mode 100755 substituterbuild.sh

diff --git a/localbuild.sh b/localbuild.sh
deleted file mode 100755
index 9d56b4bb..00000000
--- a/localbuild.sh
+++ /dev/null
@@ -1 +0,0 @@
-NO_REMOTE=true ./build.sh $@
diff --git a/substituterbuild.sh b/substituterbuild.sh
new file mode 100755
index 00000000..40cad0b9
--- /dev/null
+++ b/substituterbuild.sh
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+set -euo pipefail
+set -x
+
+export NO_REMOTE=true
+for machine in machines/*
+do
+    output=$(./build.sh $machine)
+    nix-env --set -p /nix/var/nix/profiles/per-user/charlotte/${machine#machines/} $output
+done