Pour les libraries statiques, il est effectivement techniquement possible de les distribuer sans les sources, mais je vous avertis quand-même que TIGCC garantit seulement la compatibilité sources d'une release à une autre, donc une librairie statique pourrait ne plus marcher avec un nouveau TIGCC sans recompilation. Ça s'est déjà passé plusieurs fois, parfois à cause de changements matériels ou logiciels du côté de TI (V200, Titanium, AMS 2 et 3, mais c'est clair que c'est peu probable de nos jours), parfois parce que TIGCCLIB a été rendue plus efficace (passage par registres, par exemple, et là je n'exclus pas qu'un nouveau changement pourrait se produire).