z3 - Linux で Z3 のサンプル コードをコンパイルする方法

Question

Linux バージョン用の z3 をダウンロードし、Linux で動作させようとしましたが、コンパイルに失敗しました (gcc を使用してサンプル コードをコンパイルしていました)。gcc コンパイラから未定義の参照のリストを取得しました。コードをコンパイルするときに lib ファイルの場所を指定したと思います。正しくコンパイルするために必要なライブラリを誰でも提供できますか。

Answer 1

Linux用のZ3は、

gcc（Ubuntu / Linaro 4.6.1-9ubuntu3）4.6.1

互換性のないバージョンのgccを使用している場合、リンクエラーが発生する可能性があります。

Z3に付属しているCの例をコンパイルできましたか？にあります：z3/examples/c

コンパイルするには、実行する必要があります

./build.sh

動作しない場合は、互換性のないバージョンのGCCを使用している可能性があります。

Answer 2

xubuntu 11.10（同じgccバージョン）では、の後に最後-lz3-gmpに移動しました。最後ではなかったので、gccが私に吐いたのはこれが初めてではありません。test_capi.c-l

gcc -fopemmp -o test_capi -I ../../include -L ../../lib test_capi.c -lz3-gmp

そして、それはうまくいきます。