1

私は Mac のプロ ユーザーではないので、ソフトウェアのインストールに多くの問題を抱えています。Z3Py (Python を使用した Z3 API) を実行したいと思います。Z3 v4.3.1 をダウンロードし、Macports-2.1.2 を使用して clang v2.9 をインストールし、最後に 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 にあるので

何が起こっているのか、どうすれば解決できるのか理解できません。2日間試しても解決策が見つからなかったので、どんなヒントでも本当に感謝しています.

4

2 に答える 2

1

代わりにXCodeCLIツールをインストールする必要があります。すでに最新バージョンのclangが含まれています（2.9は非常に古いです）。XCodeとXCodeCLIツールはどちらもAppstoreやAppleDeveloperCenterで無料だと思います。

于 2012-12-04T17:06:26.313 に答える
1

このエラー レポートを再現しようとしましたが、再現できませんでした。私のマシンでは、Z3 は CXX=clang++ で問題なくビルドされます。あなたのclang ++は、インストールされている可能性がありますが、パスに含まれていないとしか思えません。たとえば、コンソールで clang++ を実行するだけで、同じ「コマンドが見つかりません」というエラーがスローされます。おそらく、これは単に実行するだけで修正できます

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

コンパイルを試みる前に。ただし、その後、ライブラリが見つからないという問題が増えると思います。

MacPorts 経由のインストール中に何か問題が発生したと想像できます。たとえば、さまざまな環境変数を変更する必要がありますが、これは自動的には行われません。

Nuno が示唆するように、XCode (CLI ツールを使用) の方がはるかに使いやすく、AppStore で無料で入手できるはずです。

于 2012-12-04T17:27:24.157 に答える