Related quality-of-life ticket, for completeness:
- "make distclean" should not run "./configure"
https://trac.sagemath.org/ticket/29310
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails fr
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
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
impr
Thanks. The relevant portions of the `bootstrap` script are:
```
usage () {
echo >&2 "Usage: $0 [-d|-D|-s] [-u ] [-h]"
}
```
```
# Parse options
SAVE=no
DOWNLOAD=no
ALWAYSDOWNLOAD=no
CONFTARBALL_URL=""
while getopts "Ddshu:" OPTION
do
case "$OPTION" in
D) ALWAYSDOWNLOAD=yes; DOW
On Tue, Sep 8, 2020 at 7:04 PM Samuel Lelievre
wrote:
>
> Does `bootstrap` have a quiet mode?
>
> Trying `./bootstrap -q` failed, printing this line:
> ```
> Usage: ./bootstrap [-d|-D|-s] [-u ] [-h]
> ```
>
> How can I learn about what the various possible
> options (-d, -D, -s, -u , -h) do?
lear
Does `bootstrap` have a quiet mode?
Trying `./bootstrap -q` failed, printing this line:
```
Usage: ./bootstrap [-d|-D|-s] [-u ] [-h]
```
How can I learn about what the various possible
options (-d, -D, -s, -u , -h) do?
--
You received this message because you are subscribed to the Google Groups
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)
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop
Somewhat related:
- does `sage -i` have a quiet mode?
- does sage-patchbot have a quiet mode?
- does binary-pkg have a quiet mode?
Le vendredi 31 juillet 2020 01:08:02 UTC+2, Samuel Lelievre a écrit :
>
> Thanks, I opened a ticket:
>
> - Have configure run quiet if started by make in silent mode
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:
>
> That's a nice idea, please open a ticket for it
>
> On Thursday, July 30, 2020 at 10:05:35 AM UTC-7, Samuel Lelievre wrote:
>
That's a nice idea, please open a ticket for it
On Thursday, July 30, 2020 at 10:05:35 AM UTC-7, Samuel Lelievre wrote:
>
> 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
10 matches
Mail list logo
