Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

It seems intuitively obvious to me, which means that it might be wrong. -- Chris Torek

devel / comp.lang.ada / Building GNAT-FSF on FreeBSD

SubjectAuthor
* Building GNAT-FSF on FreeBSDWilliam
`* Re: Building GNAT-FSF on FreeBSDSimon Wright
 `- Re: Building GNAT-FSF on FreeBSDSimon Wright

1
Building GNAT-FSF on FreeBSD

<62081412$0$28590$426a74cc@news.free.fr>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=6635&group=comp.lang.ada#6635

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!cleanfeed1-a.proxad.net!nnrp1-2.free.fr!not-for-mail
From: will...@sterna.io (William)
Newsgroups: comp.lang.ada
Date: Sat, 12 Feb 2022 21:09:54 +0100
Message-ID: <62081412$0$28590$426a74cc@news.free.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Building GNAT-FSF on FreeBSD
User-Agent: Unison/2.2
Lines: 28
Organization: Guest of ProXad - France
NNTP-Posting-Date: 12 Feb 2022 21:09:54 CET
NNTP-Posting-Host: 86.239.24.253
X-Trace: 1644696594 news-3.free.fr 28590 86.239.24.253:58805
X-Complaints-To: abuse@proxad.net
 by: William - Sat, 12 Feb 2022 20:09 UTC

Hello all,

I did succed to build a modern gcc (with Ada-GNAT FSF) on my FreeBSD
13.0 serveur. :-)

Fernando Oleo Blanco was very inspiring to me (NetBSD porting), and I
use Simon j Wright portings to MacOS for my Hackingtosh.

So I decided to do it too !

For now I did a quick try with plain gcc «out of the box» : (story short)
1. Install gcc6-aux pkg from FreeBSD port (2014 -- Last Updated on
2022-01-26). (see also http://www.dragonlace.net)
2. get gcc 10.3 src from GNU.org and compile it with gcc6-aux (gnat
compiler seems OK)
3. get gcc 11.2 src from GNU.org and compile it with the just
installed gcc/gnat 10.3

In first place I thougth it would not be successful ...

Now it's time to build) and run the ACATS 4.1y
I took a look at Simon’s ACATS Testsuite on SourceForge, but I need to
understand those automated scripts.
I’d like to parallise a maximum of ACATS sub-projects in order to reduice time.

WIP !!
See you later, William

Re: Building GNAT-FSF on FreeBSD

<lypmnpu65c.fsf@pushface.org>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=6648&group=comp.lang.ada#6648

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!8nKyDL3nVTTIdBB8axZhRA.user.46.165.242.75.POSTED!not-for-mail
From: sim...@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: Building GNAT-FSF on FreeBSD
Date: Mon, 14 Feb 2022 09:52:31 +0000
Organization: Aioe.org NNTP Server
Message-ID: <lypmnpu65c.fsf@pushface.org>
References: <62081412$0$28590$426a74cc@news.free.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="54353"; posting-host="8nKyDL3nVTTIdBB8axZhRA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (darwin)
Cancel-Lock: sha1:bQENkJ0W6BoImAFSTvIlsw8c6jk=
X-Notice: Filtered by postfilter v. 0.9.2
 by: Simon Wright - Mon, 14 Feb 2022 09:52 UTC

William <william@sterna.io> writes:

> Now it's time to build) and run the ACATS 4.1y
> I took a look at Simon’s ACATS Testsuite on SourceForge, but I need to
> understand those automated scripts.
> I’d like to parallise a maximum of ACATS sub-projects in order to
> reduice time.

The section "Testing in GCC" in the README tells how to run the tests
within the GCC framework that allows parallel running. Note, you'll
probably have to hammer C-c to abort a parallel run, the script doesn't
respond well to that.

I would have liked to get parallelising working, but those scripts! eww!

Re: Building GNAT-FSF on FreeBSD

<lyilthu0xq.fsf@pushface.org>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=6651&group=comp.lang.ada#6651

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!8nKyDL3nVTTIdBB8axZhRA.user.46.165.242.75.POSTED!not-for-mail
From: sim...@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: Building GNAT-FSF on FreeBSD
Date: Mon, 14 Feb 2022 11:45:05 +0000
Organization: Aioe.org NNTP Server
Message-ID: <lyilthu0xq.fsf@pushface.org>
References: <62081412$0$28590$426a74cc@news.free.fr>
<lypmnpu65c.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="39657"; posting-host="8nKyDL3nVTTIdBB8axZhRA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (darwin)
Cancel-Lock: sha1:QLTYIhR9472wHL+clX31YssSCyU=
X-Notice: Filtered by postfilter v. 0.9.2
 by: Simon Wright - Mon, 14 Feb 2022 11:45 UTC

Simon Wright <simon@pushface.org> writes:

> William <william@sterna.io> writes:
>
>> Now it's time to build) and run the ACATS 4.1y
>> I took a look at Simon’s ACATS Testsuite on SourceForge, but I need to
>> understand those automated scripts.
>> I’d like to parallise a maximum of ACATS sub-projects in order to
>> reduice time.
>
> The section "Testing in GCC" in the README tells how to run the tests
> within the GCC framework that allows parallel running. Note, you'll
> probably have to hammer C-c to abort a parallel run, the script doesn't
> respond well to that.
>
> I would have liked to get parallelising working, but those scripts! eww!

See this thread: https://gcc.gnu.org/pipermail/gcc/2018-July/226729.html

I'm not sure, but I think that GCC/Ada folk regard the ACATS (2.6, I
think) in GCC as more of a confidence thing (DEC used to call it an IVP,
Installation Verification Procedure) than a full check.

So, would you like to have run_local.sh quit altogether on C-c, or just
quit the current test as it does now?

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor