Non c'est pas ça. Le problème n'est pas avec la lib qui est en EFL (BSD-like) mais avec le support d'exécution qui est inclut par le compilateur dans le binaire (garbage collector et co.)
Donc les binaires produits par la version libre de l'environnement doivent être en GPL (et donc avec les sources en GPL aussi)
Par contre je pense que rien n'empèche de distribuer justes les sources avec n'importe quelle license. Étant entendu que si l'utilisateur veux redistribuer des binaires compilé par EiffelStudio on se retrouve dans le même cas qu'avant. Puisque c'est uniquement au moment de la compilation qu'on lie le code avec le runtime en GPL.
C'est quand même particulierement tordu. Je suis d'accord que c'est une séparation propre entre le libre et le propriétaire mais cela résulte d'une utilisation à la limite de la GPL si on considère le compilateur comme un logiciel normal et le binaire produit comme une production de ce logiciel. A la base rien dans la philosophie du libre ne contraint les productions des logiciels libres. Car ici ce n'est pas la lib qui est GPL mais juste un tout petit bout de code rajouté a chaque binaire. Enfin bref ...
[^] # Re: Très sain
Posté par Joris R (site web personnel, Mastodon) . En réponse au journal Les programmes compilés par EiffelStudio doivent être en GPL. Évalué à 2.
Donc les binaires produits par la version libre de l'environnement doivent être en GPL (et donc avec les sources en GPL aussi)
Par contre je pense que rien n'empèche de distribuer justes les sources avec n'importe quelle license. Étant entendu que si l'utilisateur veux redistribuer des binaires compilé par EiffelStudio on se retrouve dans le même cas qu'avant. Puisque c'est uniquement au moment de la compilation qu'on lie le code avec le runtime en GPL.
C'est quand même particulierement tordu. Je suis d'accord que c'est une séparation propre entre le libre et le propriétaire mais cela résulte d'une utilisation à la limite de la GPL si on considère le compilateur comme un logiciel normal et le binaire produit comme une production de ce logiciel. A la base rien dans la philosophie du libre ne contraint les productions des logiciels libres. Car ici ce n'est pas la lib qui est GPL mais juste un tout petit bout de code rajouté a chaque binaire. Enfin bref ...