C-компилятор PIC18F4550 с открытым исходным кодом и кросс-платформенный?

Я давний пользователь AVR. Мне действительно нравится, что AVR-GCC работает на двух основных операционных системах, которые я использую (Mac OS X и Linux), с открытым исходным кодом и поддерживается Atmel. Я хотел бы вернуться к программированию PIC (использовал их в 90-х годах), так как есть несколько довольно хороших PIC, таких как чипы класса PIC18F4550.

К сожалению, большинство всех компиляторов для PIC18, похоже, предназначены только для Windows и платные. И у них почти всегда есть IDE, которая мне не нужна. Я предпочитаю компиляторы командной строки и Makefiles, чтобы я мог, взглянув на один файл, узнать, как создается код. (а не пробираться через извилистые лабиринты диалоговых окон)

Я осмотрелся в SDCC, но у него, похоже, нет поддержки PIC18F4550, и даже если и есть, ворчание в сети заставляет звучать так, будто поддержка PIC18 слабая или в лучшем случае очень запутанная в использовании.

Итак, какой хороший кросс-платформенный C-компилятор командной строки с поддержкой PIC18F4550?

В противном случае, какой C-компилятор является лучшим в своем классе для PIC18F4550 и как его использовать с Makefiles?

SDCC отлично работает для 18F4550. Код, который он производит, может быть не таким компактным, как дорогие компиляторы. Но последние сборки SDCC, кажется, делают довольно хорошую работу.

Вот проект, который я сделал с SDCC и 18f2550.