2012-04-18 14 views
2

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

答えて

1

Z3は(Ubuntuの/リナロ4.6.1-9ubuntu3)

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

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

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

、あなたが

./build.sh

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

+0

ええ、私はbuild.shを実行しましたが、gccコンパイラが「互換性のないスキップ...」エラーをスローし、-lz3-gmpを見つけることができませんでした。私は自分のgccのバージョンを確認しました(gcc Ubuntu/Linaro 4.6.1-9ubuntu3) – user1197891

+0

私のgccはx64なので、z3をx64のバージョンにダウンロードしましたが、build.shを実行すると未定義のリファレンスが表示されます。 – user1197891

+0

私は参照してください。 –

1

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

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

関連する問題