Страница 1 из 1

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

Добавлено: 19 апр 2017, 20:43
alex_dorin
Здравствуйте !
Как установить компилятор g++ ?

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

Добавлено: 19 апр 2017, 21:55
Алзим
Поставь себе abf-клиент. Всё необходимое для сборки должно само установиться. :)
http://wiki.rosalab.ru/ru/index.php/%D0 ... %D1%82_ABF

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

Добавлено: 20 апр 2017, 04:24
alex_dorin
Я пытался построить исполнимый файл , используя
http://www.cs.man.ac.uk/~korovink/iprover/
Easy to install and use:

install OCaml v4.02 or later
./configure
make

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

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

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

Добавлено: 20 апр 2017, 05:07
VictorR2007
g++ находится в пакете gcc-c++.

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

Добавлено: 20 апр 2017, 06:15
alex_dorin
VictorR2007 - спасибо !