Dados os seguintes fatos sobre compilação e distribuição de programas GPL,

I. Sempre que distribuir software GPL em formato executável você deve disponibilizar o código fonte correspondente completo.

II. Código fonte completo significa todo o código fonte para todos os módulos, além de arquivos de definição de interface associados, e scripts usados para controlar a compilação e a instalação do executável.

III. O compilador usado para compilar o código fonte para sistemas operacionais de propósito geral deve ser distribuído também.

IV. No caso de compilação cruzada para sistemas embarcados específicos, se o compilador for baseado no GCC, este não precisa ser distribuído junto com o código fonte.

V. Para um programa C típico deve ser distribuído todo o código fonte (arquivos .c), arquivos de cabeçalho (arquivos .h) e scripts usados para controlar a compilação e instalação.

verifica-se que estão corretos