Здравствуйте !
Как установить компилятор g++ ?
Как установить компилятор g++ ?
-
- Сообщения: 208
- Зарегистрирован: 26 дек 2016, 08:49
Re: Как установить компилятор g++ ?
Поставь себе abf-клиент. Всё необходимое для сборки должно само установиться.
http://wiki.rosalab.ru/ru/index.php/%D0 ... %D1%82_ABF
http://wiki.rosalab.ru/ru/index.php/%D0 ... %D1%82_ABF
-
- Сообщения: 208
- Зарегистрирован: 26 дек 2016, 08:49
Re: Как установить компилятор g++ ?
Я пытался построить исполнимый файл , используя
http://www.cs.man.ac.uk/~korovink/iprover/ выполнено без ошибок
- выдано сообщение об отсутствии g++
Как здесь поставить клиент ABF ?
http://www.cs.man.ac.uk/~korovink/iprover/
Easy to install and use:
install OCaml v4.02 or later
./configure
make
Код: Выделить всё
./configure
Код: Выделить всё
make
Как здесь поставить клиент ABF ?
- VictorR2007
- Сообщения: 7252
- Зарегистрирован: 12 сен 2011, 13:00
Re: Как установить компилятор g++ ?
g++ находится в пакете gcc-c++.
-
- Сообщения: 208
- Зарегистрирован: 26 дек 2016, 08:49
Re: Как установить компилятор g++ ?
VictorR2007 - спасибо !