On Sun, Oct 25, 2020 at 7:21 PM Andrey Novoseltsev <novos...@gmail.com> wrote:
>
>
>
> On Sunday, 25 October 2020 at 13:04:03 UTC-6 Dima Pasechnik wrote:
>>
>> On Sun, Oct 25, 2020 at 6:52 PM Dima Pasechnik <dim...@gmail.com> wrote:
>> >
>> > This is https://trac.sagemath.org/ticket/30795 - a trivial fix
>>
>> with this branch in, one needs to run
>>
>> make bootstrap-clean
>>
>> followed by
>>
>> ./bootstrap && ./configure
>
>
> I have just removed that file, then did
> make distclean
> make
>
> What are the consequences of missing bootstrap and configure?

YMMV, however, I think ./bootstrap and ./configure (with some,
possibly wrong, arguments) are called
from `make distclean` (which is a bit insane IMHO).




>
>>
>>
>> > Unfortunately Volker did not want to merge it in 9.2
>> >
>> > On Sun, Oct 25, 2020 at 6:30 PM Andrey Novoseltsev <novo...@gmail.com> 
>> > wrote:
>> > >
>> > > Thanks a lot for the release!
>> > >
>> > > I pulled 9.2 into a previous 9.1 installation and tried to clean things, 
>> > > but it didn't work:
>> > >
>> > > novoselt@mncds:~/sage$ make distclean
>> > > make build/make/Makefile --stop
>> > > make[1]: Entering directory '/home/novoselt/sage'
>> > > ./bootstrap -d
>> > > make[2]: Entering directory '/home/novoselt/sage'
>> > > rm -rf config configure build/make/Makefile-auto.in
>> > > rm -f src/doc/en/installation/*.txt
>> > > rm -rf src/doc/en/reference/spkg/*.rst
>> > > rm -f src/doc/en/reference/repl/*.txt
>> > > make[2]: Leaving directory '/home/novoselt/sage'
>> > > must source sage-env-config before sage-env
>> > > src/doc/bootstrap:56: installing src/doc/en/installation/arch.txt and 
>> > > src/doc/en/installation/arch-optional.txt
>> > > src/doc/bootstrap:56: installing src/doc/en/installation/debian.txt and 
>> > > src/doc/en/installation/debian-optional.txt
>> > > src/doc/bootstrap:56: installing src/doc/en/installation/fedora.txt and 
>> > > src/doc/en/installation/fedora-optional.txt
>> > > src/doc/bootstrap:56: installing src/doc/en/installation/cygwin.txt and 
>> > > src/doc/en/installation/cygwin-optional.txt
>> > > src/doc/bootstrap:56: installing src/doc/en/installation/homebrew.txt 
>> > > and src/doc/en/installation/homebrew-optional.txt
>> > > src/doc/bootstrap:65: installing src/doc/en/reference/spkg/*.rst
>> > > src/doc/bootstrap:97: installing src/doc/en/reference/repl/options.txt
>> > > must source sage-env-config before sage-env
>> > > Error setting environment variables by sourcing 
>> > > '/home/novoselt/sage/src/bin/sage-env';
>> > > possibly contact sage-devel (see 
>> > > http://groups.google.com/group/sage-devel).
>> > > Makefile:208: recipe for target 'configure' failed
>> > > make[1]: *** [configure] Error 1
>> > > make[1]: Leaving directory '/home/novoselt/sage'
>> > > Makefile:31: recipe for target 'build-clean' failed
>> > > make: *** [build-clean] Error 2
>> > >
>> > > Also installing these optional scripts takes a lot of time (seconds) - 
>> > > why are they installed for cleaning up?
>> > >
>> > >
>> > > --
>> > > You received this message because you are subscribed to the Google 
>> > > Groups "sage-release" group.
>> > > To unsubscribe from this group and stop receiving emails from it, send 
>> > > an email to sage-release...@googlegroups.com.
>> > > To view this discussion on the web visit 
>> > > https://groups.google.com/d/msgid/sage-release/2a4fa385-c140-4aac-8406-100247b5803fn%40googlegroups.com.
>
> --
> You received this message because you are subscribed to the Google Groups 
> "sage-release" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to sage-release+unsubscr...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-release/25539133-9814-4a14-b99f-f029df328c65n%40googlegroups.com.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-release+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-release/CAAWYfq3mtoN6Kvg8%3D4TyMZ5%3DnhomuM%2BxuRLmeBo8WH_Go3LAZA%40mail.gmail.com.

Reply via email to