1 files changed, 7 insertions, 0 deletions
diff --git a/dhall/dhall-gen.sh b/dhall/dhall-gen.sh
new file mode 100755
index 0000000..9bba429
--- /dev/null
+++ b/dhall/dhall-gen.sh
@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+
+REPOS_PATH="$HOME/dev/libre"
+
+for repo in $(cat repos.txt); do
+  dhall 2> /dev/null <<< "./sr-ht-build.dhall \"$repo\"" | dhall-to-json --pretty > "$REPOS_PATH/$repo/.build.yml"
+done