Z3 を使用するアプリケーションを古い Linux ディストリビューション (CentOS 5.3) に移植しようとしています。アプリケーションは、共有オブジェクト libz3.so を使用します。
このオブジェクトを構築しようとすると、最初の奇妙な観察は、Python スクリプトによって作成された Makefile が動作中のフラグを設定しないことです。ただし、別のマシンで Python スクリプトを実行し、Makefile を CentOS 5.3 マシンにコピーすると、g++44 コンパイラが共有オブジェクトをビルドします。
このオブジェクトはアプリケーションからアクセスでき、簡単な数式を解くこともできます。ただし、CentOS 5.3 マシン (バイナリをビルドしたマシン) でより複雑なエラーを解決しようとすると、アプリケーションの実行が次のようなエラー メッセージで停止します。
「is_non_qfbv_predicate::found」のインスタンスをスローした後に呼び出された終了が中止されました
最も奇妙なことは、まったく同じバイナリが、新しいバージョンの Linux を搭載した別のマシンで期待どおりに動作することです。
CentOS 5.3 でアプリケーションを動作させるのに役立つ、次に何をすべきかについてのヒントをいただければ幸いです。
さようなら、ステファン