ref: 37468d379ec14b26a7748953676a17aeab1757b3
parent: 03ce0ae18518e2686e8b30e25cf47e2ad1afe6ad
author: Ori Bernstein <ori@eigenstate.org>
date: Sun Apr 12 21:41:11 EDT 2015
Add boostrap generation script.
--- /dev/null
+++ b/genbootstrap.sh
@@ -1,0 +1,17 @@
+#!/usr/bin/env bash
+
+export MYR_MUSE=../muse/muse
+export MYR_MC=../6/6m
+
+mbld clean
+# The generated shell script should be a compatible bourne
+# shell script.
+echo '#!/bin/sh' > bootstrap.sh
+echo 'pwd=`pwd`' >> bootstrap.sh
+mbld | \
+ sed "s:Entering directory '\\(.*\\)':\tcd \$pwd/\1:g" | \
+ sed "s:Leaving directory.*:\tcd \$pwd:g" | \
+ grep $'^\t' | \
+ sed 's/.*/echo &\n&/' | \
+ tee -a bootstrap.sh
+chmod +x bootstrap.sh