From 8a31e6d3eba6a6605a51e8cf8ec0da548c74fe25 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Sun, 18 Mar 2018 18:14:15 -0700 Subject: [PATCH] devops: Document main and give an example bash script. --- src/devops/build.texi | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) 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 -- 2.25.1