linuxの下でZ3からサンプルコードをコンパイルする方法

Question

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

Answer 1

Z3は（Ubuntuの/リナロ4.6.1-9ubuntu3）

のgccを使用してコンパイルされている4.6.1

あなたがgccの互換性のないバージョンを使用している場合は、リンクエラーを取得することがあり

。

Z3に付属のCの例をコンパイルできましたか？ 次の場所にあります。それは動作しない場合は、使用しているので、それをコンパイルするにはz3/examples/c

、あなたが

./build.sh

を実行する必要があり、それはおそらくですGCCの互換性のないバージョンです。

Answer 2

xubuntu 11.10（同じgcc版）では、-lz3-gmpをエンドにtest_capi.cの後に移動しました。 -lが最後ではなかったので、これはgccが私に投げた最初のものではありません。

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

、それが正常に動作します。