Ошибки при построении из исходников : /usr/bin/ld: cannot find -lstdc++ /usr/bin/ld: cannot find -lm /usr/bin/ld: cannot find -lc

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

Ошибки при построении из исходников : /usr/bin/ld: cannot find -lstdc++ /usr/bin/ld: cannot find -lm /usr/bin/ld: cannot find -lc

Сообщение alex_dorin » 05 сен 2017, 09:18

Здравствуйте !
При построении задачи по исходникам возникла следующая ошибка :

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

/usr/bin/ld: cannot find -lstdc++
/usr/bin/ld: cannot find -lm
/usr/bin/ld: cannot find -lc
collect2: ошибка: выполнение ld завершилось с кодом возврата 1
Makefile:390: ошибка выполнения рецепта для цели «vampire»
make: *** [vampire] Ошибка 1
Как это можно исправить ?
ОС rosa fresh r8 plasma

keleg
Сообщения: 5507
Зарегистрирован: 15 сен 2011, 01:58

Re: Ошибки при построении из исходников : /usr/bin/ld: cannot find -lstdc++ /usr/bin/ld: cannot find -lm /usr/bin/ld: cannot find -lc

Сообщение keleg » 05 сен 2017, 11:06

а что собираете? Лучше со ссылкой на исходники.

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

Re: Ошибки при построении из исходников : /usr/bin/ld: cannot find -lstdc++ /usr/bin/ld: cannot find -lm /usr/bin/ld: cannot find -lc

Сообщение alex_dorin » 05 сен 2017, 11:26

http://www.cs.miami.edu/~tptp/CASC/26/Entrants.html
vampire 4.2 source
Строить : > make vampire
По-моему в файле /Shell/Skolem.cpp допущена ошибка
я исправил :
ALWAYS(_varOccs.insert(vs.next(),{false,nullptr}));
ALWAYS(_varOccs.insert(var,{true,nullptr}));
т.е fals заменил на false
tru заменил на true
Это - логический прувер для автоматического доказательства теорем

keleg
Сообщения: 5507
Зарегистрирован: 15 сен 2011, 01:58

Re: Ошибки при построении из исходников : /usr/bin/ld: cannot find -lstdc++ /usr/bin/ld: cannot find -lm /usr/bin/ld: cannot find -lc

Сообщение keleg » 05 сен 2017, 13:15

хитрая штука, вроде ни один дистр пока не собрал себе.

trs
Сообщения: 1939
Зарегистрирован: 07 сен 2015, 16:08
Operating system: -

Re: Ошибки при построении из исходников : /usr/bin/ld: cannot find -lstdc++ /usr/bin/ld: cannot find -lm /usr/bin/ld: cannot find -lc

Сообщение trs » 08 сен 2017, 12:04

Так это ни собирать ни использовать нельзя - по лицензии :o

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

Re: Ошибки при построении из исходников : /usr/bin/ld: cannot find -lstdc++ /usr/bin/ld: cannot find -lm /usr/bin/ld: cannot find -lc

Сообщение alex_dorin » 08 сен 2017, 15:55

Береженного и БГ бережет ...
на debian 9 чудесным образом построено, наверное, нужен solaris

Ответить

Вернуться в «Обсуждение ROSA Fresh R4 - R8 (платформа 2014.1)»