Well, https://trac.sagemath.org/ticket/33852 (needs review) removes this
code from src/doc/bootstrap.
On Wednesday, May 25, 2022 at 10:13:38 PM UTC-7 hohoa...@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.
> """
>
> 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 <hohoa...@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 <matthia...@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+...@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/c6e0145b-5512-4f98-a477-cd4b48d0f9e2n%40googlegroups.com.
