Я погуглил и осмотрелся повсюду, но нигде не могу его найти. Кто-нибудь знает, где его взять?
ХОРОШО. После небольшого изучения документации по этому вопросу, я считаю, что библиотека, которую вы ищете, является частью WinAVR-GCC Toolkit, набора статических библиотек для CEENBoT-API и нескольких других вещей. Согласно связи в UnOmaha есть множество вещей, которые вам нужны для программирования этих маленьких драгоценных камней. Но конфигурация того, что вам нужно, приведена на странице 11 связанного PDF. Существует довольно хорошее пошаговое руководство по настройке проекта.
Эти роботы эффективно программируются с использованием кросс-компилятора, и их настройка всегда доставляет удовольствие. Я желаю вам удачи. (и теперь ты заставил меня захотеть пойти и купить один, как только я разберусь с женой, потому что эти вещи выглядят чертовски круто).
математическая библиотека является частью стандартной библиотеки C. Это должно быть обеспечено компилятором.