I would add that in all cases Gnoga must compile and work with the FSF GNAT
versions readily available for Windows, Mac, Linux and BSDs. The reason I
add this is that in no way should Gnoga ever be dependant on GPL GNAT
features not available in the true free versions.
On a related note, I would be particularly thrilled if we partnered up with
Simon for an official public Mac build (which by default we are doing
anyways) and if someone was willing to officially support a windows 64 bit
build they would be doing a favor to the entire world since currently
workarounds are need to use just about everything publicly available
(AdaCore is particular on not releasing win 64 versions to the public)
David Botton
On Wed, Oct 19, 2016 at 4:20 PM Pascal <blady-...@users.sf.net> wrote:
> Many thanks for all contributions.
>
> I'd like to add two points:
>
> Compiler:
> Interface shall not be compiler dependent and implementation should not be
> compiler dependent.
>
> Language:
> The Ada language standard used is Ada 2012 without restrictions.
>
> PS : as one may have understood, these Gnoga guidelines are as closed from
> existing source code but all is open for suggestions, IMHO. For sure, the
> aim is to set a "Gnoga style" for futures code contributions.
>
> Go on sending comments, Pascal.
> http://blady.pagesperso-orange.fr
>
>
> > Le 19 oct. 2016 à 00:19, Anh (TA) Vo <anhvofrc...@gmail.com> a écrit :
> >
> > On Sun, Oct 16, 2016 at 10:25 PM, Jean-Pierre Rosen <ro...@adalog.fr>
> wrote:
> > Le 16/10/2016 à 19:54, Jeffrey R. Carter a écrit :
> > >> I'm OK for disabling assertions, but not other checks
> (constraint_error...)
> > > I'm for leaving them all on.
> > When I said "assertions", I meant all forms of assertions (including
> > Pre/Post), not just pragma Assert.
> >
> > The trouble is that sometimes, the post-condition needs more
> > computations than the subprogram being described.
> >
> > But it should be shorter that unit test :-). Post conditions replacing
> unit test is my most favorite feature.
> >
> > Anh Vo
> >
> >
> ------------------------------------------------------------------------------
> > Check out the vibrant tech community on one of the world's most
> > engaging tech sites, SlashDot.org!
> http://sdm.link/slashdot_______________________________________________
> > Gnoga-list mailing list
> > Gnoga-list@lists.sourceforge.net
> > https://lists.sourceforge.net/lists/listinfo/gnoga-list
>
>
>
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, SlashDot.org! http://sdm.link/slashdot
> _______________________________________________
> Gnoga-list mailing list
> Gnoga-list@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/gnoga-list
>
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
_______________________________________________
Gnoga-list mailing list
Gnoga-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/gnoga-list
