古いUbuntuにCryptominisat4をインストールする方法

Cryptominisat4をインストールするのに、g++-4.8以降が必要だったので、How to Install GCC 4.8 via PPA in Ubuntu 12.04, 13.04, 10.04 にあるように、

$ sudo add-apt-repository ppa:ubuntu-toolchain-r/test
$ sudo apt-get update
$ sudo apt-get install gcc-4.8 g++-4.8

とした上で、CMakeでデフォルトのコンパイラを書き換える微妙な方法を参考に、

$ mkdir build
$ cd build
$ cmake -DCMAKE_CXX_COMPILER=g++-4.8 ..
$ make -j4

とした。