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をいじったがこれでも解決しなかった。