Centos7にMiniSatをインストールする

MiniSatインストールに詰まったので自分用のメモ。

MininSat公式HP

うまくいった方法

さんざん調べてよくわからなかったので、パッケージを探したらあるやん...
https://centos.pkgs.org/7/lux/minisat2-2.2.1-1.el7.lux.x86_64.rpm.html

luxのレポジトリを登録して
sudo yum install http://repo.iotti.biz/CentOS/7/noarch/lux-release-7-1.noarch.rpm

インストール
sudo yum install minisat2

うまくいかなかった方法

ソースのダウロードと解凍

wget http://minisat.se/downloads/minisat-2.2.0.tar.gz
tar -xvf minisat-2.2.0.tar.gz

READMEとかネット曰くこの後
make様のために少し手心を加える

ソースのダウロードと解凍

sudo export MROOT='pwd'
cd minisat/core
sudo make rs

がうまくいかないホントはこの後も手順があるが、そこまでのエラーが出る。

エラー

Linking: minisat_static ( core/Solver.or core/Main.or utils/System.or utils/Options.or )
/usr/bin/ld: -lstdc++ が見つかりません
/usr/bin/ld: -lm が見つかりません
/usr/bin/ld: -lc が見つかりません
collect2: エラー: ld はステータス 1 で終了しました
make: *** [minisat_static] エラー 1

stdc++とかのライブラリはもちろんインストールされているが、バーション情報がライブラリ名に付くのでうまく参照できないことがあるとか。
http://d.hatena.ne.jp/cou929_la/20080718/1216391301
usrとrootのlibやlib64をいじったがこれでも解決しなかった。