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 directo
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 i
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
> https://github.com/sagemath/trac-to-git
