[Discussioni] linking statico a libreria GPL

[Emanuele Olivetti]

Salve a tutti,

Ho scaricato un software, binari e sorgenti. Questi sono tutti
distribuiti con una licenza non libera. In sintesi la licenza dice
"free for academic use, no commercial use". I binari sono compilati
staticamente con una libreria necessaria per l'esecuzione: libgsl [0],
che ha licenza GPL (v3). Vista la persistenza della GPL ne deduco che
anche i sorgenti del software sono da ritenersi distribuiti (anche)
con licenza GPL (magari involontariamente, visto che gli autori
indicano una licenza diversa sul loro sito).

La mia domanda e' la seguente. Sono interessato ad approfondire ed
eventualmente estendere una parte di questo software. L'eventuale
codice che potrei aggiungere vorrei poi distribuirlo liberamente. Da
un punto di vista tecnico penso di poterlo fare, vista la persistenza
della GPL. Pero' forse sarebbe meglio contattare prima gli autori e
chiarire la (probabile) svista. In questo caso potrebbero rimuovere i
binari (compilati staticamente, per quelli compilati dinamicamente so
che la questione della persistenza e' un po' aperta [1]) dal sito e
cercare di impedire l'effetto della GPL. Anche se facessero cosi'
rimarrebbe comunque quanto distribuito in passato, che imporrebbe il
rispetto della GPL sulle versioni distribuite fino a quel momento.
- Confermate la mia analisi?  
- Come dovrei procedere?  
    1) Non farmi problemi e proseguire il lavoro sui sorgenti che ho
       scaricato considerandoli liberi, GPL.
    2) Chiarire la questione con gli autori prima di tutto.
    3) Reimplementare il software indipendentemente e scegliere una
        licenza libera (ci ho pensato... ma ovviamente preferirei di no).

Grazie per le eventuali risposte,

Emanuele

[0]: http://www.gnu.org/software/gsl/
[1]: 
http://en.wikipedia.org/wiki/GNU_General_Public_License#The_GPL_in_court
     (mi riferisco al primo paragrafo che parla del linking dinamico)