Hi,
"""
We change the bootstrap scripts so that they invoke
build/bin/sage-package directly
instead of going through the SAGE_ROOT/sage script.
"""
It would be nice if usage_advanced() and sage_version() could be factored
out of src/bin/sage so that the src/doc/bootstrap can be completely
independent of SAGE_ROOT/sage:
# ./sage -advanced > "$OUTPUT"
SAGE_ROOT="$(pwd)"
. "src/bin/sage-version"
. "src/bin/sage-usage_advanced" > "$OUTPUT"
Is there a better way to achieve this?
Thank you for your help.
Regards,
phiho
On Mon, May 16, 2022 at 1:31 PM ph h <hohoang...@gmail.com> wrote:
> 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/CALZQg1YALv8fEYUO1YNi%3DbmH5m_G4oMXioRZnxrj70ywUOZeow%40mail.gmail.com.
