0

大学の学部で Cent0S マシンの 1 つを使用しています。root として使用しているシステムを使用する権限がないことに注意してください。minisat+zip ファイルをダウンロードしました

zipを解凍しました。実行するインストールファイルに従って

rxを作る

しかし、私は次の結果を持っています:

Makefile:96: depend.mak: No such file or directory
Making dependencies...
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
make: *** [depend.mak] Error 1

minisat+ もgithubからダウンロードしました。

を使用して実行します

作る

と

インストールする

しかし、私はまだエラーがあります。gmp と gmp-devel をインストールする必要があると誰かに言われましたか?そうですか?

役立つかもしれない何か: 大学の研究室で働いているため、root ユーザーとしてパスワードを持っているかどうかわかりません。

minisat+ を正しく実行する方法はありますか?

4

1 に答える 1

0

minisat はGNU MP Bignum ライブラリ (gmp)に依存しているようです。システムに libgmp がインストールされていますか?

更新: root アクセス権のないシステムにライブラリをインストールする

root アクセス権のない大学のマシンを使用しているため、いくつかのオプションがあります。

  1. 大学のスタッフの IT 担当者に依頼して、マシンに libgmp をインストールしてもらいます。システム管理者の対応次第では、これが最も簡単な方法かもしれません。

  2. Superuserは、通常のユーザーがパッケージをインストールする方法を議論するスレッドです。その後、minisat パッケージの Makefile に(-Lスイッチを使用して)ライブラリ検索パスを追加する必要があります。CFLAGS

  3. 次のように libgmp を手動でビルドできます: 完了したら、オプション #2 と同様に minisat-Makefile も変更する必要があります。

    $ cd 
$ mkdir opt/gmp

$ wget ftp://ftp.gnu.org/gnu/gmp/gmp-5.1.2.tar.bz2
$ tar -xjvf gmp-5.1.2.tar.bz2

$ cd gmp-5.1.2

$ ./configure --prefix=~/opt/gmp/ &&
$ make &&
// this will install libgmp into /home/your-login/opt/gmp/
$ make install
于 2013-06-15T12:07:11.583 に答える