Z3을 컴파일하기 위해 Mac Os X 10.5.8 (Leopard)에서 clang이 작동하지 않는 이유는 무엇입니까?

Question

저는 Mac의 프로 사용자가 아니므로 소프트웨어 설치에 많은 문제가 있습니다. Z3Py (Python을 사용하는 Z3 API)를 실행하고 싶습니다. ++

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

그 소리 때문에/opt에있다 : 나는 MacPorts를-2.1.2을 사용하여 그 소리의 V2.9을 설치하고 내가

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

Z3

에 대해 실행할 때 마지막으로, 내가 얻은, Z3의 v4.3.1를 다운로드 /local/libexec/llvm-2.9/bin

무슨 일이 일어나고 있는지, 어떻게 해결할 수 있는지 이해할 수 없습니다. 나는 2 일 후에 어떤 해결책도 찾지 못했기 때문에 어떤 힌트라도 정말로 고맙게 생각한다.

Answer 1

방금이 오류 보고서를 복제하려고 시도했지만 그렇게 할 수 없었습니다. Z3은 제 컴퓨터에서 CXX = clang ++로 잘 만듭니다. 나는 당신의 clang ++가 설치되어있을 수도 있지만 경로에 없다고 의심 할 수 있습니다. 예를 들어 콘솔에서 clang ++을 실행하면 "command not found"오류가 발생합니다. 컴파일을 시도하기 전에 간단히

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

을 실행하여 해결할 수 있습니다. 그러나, 그 후에 발견되지 않는 라이브러리에 더 많은 문제가있을 것이라고 생각합니다.

MacPorts를 통해 설치하는 동안 문제가 발생했다고 생각할 수 있습니다. 예를 들어 자동으로 수행되지 않는 다양한 환경 변수를 수정해야합니다.

Nuno는 XCode (CLI 도구 사용)가 훨씬 사용하기 쉽고 AppStore에서 무료로 사용할 수 있어야한다고 제안했습니다.

Answer 2

대신 XCode CLI 도구를 설치해야합니다. 이미 clang (2.9는 매우 오래된 버전)의 최신 버전이 포함되어 있습니다. Xcode 및 Xcode CLI 도구는 모두 Appstore 및/또는 Apple 개발자 센터에서 무료로 사용할 수 있다고 생각합니다.