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

Ответить
alex_dorin
Сообщения: 114
Зарегистрирован: 26 дек 2016, 08:49
Operating system: r8

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

Сообщение alex_dorin » 19 апр 2017, 20:43

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

Аватара пользователя
Алзим
Сообщения: 4061
Зарегистрирован: 18 июн 2015, 11:57
Operating system: ROSA Desktop Fresh R10
Откуда: Интернет

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

Сообщение Алзим » 19 апр 2017, 21:55

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

alex_dorin
Сообщения: 114
Зарегистрирован: 26 дек 2016, 08:49
Operating system: r8

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

Сообщение alex_dorin » 20 апр 2017, 04:24

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

install OCaml v4.02 or later
./configure
make

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

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

Аватара пользователя
VictorR2007
Сообщения: 5090
Зарегистрирован: 12 сен 2011, 12:00
Operating system: ROSA 2016.1
Откуда: Северодвинск

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

Сообщение VictorR2007 » 20 апр 2017, 05:07

g++ находится в пакете gcc-c++.
Во всём виноваты русские. Они всем вредят. Всегда. И ещё Путин. Ещё тот гусь. Тоже вредит. Всем. И всех захватывает. Ужас.:)

alex_dorin
Сообщения: 114
Зарегистрирован: 26 дек 2016, 08:49
Operating system: r8

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

Сообщение alex_dorin » 20 апр 2017, 06:15

VictorR2007 - спасибо !

Ответить