Linux版でz3をダウンロードしてLinuxで動作させようとしましたが、コンパイルに失敗しました(gccを使ってサンプルコードをコンパイルしていました)。私はgccコンパイラから未定義のリファレンスのリストを得ました。私はコードをコンパイルするときにlibファイルの場所を指定したと思います。 誰でも、コンパイルを正しく行うために必要なライブラリを提供できますか? Linux用のlinuxの下でZ3からサンプルコードをコンパイルする方法
2
A
答えて
1
Z3は(Ubuntuの/リナロ4.6.1-9ubuntu3)
あなたがgccの互換性のないバージョンを使用している場合は、リンクエラーを取得することがありのgccを使用してコンパイルされている4.6.1
。
Z3に付属のCの例をコンパイルできましたか? 次の場所にあります。それは動作しない場合は、使用しているので、それをコンパイルするにはz3/examples/c
、あなたが
./build.sh
を実行する必要があり、それはおそらくですGCCの互換性のないバージョンです。
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
、それが正常に動作します。
関連する問題
- 1. Linuxのコマンドラインからexeのコンパイル日を取得する方法
- 2. LinuxでOpenCVをコンパイルする方法
- 3. WindowsでScala^Z3をコンパイルする
- 4. コンパイルlinPhoneサンプルコード
- 5. z3 timeout on linux/mac
- 6. メモリ管理アドバイス - ゾンビを扱う方法?以下のサンプルコードで
- 7. Windowsの下でlinux gccコンパイルされたプログラムを実行する
- 8. Z3で式の解を得る方法
- 9. linuxのEclipseで.shの前に.shをコンパイルする方法
- 10. Windowsのshare(LINUX)環境下でファイルをLinuxでmmapする方法は?
- 11. C99モードでLinuxをコンパイルする方法は?
- 12. linuxの下でmysqlにデータベースをインポートする方法は?
- 13. LinuxでコンパイルされたWindowsアプリケーションでリモートデバッグする方法
- 14. サンプルコードをコンパイルする際の失敗を無視できない
- 15. linuxの下でCでグラフィカルな端末を作る方法は?
- 16. サンプルコードを使ってビューからコントローラにデータを渡す方法
- 17. ビジュアルスタジオでlinuxの下で書かれたプログラムを実行する方法
- 18. Linuxでコンパイルされた以下のCコードのセグメンテーションフォルト
- 19. windowsとlinuxでコンパイルする
- 20. linux上でx86からARMにバイナリを再コンパイルする方法はありますか?
- 21. mxmlcはlinuxとwindowsで異なる方法でコンパイルされますか?
- 22. LinuxからWindows用のGTK +アプリケーションをコンパイルする
- 23. コンパイル/パブリッシュ時に.NET Core Linux dll名を指定する方法
- 24. Linux端末からapkにコンパイル
- 25. getopt.h:WindowsでLinuxのCコードをコンパイルする
- 26. LinuxのMakefileでスタンドアロンASIOをコンパイルする
- 27. GithubからDjangoサンプルコードを開く方法は?
- 28. Oracle Linuxのソースからのブーストのコンパイルが失敗する
- 29. linuxのコマンドラインからswfファイル(Flash)をコンパイルすることはできますか?
- 30. コンパイル時にNSArrayを埋める方法は?以下のような何かをする方法をObjective-Cで
ええ、私はbuild.shを実行しましたが、gccコンパイラが「互換性のないスキップ...」エラーをスローし、-lz3-gmpを見つけることができませんでした。私は自分のgccのバージョンを確認しました(gcc Ubuntu/Linaro 4.6.1-9ubuntu3) – user1197891
私のgccはx64なので、z3をx64のバージョンにダウンロードしましたが、build.shを実行すると未定義のリファレンスが表示されます。 – user1197891
私は参照してください。 –