ALLPATHS-LG的安装步骤

1. 下载GMP并安装。可以跳过1，2，3步。

下载的压缩包为lz格式，必须使用lzip解压缩。
$ sudo yum install lzip
$ lzip -d gmp-5.1.1.tar.lz
$ tar xvf gmp-5.1.1.tar
$ cd gmp-5.1..1
$ ./configure
$ make
$ sudo make install

2. 下载MPFR并安装。
3. 下载MPC并安装
4. 下载gcc并安装。

直接在源目录中configure并make易发生错误；
若有错误"fatal error: gnu/stubs-32.h 没有那个文件或目录",则需安装glibc-
devel.i686（centos6.3）或glibc-devel.i386（centos5.8）。

$ sudo yum install glibc-devel.i686
$ tar -jxvf gcc-4.7.2.tar.bz2
$ cd gcc-4.7.2
$ ./contrib/download_prerequisites
下载上述的三个所需的库，并创造链接。因此不需要一个个下载并安装那么麻烦。

$ cd ../
$ mkdir gcc-build
$ cd gcc-build
$ ../gcc-4.7.2/configure --prefix=/opt/gcc-4.7.2
推荐不安装在默认路径，不然不宜卸载。现在gcc取消了make uninstall命令。默认路径
是/usr/local;系统自带的gcc路径为/usr。

$ make -j 8
多线程运行，数字依机器配置而定，不然默认情况下极度耗费时间。

$ sudo make install
$ sudo make clean (optional)

$ vim /etc/ld.so.conf.d/gcc-4.7.2.x86_64.conf
在文本文件中添加以下两行
/opt/gcc-4.7.2/lib
/opt/gcc-4.72/lib64
$ sudo ldconfig
将库文件加入到访问路径,并更新库。

5. 下载ALLPATHS-LG并安装。

新版的ALLPATHS-LG需求gcc 4.7.0及以上版本，安装gcc 4.7.0及以上版本又需要gmp，
mpfr和mpc具有较高的版本。

$ tar zxvf LATEST_VERSION.tar.gz
$ cd allpathslg-?????
$ ./configure --prefix=/home/chenlianfu/programs/ALLPATHS-LG/ CXX
=/opt/gcc-4.7.2/bin/c++ CXXPP=/opt/gcc-4.7.2/bin/cpp
$ make
$ make install