Как говорит Тренки, используйте ldd, чтобы получить список динамически связанных библиотек, от которых зависит ваш исполняемый файл, и проверьте, чтобы убедиться, что код, который вы хотели статически связать, , а не .
Вы также можете использовать команды nm и strings, чтобы получить дамп программных символов и читабельного текста, соответственно, в вашем исполняемом файле. Используйте grep для фильтрации этого вывода по идентификаторам в вашей статической библиотеке, на которые вы ссылаетесь в своем коде, например по именам функций.
Наконец, вы можете использовать команду objdump, чтобы получить список разборок вашей программы. В нем должны появиться функции статической библиотеки.
Первый подход в сочетании с исполняемым файлом, который компилирует, связывает и выполняет достаточно хорошо, чтобы продемонстрировать функциональность, которую помогает статическая библиотека, является, вероятно, достаточным тестом. Используйте второй или третий подходы, только если вы хотите копать глубже.