古いUbuntuにCryptominisat4をインストールする方法
930 ワード
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
とした。
Author And Source
この問題について(古いUbuntuにCryptominisat4をインストールする方法), 我々は、より多くの情報をここで見つけました https://qiita.com/masahiro_sakai/items/d21ffc1fbfd253cf272e著者帰属：元の著者の情報は、元のURLに含まれています。著作権は原作者に属する。
Content is automatically searched and collected through network algorithms . If there is a violation . Please contact us . We will adjust (correct author information ,or delete content ) as soon as possible .