Страница 1 из 1
Ошибки при построении из исходников : /usr/bin/ld: cannot find -lstdc++ /usr/bin/ld: cannot find -lm /usr/bin/ld: cannot find -lc
Добавлено: 05 сен 2017, 09:18
alex_dorin
Здравствуйте !
При построении задачи по исходникам возникла следующая ошибка :
Код: Выделить всё
/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
Re: Ошибки при построении из исходников : /usr/bin/ld: cannot find -lstdc++ /usr/bin/ld: cannot find -lm /usr/bin/ld: cannot find -lc
Добавлено: 05 сен 2017, 11:06
keleg
а что собираете? Лучше со ссылкой на исходники.
Re: Ошибки при построении из исходников : /usr/bin/ld: cannot find -lstdc++ /usr/bin/ld: cannot find -lm /usr/bin/ld: cannot find -lc
Добавлено: 05 сен 2017, 11:26
alex_dorin
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
Это - логический прувер для автоматического доказательства теорем
Re: Ошибки при построении из исходников : /usr/bin/ld: cannot find -lstdc++ /usr/bin/ld: cannot find -lm /usr/bin/ld: cannot find -lc
Добавлено: 05 сен 2017, 13:15
keleg
хитрая штука, вроде ни один дистр пока не собрал себе.
Re: Ошибки при построении из исходников : /usr/bin/ld: cannot find -lstdc++ /usr/bin/ld: cannot find -lm /usr/bin/ld: cannot find -lc
Добавлено: 08 сен 2017, 12:04
trs
Так это ни собирать ни использовать нельзя - по лицензии
Re: Ошибки при построении из исходников : /usr/bin/ld: cannot find -lstdc++ /usr/bin/ld: cannot find -lm /usr/bin/ld: cannot find -lc
Добавлено: 08 сен 2017, 15:55
alex_dorin
Береженного и БГ бережет ...
на debian 9 чудесным образом построено, наверное, нужен solaris