Это на Raspberry Pi 3. У меня есть make-файл, который связывает кучу объектных файлов, сгенерированных локально с помощью gcc, со статической библиотекой, сгенерированной на другом компьютере с использованием цепочки инструментов ARM.Компилятор ARM использует hard-float abi, который, кажется, поддерживается на RPi 3. Все собирается и работает нормально, пока код C, который входит в статическую библиотеку, имеет фиксированную точку, но я получаю ошибки компоновщика, когда код Cиспользует арифметику с плавающей точкой.Линкер gcc жалуется на отсутствие символов в форме __hardfp_xxx (например, __hardfp_pow).Похоже, мне не хватает библиотеки GCC, но я не могу понять, какие из них.Кто-нибудь может помочь?Спасибо.