On Tue, Dec 3, 2024 at 11:21 AM Giacomo Pope wrote:
>
> Thank you for your help, Dima.
>
> For the first thing you are right:
>
> Jack: ~ % ls -l /usr/local/include/gmp.h
> lrwxr-xr-x 1 Jack admin 33 2 Dec 19:47 /usr/local/include/gmp.h@ ->
> ../Cellar/gmp/6.3.0/include/gmp.h
> Jack: ~ % ls -
Thank you for your help, Dima.
For the first thing you are right:
Jack: ~ % ls -l /usr/local/include/gmp.h
lrwxr-xr-x 1 Jack admin 33 2 Dec 19:47 /usr/local/include/gmp.h@ ->
../Cellar/gmp/6.3.0/include/gmp.h
Jack: ~ % ls -l /usr/local/Cellar/gmp/6.3.0/include/gmp.h
-rw-r--r-- 1 Jack admin
On Tue, Dec 3, 2024 at 4:15 AM Giacomo Pope wrote:
>
> Running brew install gmp:
>
> Jack: sage % brew install gmp
> Warning: gmp 6.3.0 is already installed and up-to-date.
> To reinstall 6.3.0, run:
> brew reinstall gmp
>
> I ran brew update and brew upgrade yesterday before attempting to insta
Also, can you run
./bootstrap
instead of "make configure" ?
On 2 December 2024 17:11:54 GMT-06:00, Dima Pasechnik wrote:
>What does
>
>brew install gmp
>
>say?
>
>When have you last updated Homebrew?
>
>Also, the config.log you posted looks incomplete and weird...
>
>
>
>On 2 December 2024
What does
brew install gmp
say?
When have you last updated Homebrew?
Also, the config.log you posted looks incomplete and weird...
On 2 December 2024 16:44:46 GMT-06:00, Giacomo Pope
wrote:
>Workflow:
>
>```
>Jack: sage % source ./.homebrew-build-env
>Jack: sage % make configure
>...
>
Workflow:
```
Jack: sage % source ./.homebrew-build-env
Jack: sage % make configure
...
Jack: sage % ./configure
...
-
Checking whether SageMath should install SPKG gmp...
checking for gmp.h... no
checking for gmpxx.h..
