Mozart / Oz настроить проблему на Mac OS X - PullRequest
0 голосов
/ 16 мая 2019

Я пытаюсь собрать Mozart / Oz на Mac OS X Mojave, используя следующую ссылку: https://github.com/mozart/mozart и получаю следующую ошибку конфигурации.Библиотека GNU MP не найдена.

Я установил gmp с помощью homebrew, а также попробовал --with-gmp = / usr / local / opt / gmp / lib и --with-gmp = / usr / local / Cellar /gmp / 6.1.2_2 / но получил такую ​​же ошибку.Может ли кто-нибудь помочь мне решить эту проблему?

проверка на наличие --with-gmp ... да проверка на gmp.h ... -I / Users / rr / Software / mozart / gmp / packages / включает проверкудля __gmpz_init в -lgmp (по умолчанию) ... не проверять __gmpz_init в -L / Users / rr / Software / mozart / gmp / packages / lib / -lgmp ... не проверять mpz_init в -lgmp (по умолчанию) ..не проверять mpz_init в -L / Users / rr / Software / mozart / gmp / packages / lib / -lgmp ... не проверять mpz_init в -lgmp2 (по умолчанию) ... не проверять mpz_init в -L / Users/ rr / Software / mozart / gmp / packages / lib / -lgmp2 ... no configure: предупреждение: требуется GNU MP lib не найден configure: ошибка: для сборки требуется библиотека арифметических вычислений GNU Multiple Precision версии 2 или вышесистема.Его можно получить по адресу:

ftp://ftp.gnu.org/pub/gnu/gmp/

Последняя версия на данный момент - 4.1.2. Доступна в виде следующего архива:

ftp://ftp.gnu.org/pub/gnu/gmp/gmp-4.1.2.tar.gz

. Зеркальный архив можно найти ближе.Вам нужно проконсультироваться:

http://www.gnu.org/order/ftp.html

настроить: ошибка: / Users / rr / Software / mozart / mozart / платформа / эмулятор / настроить не удалось настроить эмулятор: ошибка: / Users / rr / Software / mozart /Моцарт / платформа / настройка не удалась для платформы

...