Add quiet mode for bootstrap

[slel]

This ticket is to add a -q flag to bootstrap
so that it will print out less.

CC: @orlitzky @mkoeppe @slel

Component: build: configure

Keywords: quiet

Author: Michael Orlitzky

Branch: 9c39bc8

Reviewer: Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/30533

[orlitzky]

Author: Michael Orlitzky

[orlitzky]

Branch: u/mjo/ticket/30533

[orlitzky]

comment:1

Somebody want to come up with usage() strings for the other options? I'm not really sure what they're meant to do.

---

New commits:

f537959	Trac #30533: add new -q (quiet) flag for the bootstrap process.
6547b33	Trac #30533: hide automake (stderr) output from ./bootstrap -q.
8c2efbf	Trac #30533: improve ./bootstrap usage() a bit.
8f91dbc	Trac #30533: whitespace cleanup in ./bootstrap.

[orlitzky]

Commit: 8f91dbc

[slel]

comment:2

My understanding is:

  -d        download a pre-made `configure` script
  -D        download and ensure future invocations will download too
  -s        save the `configure` script
  -u <URL>  use <URL> as the download url for a pre-made `configure` script
  -?        print this help and exit with an error

[sagetrac-git]

Changed commit from 8f91dbc to 59185e6

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

33c5fcc	Trac #30533: improve ./bootstrap usage() a bit.
aa238d5	Trac #30533: whitespace cleanup in ./bootstrap.
ab1ceda	Trac #30533: rename bootstrap-download() to bootstrap_download().
63d539f	Trac #30533: use /bin/sh to run the bootstrap script instead of bash.
3f4c45a	Trac #30533: hide output from "./bootstrap -s" in quiet mode.
59185e6	Trac #30533: hide info output from "./bootstrap -D" in quiet mode.

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

2d443ae	Trac #30533: improve ./bootstrap usage() a bit.
c6ed563	Trac #30533: whitespace cleanup in ./bootstrap.
31cb178	Trac #30533: rename bootstrap-download() to bootstrap_download().
358ddc5	Trac #30533: use /bin/sh to run the bootstrap script instead of bash.
de351f1	Trac #30533: hide output from "./bootstrap -s" in quiet mode.
912af9b	Trac #30533: hide info output from "./bootstrap -D" in quiet mode.

[sagetrac-git]

Changed commit from 59185e6 to 912af9b

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

171b947	Trac #30533: improve ./bootstrap usage() a bit.
7dcb5a8	Trac #30533: whitespace cleanup in ./bootstrap.
ab83893	Trac #30533: rename bootstrap-download() to bootstrap_download().
2b4272d	Trac #30533: use /bin/sh to run the bootstrap script instead of bash.
b85f4a1	Trac #30533: hide output from "./bootstrap -s" in quiet mode.
9c39bc8	Trac #30533: hide info output from "./bootstrap -D" in quiet mode.

[sagetrac-git]

Changed commit from 912af9b to 9c39bc8

[orlitzky]

comment:6

All good now, I hope. The output should be hidden from ./bootstrap -s -q and ./bootstrap -D -q now too.

[mkoeppe]

Reviewer: Matthias Koeppe

[mkoeppe]

comment:7

This is a nice improvement

[vbraun]

Changed branch from u/mjo/ticket/30533 to 9c39bc8

[mkoeppe]

Changed commit from 9c39bc8 to none

[mkoeppe]

comment:9

Actually the change from bash to /bin/sh seems to have changed the set -e default, and bootstrap no longer works if src/bin/sage-env-config does not already exist.

[mkoeppe]

comment:10

Follow-up: #30664