From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Mon, 19 Mar 2018 01:14:15 +0000 (-0700)
Subject: devops: Document main and give an example bash script.
X-Git-Tag: mit-scheme-pucked-x11-0.2.2~12
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=8a31e6d3eba6a6605a51e8cf8ec0da548c74fe25;p=mit-scheme.git

devops: Document main and give an example bash script.
---

diff --git a/src/devops/build.texi b/src/devops/build.texi
index fb5c2a002..a40f29971 100644
--- a/src/devops/build.texi
+++ b/src/devops/build.texi
@@ -93,6 +93,23 @@ the host's operating system.  If it starts with @code{"Ubuntu"} and
 mentions a recent Ubuntu version, the host will build Debian packages.
 @end deffn
 
+@deffn Procedure main
+This procedure is for the convenience of scripts.  It dispatches off
+the first argument on Scheme's command line to execute one of the
+build procedures (e.g. @code{devops:status}).  For example:
+
+@example
+  #!/bin/bash
+
+  exec mit-scheme-pucked --batch-mode -- "$@" <<\EOF
+  (begin
+    (parameterize ((param:suppress-loading-message? #t))
+      (load-option 'devops))
+    ((access main (->environment '(devops)))))
+  EOF
+@end example
+@end deffn
+
 @node Debugging Builds
 @section Debugging Builds