Следуя и устанавливая из sharpSAT , можно запустить сценарий setupdev.sh, а затем команду make.При запуске make я получаю 'gmpxx.h' file not found ошибку.Я нашел много об ошибке 'gmp.h' not found, например.в здесь , здесь и здесь , но это при установке какого-либо другого пакета с помощью pip или brew.
Я также пробовалвключая usr/local/include (gmpxx.h расположен в usr/local/indluce/gmpxx.h) для переменной пути в .bash_profile, как предложено здесь , но без хороших результатов.
Есть предложения?