Страница 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
выполнено без ошибок
- выдано сообщение об отсутствии g++
Как здесь поставить клиент ABF ?
Re: Как установить компилятор g++ ?
Добавлено: 20 апр 2017, 05:07
VictorR2007
g++ находится в пакете gcc-c++.
Re: Как установить компилятор g++ ?
Добавлено: 20 апр 2017, 06:15
alex_dorin
VictorR2007 - спасибо !