* GNAT 3.13p build for Solaris 8_x86 @ 2001-07-11 15:22 Andreas Almroth 2001-07-12 3:15 ` Robert Dewar 0 siblings, 1 reply; 11+ messages in thread From: Andreas Almroth @ 2001-07-11 15:22 UTC (permalink / raw) Hi all, I apologise, for this semi-related topic to the language itself. I have been using GNAT 3.12p on my laptop with Solaris 8 now for a while, and I have been wondering about why there is no 3.13p for Solaris 8_x86 around? OK, if you have the time, you could compile 3.13p from 3.12p level, which is exactly what I have done now... Everything seems to work so far... It is not verified/certified in any way, but it works for me... Having looked at how the binary distribution for 3.12p works, I'm now wondering, if I now have it working on my system, why couldn't I package a 3.13p binary distribution? Well, it leads to three major questions of my concern; 1. Will I get in trouble doing so? It is after all FSF copyrighted, so I should be able to do so, or? What are the legal implications? 2. I couldn't find out who made the 3.12p package available, so I now wondering what are the procedures/tools to use in order to package 3.13p in the same manner as 3.12p? 3. If, I at all succeed in creating a package, who should I contact for actually making it available? I know this may seem as a minor thing, but wouldn't be nice to have a binary distribution of 3.13p on Solaris 8_x86 available for public? I'm sure there is one for contract customers... Well, if you have a split second, I would appreciate if you enlighten me on this topic... Regards, Andreas ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: GNAT 3.13p build for Solaris 8_x86 2001-07-11 15:22 GNAT 3.13p build for Solaris 8_x86 Andreas Almroth @ 2001-07-12 3:15 ` Robert Dewar 2001-07-12 10:38 ` Andreas Almroth 2001-07-12 11:49 ` Larry Kilgallen 0 siblings, 2 replies; 11+ messages in thread From: Robert Dewar @ 2001-07-12 3:15 UTC (permalink / raw) almroth@attglobal.net (Andreas Almroth) wrote in message news:<e19796c6.0107110722.24186f28@posting.google.com>... > I have been using GNAT 3.12p on my laptop with Solaris 8 now for a > while, and I have been wondering about why there is no 3.13p for > Solaris 8_x86 around? Because no one built one ... > OK, if you have the time, you could compile 3.13p from 3.12p level, > which is exactly what I have done now... Everything seems to work so > far... It is not verified/certified in any way, but it works for > me... OK, good work, it's really not that hard! And for the public version it really does not matter that it is not validated (indeed none of the public versions of GNAT are validated). > Having looked at how the binary distribution for 3.12p works, I'm now > wondering, if I now have it working on my system, why couldn't I > package a 3.13p binary distribution? Of course you can distribute it, that's what the GPL says, and moreover you are very much encouraged to do so. > Well, it leads to three major questions of my concern; > 1. Will I get in trouble doing so? It is after all FSF copyrighted, > so I should be able to do so, or? What are the legal implications? The GPL permits you to make this available, providing you also make the sources available, or point to where you got them from. > 2. I couldn't find out who made the 3.12p package available, so I now > wondering what are the procedures/tools to use in order to package > 3.13p in the same manner as 3.12p? It is up to you how you package it, no one is requiring anything specific here. > 3. If, I at all succeed in creating a package, who should I contact > for actually making it available? I am sure the Ada mirror sites would be happy to pick this up, you could start by contacting Dave Botton at adapower. If you tell this group where to pick the version you have built up, I am sure that the distribution will take care of it. > I know this may seem as a minor thing, but wouldn't be nice to have a > binary distribution of 3.13p on Solaris 8_x86 available for public? Most certainly, and the availability of such versions depends on volunteers like you who take the effort to do the builds. I am sure that others interested in a publically available version of the Solaris x86 GNAT will appreciate your work. > Well, if you have a split second, I would appreciate if you enlighten > me on this topic... I trust you are enlightened :-) Robert Dewar Ada Core Technologies ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: GNAT 3.13p build for Solaris 8_x86 2001-07-12 3:15 ` Robert Dewar @ 2001-07-12 10:38 ` Andreas Almroth 2001-07-12 11:49 ` Larry Kilgallen 1 sibling, 0 replies; 11+ messages in thread From: Andreas Almroth @ 2001-07-12 10:38 UTC (permalink / raw) Hi all again! Well, said and done... I have now compiled a binary package of GNAT 3.13p for Solaris 8_x86. It is distributed in the standard pkg format (that is, use pkgadd). It installs in /opt/AAgnat313p, in order to not disturb any other GCC/GNAT related software in /usr/local. I have made it available on my home page http://pws.prserv.net/almroth. Look at the Software page (http://pws.prserv.net/almroth/software.html). Taken the limited space I have, I would appreciate if someone could transfer the file to a public Ada FTP resource, so that I can remove it from my web space. Well, I hope you will have use for the package... I sure have now... And Robert, thanks for the enlightning response! :) Cheers, Andreas dewar@gnat.com (Robert Dewar) wrote in message news:<5ee5b646.0107111915.222cebe2@posting.google.com>... > almroth@attglobal.net (Andreas Almroth) wrote in message news:<e19796c6.0107110722.24186f28@posting.google.com>... > > > I have been using GNAT 3.12p on my laptop with Solaris 8 now for a > > while, and I have been wondering about why there is no 3.13p for > > Solaris 8_x86 around? > > Because no one built one ... > > > OK, if you have the time, you could compile 3.13p from 3.12p level, > > which is exactly what I have done now... Everything seems to work so > > far... It is not verified/certified in any way, but it works for > > me... > > OK, good work, it's really not that hard! And for the public version > it really does not matter that it is not validated (indeed none of > the public versions of GNAT are validated). > > > Having looked at how the binary distribution for 3.12p works, I'm now > > wondering, if I now have it working on my system, why couldn't I > > package a 3.13p binary distribution? > > Of course you can distribute it, that's what the GPL says, and moreover > you are very much encouraged to do so. > > > Well, it leads to three major questions of my concern; > > 1. Will I get in trouble doing so? It is after all FSF copyrighted, > > so I should be able to do so, or? What are the legal implications? > > The GPL permits you to make this available, providing you also make > the sources available, or point to where you got them from. > > > 2. I couldn't find out who made the 3.12p package available, so I now > > wondering what are the procedures/tools to use in order to package > > 3.13p in the same manner as 3.12p? > > It is up to you how you package it, no one is requiring anything > specific here. > > > 3. If, I at all succeed in creating a package, who should I contact > > for actually making it available? > > I am sure the Ada mirror sites would be happy to pick this up, you > could start by contacting Dave Botton at adapower. If you tell this > group where to pick the version you have built up, I am sure that > the distribution will take care of it. > > > I know this may seem as a minor thing, but wouldn't be nice to have a > > binary distribution of 3.13p on Solaris 8_x86 available for public? > > Most certainly, and the availability of such versions depends on > volunteers like you who take the effort to do the builds. I am sure > that others interested in a publically available version of the > Solaris x86 GNAT will appreciate your work. > > > Well, if you have a split second, I would appreciate if you enlighten > > me on this topic... > > I trust you are enlightened :-) > > Robert Dewar > Ada Core Technologies ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: GNAT 3.13p build for Solaris 8_x86 2001-07-12 3:15 ` Robert Dewar 2001-07-12 10:38 ` Andreas Almroth @ 2001-07-12 11:49 ` Larry Kilgallen 2001-07-12 13:08 ` Andreas Almroth 2001-07-12 14:33 ` Robert Dewar 1 sibling, 2 replies; 11+ messages in thread From: Larry Kilgallen @ 2001-07-12 11:49 UTC (permalink / raw) In article <5ee5b646.0107111915.222cebe2@posting.google.com>, dewar@gnat.com (Robert Dewar) writes: > almroth@attglobal.net (Andreas Almroth) wrote in message news:<e19796c6.0107110722.24186f28@posting.google.com>... >> OK, if you have the time, you could compile 3.13p from 3.12p level, >> which is exactly what I have done now... Everything seems to work so >> far... It is not verified/certified in any way, but it works for >> me... > > OK, good work, it's really not that hard! And for the public version > it really does not matter that it is not validated (indeed none of > the public versions of GNAT are validated). I was under the impression that the validation tests are available to all. If you were to run the tests yourself, some people might not be satisfied they were not run by the official testing site ($10,000 a pop ?). But presumable other people, including especially _you_ would be satisfied. ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: GNAT 3.13p build for Solaris 8_x86 2001-07-12 11:49 ` Larry Kilgallen @ 2001-07-12 13:08 ` Andreas Almroth 2001-07-12 21:47 ` Randy Brukardt 2001-07-13 0:35 ` tmoran 2001-07-12 14:33 ` Robert Dewar 1 sibling, 2 replies; 11+ messages in thread From: Andreas Almroth @ 2001-07-12 13:08 UTC (permalink / raw) Kilgallen@eisner.decus.org.nospam (Larry Kilgallen) wrote in message news:<pffjeWzAZDhz@eisner.encompasserve.org>... > In article <5ee5b646.0107111915.222cebe2@posting.google.com>, dewar@gnat.com (Robert Dewar) writes: > > almroth@attglobal.net (Andreas Almroth) wrote in message news:<e19796c6.0107110722.24186f28@posting.google.com>... > > >> OK, if you have the time, you could compile 3.13p from 3.12p level, > >> which is exactly what I have done now... Everything seems to work so > >> far... It is not verified/certified in any way, but it works for > >> me... > > > > OK, good work, it's really not that hard! And for the public version > > it really does not matter that it is not validated (indeed none of > > the public versions of GNAT are validated). > > I was under the impression that the validation tests are available to > all. If you were to run the tests yourself, some people might not be > satisfied they were not run by the official testing site ($10,000 a > pop ?). But presumable other people, including especially _you_ would > be satisfied. Well, they are available for everyone interested at; http:/adaic.org/compilers/testing.html But I have found that they are using another naming convention for source files, than GNAT usually use. I'm sure there is a toolset for converting it to GNAT naming convention. It is probably easily done with a simple perl script that reads the package declaration, and then renames the file accordingly. Anyway, I don't think I'm really up for this one. A bit too heavy for a normal programmer... Would be fun though, even though the results would never count... If anyone else have done this for GNAT before, that is, having the ACVC 2.3 ready for GNAT, then I would be more than happy to run it on my laptop, just for the fun of it... Meanwhile, I think I will continue on my original work, now that I have 3.13p working... :) Cheers, Andreas ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: GNAT 3.13p build for Solaris 8_x86 2001-07-12 13:08 ` Andreas Almroth @ 2001-07-12 21:47 ` Randy Brukardt 2001-07-13 0:44 ` Robert Dewar 2001-07-13 0:35 ` tmoran 1 sibling, 1 reply; 11+ messages in thread From: Randy Brukardt @ 2001-07-12 21:47 UTC (permalink / raw) >Well, they are available for everyone interested at; >http:/adaic.org/compilers/testing.html > >But I have found that they are using another naming convention for >source files, than GNAT usually use. I'm sure there is a toolset for >converting it to GNAT naming convention. It is probably easily done >with a simple perl script that reads the package declaration, and then >renames the file accordingly. > >Anyway, I don't think I'm really up for this one. A bit too heavy for >a normal programmer... Would be fun though, even though the results >would never count... Recent conformity assessment (validation) test reports include a sample script showing how they were run. So, all you need do is look up an appropriate test report for GNAT and reproduce that. You can find the test reports at www.adaic.org/compiler/acat/reports >If anyone else have done this for GNAT before, that is, having the >ACVC 2.3 ready for GNAT, then I would be more than happy to run it on >my laptop, just for the fun of it... BTW, ACATS 2.3 was replaced by ACATS 2.4 on April 1. Get it at www.ada-auth.org/acats. The adaic.org is getting a through overhaul, and the old one isn't being updated. >Meanwhile, I think I will continue on my original work, now that I >have 3.13p working... :) Randy Brukardt ACAA Technical Agent ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: GNAT 3.13p build for Solaris 8_x86 2001-07-12 21:47 ` Randy Brukardt @ 2001-07-13 0:44 ` Robert Dewar 2001-07-13 17:24 ` Randy Brukardt 0 siblings, 1 reply; 11+ messages in thread From: Robert Dewar @ 2001-07-13 0:44 UTC (permalink / raw) "Randy Brukardt" <randy@rrsoftware.com> wrote in message news:<WVo37.44$Cp1.1778@client>... > Recent conformity assessment (validation) test reports include a > sample script showing how they were run. So, all you need do is look > up an appropriate test report for GNAT and reproduce that. You can > find the test reports at www.adaic.org/compiler/acat/reports Well it's not quite so easy, in particular, running and evaluating the B tests and the L tests is quite complex. ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: GNAT 3.13p build for Solaris 8_x86 2001-07-13 0:44 ` Robert Dewar @ 2001-07-13 17:24 ` Randy Brukardt 2001-07-17 17:01 ` Laurent Guerby 0 siblings, 1 reply; 11+ messages in thread From: Randy Brukardt @ 2001-07-13 17:24 UTC (permalink / raw) Robert Dewar wrote in message <5ee5b646.0107121644.eb04f71@posting.google.com>... >"Randy Brukardt" <randy@rrsoftware.com> wrote in message news:<WVo37.44$Cp1.1778@client>... >> Recent conformity assessment (validation) test reports include a >> sample script showing how they were run. So, all you need do is look >> up an appropriate test report for GNAT and reproduce that. You can >> find the test reports at www.adaic.org/compiler/acat/reports > >Well it's not quite so easy, in particular, running and evaluating >the B tests and the L tests is quite complex. True enough. Running isn't usually a problem, but figuring out whether they pass or not is extremely time-consuming (even for compiler vendors). But most of the value of the ACATS is in the C-Tests, especially when you're starting with a compiler for which it is known that for some version the B-Tests pass. I can see end-users usefully running C-Tests, and that is what I'm trying to encourage. In the case in question, insuring that all of the C-Tests pass would go a long way toward verifying his build is correct. Randy Brukardt ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: GNAT 3.13p build for Solaris 8_x86 2001-07-13 17:24 ` Randy Brukardt @ 2001-07-17 17:01 ` Laurent Guerby 0 siblings, 0 replies; 11+ messages in thread From: Laurent Guerby @ 2001-07-17 17:01 UTC (permalink / raw) "Randy Brukardt" <randy@rrsoftware.com> writes: > True enough. Running isn't usually a problem, but figuring out whether > they pass or not is extremely time-consuming (even for compiler > vendors). But most of the value of the ACATS is in the C-Tests, > especially when you're starting with a compiler for which it is known > that for some version the B-Tests pass. I can see end-users usefully > running C-Tests, and that is what I'm trying to encourage. In the case > in question, insuring that all of the C-Tests pass would go a long way > toward verifying his build is correct. When GNAT gets commited into the GCC CVS repository, the ACATS C tests will be put in too (I haven't got the FSF lawyer response on the license yet) and the regular GCC "make check" will run them. I hope this will help people porting GNAT to check their work. -- Laurent Guerby <guerby@acm.org> ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: GNAT 3.13p build for Solaris 8_x86 2001-07-12 13:08 ` Andreas Almroth 2001-07-12 21:47 ` Randy Brukardt @ 2001-07-13 0:35 ` tmoran 1 sibling, 0 replies; 11+ messages in thread From: tmoran @ 2001-07-13 0:35 UTC (permalink / raw) > But I have found that they are using another naming convention for > source files, than GNAT usually use. I'm sure there is a toolset for > converting it to GNAT naming convention. It is probably easily done > with a simple perl script that reads the package declaration, and then > renames the file accordingly. Even more easily done with the gnatchop utility that comes with GNAT. ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: GNAT 3.13p build for Solaris 8_x86 2001-07-12 11:49 ` Larry Kilgallen 2001-07-12 13:08 ` Andreas Almroth @ 2001-07-12 14:33 ` Robert Dewar 1 sibling, 0 replies; 11+ messages in thread From: Robert Dewar @ 2001-07-12 14:33 UTC (permalink / raw) Kilgallen@eisner.decus.org.nospam (Larry Kilgallen) wrote in message news:<pffjeWzAZDhz@eisner.encompasserve.org>... > I was under the impression that the validation tests are available to > all. If you were to run the tests yourself, some people might not be > satisfied they were not run by the official testing site ($10,000 a > pop ?). But presumable other people, including especially _you_ > would be satisfied. And even if they were run by the official testing site, this would not make the compiler validated, since to have an officially validated compiler, you have to have some kind of formal guarantee that the compiler you are using is the one that was validated, which typically requires a formal commercial contract of some kind. But indeed it is useful to run the tests informally, and that is certainly possible, since the test suite is indeed freely available. However, it is far from trivial to setup this test suite (we have probably invested in aggregate 6-12 person months setting up our testing environment, but that environment is much more complex than is required for this kind of use. I think it is still asking a lot for someone to try to set this up on their own (certainly running the validation tests is a much harder task than building GNAT from sources). One positive thing here is that Laurent Guerby has volunteered to setup a suitable test environment for GNAT version 5.00p (that will be the designation of the GNAT sources that are placed at the GNU site that are compatible with GCC 3.x). This test environment will include the ACVC tests, as well as a set of tests that we at ACT have generated for testing GNAT specific features (the main test suites we use, the DEC test suite, and the much more extensive ACT suite, are not distributable, since they contain proprietary customer code in both cases). Robert Dewar Ada Core Technologies ^ permalink raw reply [flat|nested] 11+ messages in thread
end of thread, other threads:[~2001-07-17 17:01 UTC | newest] Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2001-07-11 15:22 GNAT 3.13p build for Solaris 8_x86 Andreas Almroth 2001-07-12 3:15 ` Robert Dewar 2001-07-12 10:38 ` Andreas Almroth 2001-07-12 11:49 ` Larry Kilgallen 2001-07-12 13:08 ` Andreas Almroth 2001-07-12 21:47 ` Randy Brukardt 2001-07-13 0:44 ` Robert Dewar 2001-07-13 17:24 ` Randy Brukardt 2001-07-17 17:01 ` Laurent Guerby 2001-07-13 0:35 ` tmoran 2001-07-12 14:33 ` Robert Dewar
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox