Try if "make sage_conf" fixes this problem.
If this persists, please post the file "config.log".
On Saturday, April 8, 2023 at 3:19:13 PM UTC-7 Eric Majzoub wrote:
> Thank you, this allows sage to complete the build. However, now I have
> another problem. When I run sage from its install
You are right, John. I did not read it carefully enough.
Guillermo
On Sun, 9 Apr 2023 at 05:38, John H Palmieri wrote:
> I have found the instructions at
> https://github.com/sagemath/trac-to-github/blob/master/docs/Migration-Trac-to-Github.md
> useful for me, as someone used to the old trac
another option is to use gh tool from GitHub.
gh pr checkout 35414
would do the same as
git fetch foo pull/35414/head:pr35414 && git checkout pr35414
On Sun, Apr 9, 2023 at 4:38 AM John H Palmieri wrote:
>
> I have found the instructions at
>