[Discussioni] libbero o non libero ?

[Francesco Potorti`]

Leonardo Boselli:
>PS: lo scopo era di proteggere un SW di transcodifica dati, per evitare 
>che possa essere usato per "proprietarizzare" i dati (le funzioni fanno sia 
>la codifica da human-readable a machine-optimized che il viceversa ... 
>se ne alteri una senza indicare come la invertibilità dei dati è persa ... 
>scusate se sono cattivo in questo !)

Forse c'è un modo per ottenere lo stesso effetto in maniera meno
drastica.  Provo ad indicare una via, anche se non sono sicuro che sia
praticabile.  Bison (GPL), quando traduce il sorgente della macchina a
stati nel codice C che implementa la macchina a stati (d'ora in poi "la
macchina"), include nel codice C alcune funzioni precotte, che cono
coperte da GPL.  

Senza ulteriori precauzioni, la macchina sarebbe anch'essa coperta da
GPL, il che è contro le intenzioni degli estensori di Bison.  Bison
infatti è inteso come un compilatore al pari, ad esempio, del gcc, che
prende dei dati in ingresso (il sorgente) e produce dei dati in uscita
(l'oggetto) senza che quest'ultimo sia coperto da alcuna rivendicazione.

Per ottenere questo risultato, la licenza di Bison contiene una clausola
aggiuntiva alla GPL, che esplicitamente consente qualunque uso di quelle
funzioni precotte quando si trovino all'interno di una macchina generata
da Bison.

Forse questa esperienza potrebbe suggerire un modo di ottenere l'effetto
che desideri?