Help us understand the problem. What is going on with this article?

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

Why do not you register as a user and use Qiita more conveniently?
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away
Comments
Sign up for free and join this conversation.
If you already have a Qiita account
Why do not you register as a user and use Qiita more conveniently?
You need to log in to use this function. Qiita can be used more conveniently after logging in.
You seem to be reading articles frequently this month. Qiita can be used more conveniently after logging in.
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away