На что ругается линковщик?

Question

[Иван]

Пытаюсь собрать программку на C (без плюсов) с использованием библиотеки GMP:

gcc -g -L/usr/lib/x86_64-linux-gnu/ -llibgmp main.c

Получаю ошибку:
/usr/bin/ld: cannot find -llibgmp
Никак не пойму с чего так, ведь библиотека явно есть и линковщик о ней знает:

$ readlink /usr/lib/x86_64-linux-gnu/libgmp.so
libgmp.so.10.3.0
$ ldconfig -p | grep libgmp
	libgmpxx.so.4 (libc6,x86-64) => /usr/lib/x86_64-linux-gnu/libgmpxx.so.4
	libgmpxx.so (libc6,x86-64) => /usr/lib/x86_64-linux-gnu/libgmpxx.so
	libgmp.so.10 (libc6,x86-64) => /usr/lib/x86_64-linux-gnu/libgmp.so.10
	libgmp.so (libc6,x86-64) => /usr/lib/x86_64-linux-gnu/libgmp.so
$ gcc --version
gcc (Ubuntu 5.4.0-6ubuntu1~16.04.4) 5.4.0 20160609

Answer 1

[Иван]

В общем видимо что-то было криво в убунте. Проблема решена загрузкой оригинальной библиотеки с gmplib.org.

Comments

[Иван]

Ilya Nezhyhai, но я же привел вывод в самом вопросе.

[Иван]

Ilya Nezhyhai, так он тот же. Вновь скачанная либа лежит рядом с исходниками моей тулзы и статически линкуется в бинарник.

Answer 2

[CityCat4]

Вы указали линкеру искать библиотеку liblibgmp.so :) Внезапно? Линкер умный, он знает, что имена библиотек начинаются на "lib..." и поэтому автоматически дописывает это к значению ключа. А файла liblibgmp.so у Вас, конечно же нет :)

Comments

[Иван]

Выше написал to Ilya Nezhyhai, как я дошел до такой жизни.