Re: [sage-support] Can not run make

2023-07-17 Thread Tim M
OK I think I have it, if I download the source of version 10 from github I should be able to configure and make that. On Monday, 17 July 2023 at 21:37:45 UTC+10 Dima Pasechnik wrote: > On Mon, Jul 17, 2023 at 12:16 PM Tim M wrote: > > > > Thanks for responding. > > > > The output of ./

Re: [sage-support] Can not run make

2023-07-17 Thread Dima Pasechnik
On Mon, Jul 17, 2023 at 12:16 PM Tim M wrote: > > Thanks for responding. > > The output of ./ configure is as follows: > checking for a BSD-compatible install... /usr/bin/install -c > checking whether build environment is sane... yes > checking for a race-free mkdir -p... /usr/bin/mkdir -p >

Re: [sage-support] Can not run make

2023-07-17 Thread David Joyner
On Mon, Jul 17, 2023 at 7:16 AM Tim M wrote: > Thanks for responding. > > The output of ./ configure is as follows: > checking for a BSD-compatible install... /usr/bin/install -c > > ... > checking for shared library run path origin... done > checking for root user... yes > configure: error:

Re: [sage-support] Can not run make

2023-07-17 Thread Tim M
Thanks for responding. The output of ./ configure is as follows: checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... /usr/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)...