Silent mode for make and quiet mode for configure

85 views
Skip to first unread message

Samuel Lelievre

unread,
Jul 30, 2020, 1:05:35 PM7/30/20
to sage-devel
Dear sage-devel, 

A technical question re building Sage from source.

Having set `make` to silent mode eg using

    MAKE='make -s V=0'

one would expect that in cases in which `make` or
`make distclean` calls `./configure`, it would call it
in quiet mode: `./configure -q`.

Is there some way to enforce that?

Matthias Koeppe

unread,
Jul 30, 2020, 6:13:30 PM7/30/20
to sage-devel
That's a nice idea, please open a ticket for it

Samuel Lelièvre

unread,
Jul 30, 2020, 7:08:02 PM7/30/20
to Sage-devel
Thanks, I opened a ticket:

- Have configure run quiet if started by make in silent mode
https://trac.sagemath.org/ticket/30258

2020-07-30 22:13 UTC, Matthias Koeppe:

Samuel Lelievre

unread,
Aug 19, 2020, 8:47:58 PM8/19/20
to sage-devel
Somewhat related:
- does `sage -i` have a quiet mode?
- does sage-patchbot have a quiet mode?
- does binary-pkg have a quiet mode?

Matthias Koeppe

unread,
Aug 19, 2020, 8:50:59 PM8/19/20
to sage-devel
On Wednesday, August 19, 2020 at 5:47:58 PM UTC-7, Samuel Lelievre wrote:
- does `sage -i` have a quiet mode?

V=0 sage -i SPKG

(it goes through make) 

Samuel Lelievre

unread,
Sep 8, 2020, 2:04:48 PM9/8/20
to sage-devel
Does `bootstrap` have a quiet mode?

Trying `./bootstrap -q` failed, printing this line:
```
Usage: ./bootstrap [-d|-D|-s] [-u <URL>] [-h]
```

How can I learn about what the various possible
options (-d, -D, -s, -u <URL>, -h) do?

Dima Pasechnik

unread,
Sep 8, 2020, 2:09:56 PM9/8/20
to sage-devel
learn shell language and read the source :-P

>
> --
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/7f096ea0-23ff-4c09-aff2-28e15273d513o%40googlegroups.com.

Samuel Lelievre

unread,
Sep 8, 2020, 2:34:20 PM9/8/20
to sage-devel
Thanks. The relevant portions of the `bootstrap` script are:

```
usage () {
    echo >&2 "Usage: $0 [-d|-D|-s] [-u <URL>] [-h]"
}
```

```
# Parse options
SAVE=no
DOWNLOAD=no
ALWAYSDOWNLOAD=no
CONFTARBALL_URL=""
while getopts "Ddshu:" OPTION
do
     case "$OPTION" in
         D) ALWAYSDOWNLOAD=yes; DOWNLOAD=yes;;
         d) DOWNLOAD=yes;;
         s) SAVE=yes;;
         u) CONFTARBALL_URL="$OPTARG"; ALWAYSDOWNLOAD=yes; DOWNLOAD=yes;;
         h) usage; exit 0;;
         ?) usage; exit 2;;
     esac
done
CONFBALL="upstream/configure-$CONFVERSION.tar.gz"
```

No quiet or silent mode; `-s` is for "save", not "silent".

Conclusion: sorry for all the noise about the quiet.

Bootstrap does not make that much noise anyway.

Here are two tickets that would enable some more quiet:

- Have configure run quiet if started by make in silent mode

- Let `./configure --enable-silent-rules` default to `make V=0`

I'll try to follow some suggested approaches there, or
carefully read the solution if someone else solves it.

Michael Orlitzky

unread,
Sep 8, 2020, 4:52:39 PM9/8/20
to sage-...@googlegroups.com
On 2020-09-08 14:34, Samuel Lelievre wrote:
>
> No quiet or silent mode; `-s` is for "save", not "silent".
>
> Conclusion: sorry for all the noise about the quiet.
>
> Bootstrap does not make that much noise anyway.
>

We could pretty easily add a -q (quiet) flag to ./bootstrap if it would
improve your quality of life. Mostly it involves not running `echo` in a
few places, and passing "-s" to "$(MAKE) bootstrap-clean". The only
thing remotely tricky would be to filter the

configure.ac:$LINENO: installing <file>

output from "automake --add-missing", which apparently has no quiet mode
itself.

Samuel Lelievre

unread,
Sep 8, 2020, 7:41:51 PM9/8/20
to sage-devel
2020-09-08 20:52:39 UTC, Michael Orlitzky:

>
> We could pretty easily add a -q (quiet) flag to ./bootstrap if it would
> improve your quality of life. Mostly it involves not running `echo` in a
> few places, and passing "-s" to "$(MAKE) bootstrap-clean". The only
> thing remotely tricky would be to filter the
>
>   configure.ac:$LINENO: installing <file>
>
> output from "automake --add-missing", which apparently has no quiet mode
> itself.

Thanks for offering this, I opened a ticket for it:

- Add a quiet mode for bootstrap
  https://trac.sagemath.org/ticket/30533

And it would be nice if bootstrap would run with -q
when V=0 or when called by configure run with -q,
but that could be part of the other two tickets:

Samuel Lelievre

unread,
Sep 8, 2020, 9:04:01 PM9/8/20
to sage-devel
Related quality-of-life ticket, for completeness:

- "make distclean" should not run "./configure"
  https://trac.sagemath.org/ticket/29310
Reply all
Reply to author
Forward
0 new messages