ubuntu下安装一些简单软件的过程记录

----------------------------------------

安装minisat：

提示错误：error while loading shared libraries: libstdc++-libc6.2-2.so.3: cannot open shared object file: No such file or directory

解决方案：安装libstdc++2.10-glibc2.2

-----------------------------------------

安装minisat 2.2.0：

export MROOT=<minisat-dir>  //将<minisat-dir>替换为minisat所在的目录，我选全局目录了
cd { core | simp }  //我选core
gmake rs  //提示无gmake，用make rs替代
提示错误：zlib.h: 没有那个文件或目录，安装apt-get install zlib1g和apt-get install zlib1g-dev

-----------------------------------------

安装gmp并在code::blocks下使用gmp：

sudoapt-get install libgmp10 libgmp-dev

sudoapt-get install libgmpxx4ldbl-dbgsym

sudoapt-get install libgmp10-dbgsym

信息：

https://launchpad.net/ubuntu/+source/gmp

gmppackage in Ubuntu

libgmp-dev:Multiprecision arithmetic library developers tools
libgmp10:Multiprecision arithmetic library
libgmp10-dbgsym: debug symbolsfor package libgmp10
libgmp10-doc: Multiprecision arithmeticlibrary example code
libgmp3-dev: Multiprecision arithmeticlibrary developers tools
libgmpxx4ldbl: Multiprecisionarithmetic library (C++ bindings)
libgmpxx4ldbl-dbgsym: debugsymbols for package libgmpxx4ldbl

code::blocks使用：

将project→buildoption→linkersettings增加libgmpxx和libgmp（静态库的名称），可能debug和release下都需要增加

-----------------------------------------