Que tal amigo, mira yo uso el compilador C CCS, y mi SO es Debian, lo que hice fue instalar wine, después instalé el compilador como si tuviera windows y de esa manera ya tienes el compilador en una distribución linux. Al crear mis códigos uso "Geany" que es un IDE de programación open source basado en python, ya que termine el código a la hora de compilar simplemente en una terminal escribo esto --> wine ccsc +FM -D -T -A -EW +EX -L -J -M +EA +P5 I="c:/Program Files/PICC/Devices" elNombreDeTuCodigo.c y así se compila en linux sin ningún problema. No estoy siendo muy detallista porque estoy de entrada por salida en el foro, pero cuando tenga mas tiempo con gusto puedo explicar el proceso a detalle.