RefBox の更新

現在のブランチを確認する.

git branch

ブランチを変更する(masterへ).

git checkout master

make し直したら,gecode がないとか言われるので,関係しそうなパッケージのインストール
ubuntu 14.04は,

sudo apt-get install libgecode-dev

Fedora 23は,

sudo dnf install gecode-devel

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です

*