Hi,
"""
We change the bootstrap scripts so that they invoke
build/bin/sage-package directly
instead of going through the SAGE_ROOT/sage script.
"""
This is great news, a big time saver. Thank you so much.
Until then, this hitchhiker needs to restore the original
'$SAGE_ROOT/sage' before she can 'make configure' ('bootstrap' requires
that original 'sage') while testing 'configure.ac'
Best regards,
phiho
On Mon, May 16, 2022 at 12:24 PM Matthias Koeppe <matthiaskoe...@gmail.com>
wrote:
> On Monday, May 16, 2022 at 1:35:37 AM UTC-7 hohoa...@gmail.com wrote:
>
>> [...] $SAGE_ROOT/sage [...]
>>
>
> The positively reviewed tickets https://trac.sagemath.org/ticket/33786
> and https://trac.sagemath.org/ticket/33787 make changes to this script.
> You may find these changes and the discussion on the ticket interesting.
>
> https://trac.sagemath.org/ticket/33852 makes other changes related to the
> script. It needs review.
>
> --
> 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+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/ec09cac9-4037-477b-968c-25f2ded19d54n%40googlegroups.com
> <https://groups.google.com/d/msgid/sage-devel/ec09cac9-4037-477b-968c-25f2ded19d54n%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>
--
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/CALZQg1aRaEpNsCBedkC6yr558VFRH%2BhqP9y9OwQf5n-4rJ37RQ%40mail.gmail.com.
