From 9989816b4b23b9ee7910e6932797faadec24a367 Mon Sep 17 00:00:00 2001
From: Anmol Sethi <anmol@terrastruct.com>
Date: Sun, 13 Nov 2022 17:12:24 -0800
Subject: [PATCH] ci: Implement gen_install.sh

---
 ci/release/gen_install.sh | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/ci/release/gen_install.sh b/ci/release/gen_install.sh
index 92b70ea0d..314b468d1 100755
--- a/ci/release/gen_install.sh
+++ b/ci/release/gen_install.sh
@@ -1,2 +1,33 @@
 #!/bin/sh
 set -eu
+cd -- "$(dirname "$0")/../.." 
+. ./ci/sub/lib.sh
+
+cat >./install.sh <<EOF
+#!/bin/sh
+set -eu
+
+# *************
+# DO NOT EDIT
+#
+# install.sh was bundled together from
+#
+# - ./ci/sub/lib/rand.sh
+# - ./ci/sub/lib/log.sh
+# - ./ci/sub/lib/flag.sh
+# - ./ci/release/_install.sh
+#
+# The last of which implements the installation logic.
+#
+# Generated by ./ci/release/gen_install.sh.
+# *************
+EOF
+
+# sed removes the sourcing dependency lines as we're bundled everything into a single
+# script.
+sh_c cat \
+  ./ci/sub/lib/rand.sh \
+  ./ci/sub/lib/log.sh \
+  ./ci/sub/lib/flag.sh \
+  ./ci/release/_install.sh \
+  | sed '/^\. /d' >> ./install.sh