Re: [hors sujet] Ada et tests de certification sous GPL (etait Re: [Fsfe-france] Analyste nk Les zones d'ombre)

[Laurent Guerby]

[Je reviens de vacances, justes quelques remarques]

ACT ne vends pas de logiciel, uniquement du support technique.
Des CDs sont la pour les versions officiellement validees
(comme la validation Ada est principalement la pour
valider les competences du vendeur en Ada, on ne peut
pas valider sans etre un vendeur de logiciel et/ou support)
ou pour les boites qui ne peuvent pas payer si elles n'ont
pas de CDs :).

A noter que les sources a jour de GNAT sont maintenant
dans le CVS public GCC, et que la prochaine version de
GCC (3.1) donnera la possibilite d'activer Ada. La
procedure de synchro ACT/GCC n'est pas encore
tout a fait au point mais cela ne saurait tarder.

David MENTRE wrote:
> [...] Que les sources des tests de l'organisme certificateur ne soient pas
> disponibles, pourquoi pas. Mais les tests du constructeur du compilo,
> répondant aux mêmes spécifications, pourraient eux être publics et
> disponible sous GPL. Je ne vois pas où est le problème.

La suite de validation Ada est sous une license non restrictive
que les juristes de la FSF ont valide, et je suis
suppose faire le "commit" des 15M de sources dans la base
GCC un de ces quatres :).

A noter que la norme ISO Ada est aussi disponible gratuitement
et que c'est malheureusement la seule (ou presque).

> Par ailleurs, les tests d'ACT, outre ceux de certification, comporte
> également ceux qui ont mis en exergue les bogues au cours de la vie du
> logiciel (au passage : les autres logiciels libres devraient également
> faire et maintenir ce genre de base). 

Les developpeurs libre qui ont soumis des tests a ACT sont
les bienvenus pour resoumettre leurs tests dans la suite
GCC, je ferai une annonce sur le sujet sous peu.

> Bien amicalement,
> david

Le dernier texte de RMS fait allusion a GNAT:
<http://www.gnu.org/philosophy/university.html>
<<
You can also ask your funding sponsor for help. When a group at NYU 
developed the GNU Ada Compiler, with funding from the U.S. Air Force, 
the contract explicitly called for donating the resulting code to the 
Free Software Foundation. Work out the arrangement with the sponsor 
first, then politely show the university administration that it is not 
open to renegotiation. They would rather have a contract to develop free 
software than no contract at all, so they will most likely go along.
>>


--
Laurent Guerby <address@hidden>