Как установить компилятор g++ ?

[alex_dorin]

Здравствуйте !
Как установить компилятор g++ ?

[Алзим]

Поставь себе abf-клиент. Всё необходимое для сборки должно само установиться.
http://wiki.rosalab.ru/ru/index.php/%D0 ... %D1%82_ABF

[alex_dorin]

Я пытался построить исполнимый файл , используя
http://www.cs.man.ac.uk/~korovink/iprover/

Easy to install and use:

install OCaml v4.02 or later
./configure
make

Код: Выделить всё

./configure

выполнено без ошибок

Код: Выделить всё

make

- выдано сообщение об отсутствии g++
Как здесь поставить клиент ABF ?

[VictorR2007]

g++ находится в пакете gcc-c++.

[alex_dorin]

VictorR2007 - спасибо !