Почему clang не работает в Mac Os X 10.5.8 (Leopard) для компиляции Z3?

Я не являюсь профессиональным пользователем Mac, поэтому у меня много проблем с установкой программного обеспечения. Я хотел бы запустить Z3Py (API Z3 с использованием Python). Качаю Z3 v4.3.1, устанавливаю clang v2.9 с помощью Macports-2.1.2 и наконец, когда запускаю Z3

>autoconf
>./configure CXX=clang++  
>python scripts/mk_make.py
>cd build
>make

Я получил:

src/shell/datalog_frontend.cpp
make: clang++: Command not found
make: *** [shell/datalog_frontend.o] Error 127

Так как clang++ находится в /opt/local/libexec/llvm-2.9/bin

Я не могу понять, что это происходит и как это решить. Я очень ценю любой намек, потому что после двух дней попыток я не нашел никакого решения.


macos clang++ z3 osx-leopard
person Mairim    schedule 04.12.2012    source источник
comment
Добавьте /opt/local/libexec/llvm-2.9 в ваш $PATH.   -  person Wilbert    schedule 04.12.2012
comment
Так что это была одна из проблем, спасибо. Я успешно компилирую, но получаю ошибки компиляции, поэтому я не знаю, связано ли это с версией clang или с тем, что я все еще что-то упускаю.   -  person Mairim    schedule 05.12.2012

Ответы (2)


arrow_upward
1
arrow_downward

Я только что попытался воспроизвести этот отчет об ошибке, но мне это не удалось. Z3 отлично строится с CXX=clang++ на моей машине. Я могу только подозревать, что ваш clang++, хотя он и может быть установлен, не находится в пути. Например, простой запуск clang++ в консоли вызовет ту же ошибку «команда не найдена». Возможно, это можно исправить, просто запустив

 export PATH=$PATH:/opt/local/libexec/llvm-2.9/bin

перед попыткой компиляции. Однако я подозреваю, что после этого будет больше проблем с библиотеками, которые не будут найдены.

Я мог предположить, что во время установки через MacPorts что-то пошло не так, например, что для этого требуются модификации различных переменных среды, которые не выполняются автоматически.

Как предполагает Нуно, XCode (с инструментами CLI) может быть намного проще в использовании, и они должны быть доступны бесплатно в AppStore.

person Christoph Wintersteiger    schedule 04.12.2012

arrow_upward
1
arrow_downward

Вместо этого вы должны установить инструменты XCode CLI. Он уже включает актуальную версию clang (2.9 очень старая). Я думаю, что инструменты XCode и XCode CLI бесплатны в Appstore и/или центре разработчиков Apple.

person Nuno Lopes    schedule 04.12.2012
comment
Это не будет работать на 10.5.8, App Store доступен только на 10.6.6+. - person Wilbert; 04.12.2012