public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
@ 2003-07-06 2:25 ` dhazeghi at yahoo dot com
2003-10-21 15:42 ` charlet at gcc dot gnu dot org
` (13 subsequent siblings)
14 siblings, 0 replies; 18+ messages in thread
From: dhazeghi at yahoo dot com @ 2003-07-06 2:25 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
dhazeghi at yahoo dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC|dhazeghi at yahoo dot com |
GCC target triplet| |mips-sgi-irix6.5
Keywords| |wrong-code
Priority|P3 |P2
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
2003-07-06 2:25 ` [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb dhazeghi at yahoo dot com
@ 2003-10-21 15:42 ` charlet at gcc dot gnu dot org
2003-10-21 18:37 ` zack at gcc dot gnu dot org
` (12 subsequent siblings)
14 siblings, 0 replies; 18+ messages in thread
From: charlet at gcc dot gnu dot org @ 2003-10-21 15:42 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
charlet at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |WONTFIX
------- Additional Comments From charlet at gcc dot gnu dot org 2003-10-21 15:41 -------
Closing this PR, since bug is on the bootstrap compiler.
Arno
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
2003-07-06 2:25 ` [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb dhazeghi at yahoo dot com
2003-10-21 15:42 ` charlet at gcc dot gnu dot org
@ 2003-10-21 18:37 ` zack at gcc dot gnu dot org
2003-10-21 18:38 ` zack at gcc dot gnu dot org
` (11 subsequent siblings)
14 siblings, 0 replies; 18+ messages in thread
From: zack at gcc dot gnu dot org @ 2003-10-21 18:37 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
zack at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|WONTFIX |
------- Additional Comments From zack at gcc dot gnu dot org 2003-10-21 18:36 -------
No. You need at least to provide a feasible workaround.
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
` (2 preceding siblings ...)
2003-10-21 18:37 ` zack at gcc dot gnu dot org
@ 2003-10-21 18:38 ` zack at gcc dot gnu dot org
2003-10-21 18:51 ` zack at gcc dot gnu dot org
` (10 subsequent siblings)
14 siblings, 0 replies; 18+ messages in thread
From: zack at gcc dot gnu dot org @ 2003-10-21 18:38 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
zack at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |charlet at gcc dot gnu dot
|dot org |org
Status|REOPENED |ASSIGNED
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
` (3 preceding siblings ...)
2003-10-21 18:38 ` zack at gcc dot gnu dot org
@ 2003-10-21 18:51 ` zack at gcc dot gnu dot org
2003-10-21 19:10 ` ro at techfak dot uni-bielefeld dot de
` (9 subsequent siblings)
14 siblings, 0 replies; 18+ messages in thread
From: zack at gcc dot gnu dot org @ 2003-10-21 18:51 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
------- Additional Comments From zack at gcc dot gnu dot org 2003-10-21 18:44 -------
I didn't explain that very well. Let me try again.
You can close this bug if you do any of the following (in decreasing order of
preference). Otherwise, the original submitter is left with no way forward.
1) Confirm that the bug is resolved in GNAT 3.15p for mips-sgi-irix6.2, make
mips-sgi-irix6.2 binaries of that version of GNAT publicly available, and
document both the version requirement and the location of the binaries.
2) Same, but for GCC 3.1 or 3.2 -based GNAT instead of GNAT 3.15p.
3) Remove -g from ALL_ADA_CFLAGS in stage1. (Discouraged, as this will make
debugging harder.)
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
` (4 preceding siblings ...)
2003-10-21 18:51 ` zack at gcc dot gnu dot org
@ 2003-10-21 19:10 ` ro at techfak dot uni-bielefeld dot de
2003-11-12 9:44 ` charlet at gcc dot gnu dot org
` (8 subsequent siblings)
14 siblings, 0 replies; 18+ messages in thread
From: ro at techfak dot uni-bielefeld dot de @ 2003-10-21 19:10 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
------- Additional Comments From ro at techfak dot uni-bielefeld dot de 2003-10-21 18:51 -------
Subject: Re: Irix6.5 ada bootstrap fail in ada/targparm.adb
> You can close this bug if you do any of the following (in decreasing order of
> preference). Otherwise, the original submitter is left with no way forward.
>
> 1) Confirm that the bug is resolved in GNAT 3.15p for mips-sgi-irix6.2, make
> mips-sgi-irix6.2 binaries of that version of GNAT publicly available, and
> document both the version requirement and the location of the binaries.
I'm in the process of bootstrapping current mainline with GNAT 3.15p: the
bug is still present in that release. This compiler seems to miscompile
the stage1 gcc, since I get ICEs when building libgcc at the end of stage1
with -O2. Removing -O2 works around this for the moment. I'll report
details when i submit the patch necessary to get ada to compile.
> 2) Same, but for GCC 3.1 or 3.2 -based GNAT instead of GNAT 3.15p.
Impossible since (at least up to the current Ada merge) GCC 3.x-based GNAT
doesn't work (i.e. complete make gnatlib_and_tools) on IRIX 6.
> 3) Remove -g from ALL_ADA_CFLAGS in stage1. (Discouraged, as this will make
> debugging harder.)
I think there's another option that avoids all this: provide GCC 3.4-based
GNAT binaries for mips-sgi-irix6.[25]. I'll see how far I get with my
bootstrap attempt and may be able to provide them if this works out.
Rainer
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
` (5 preceding siblings ...)
2003-10-21 19:10 ` ro at techfak dot uni-bielefeld dot de
@ 2003-11-12 9:44 ` charlet at gcc dot gnu dot org
2003-11-20 21:24 ` ro at techfak dot uni-bielefeld dot de
` (7 subsequent siblings)
14 siblings, 0 replies; 18+ messages in thread
From: charlet at gcc dot gnu dot org @ 2003-11-12 9:44 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From charlet at gcc dot gnu dot org 2003-11-12 09:44 -------
Reassigning to Rainer, as per his previous message/offer.
Arno
--
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|charlet at gcc dot gnu dot |ro at techfak dot uni-
|org |bielefeld dot de
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
` (6 preceding siblings ...)
2003-11-12 9:44 ` charlet at gcc dot gnu dot org
@ 2003-11-20 21:24 ` ro at techfak dot uni-bielefeld dot de
2003-11-21 0:51 ` david dot billinghurst at comalco dot riotinto dot com dot au
` (6 subsequent siblings)
14 siblings, 0 replies; 18+ messages in thread
From: ro at techfak dot uni-bielefeld dot de @ 2003-11-20 21:24 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From ro at techfak dot uni-bielefeld dot de 2003-11-20 21:24 -------
Subject: Re: Irix6.5 ada bootstrap fail in ada/targparm.adb
An initial set of GNAT binaries is available from
ftp://ftp.Uni-Bielefeld.DE/pub/gnu/gnat/binaries/
Before I publish this more widely (and pursue their move to gcc.gnu.org or
libre.act-europe.fr), I'd like to get some reports from testers to make
sure there are no dependencies on my local environment.
Rainer
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
` (7 preceding siblings ...)
2003-11-20 21:24 ` ro at techfak dot uni-bielefeld dot de
@ 2003-11-21 0:51 ` david dot billinghurst at comalco dot riotinto dot com dot au
2003-11-21 12:32 ` ro at techfak dot uni-bielefeld dot de
` (5 subsequent siblings)
14 siblings, 0 replies; 18+ messages in thread
From: david dot billinghurst at comalco dot riotinto dot com dot au @ 2003-11-21 0:51 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From david dot billinghurst at comalco dot riotinto dot com dot au 2003-11-21 00:51 -------
Subject: RE: Irix6.5 ada bootstrap fail in ada/targparm.adb
> An initial set of GNAT binaries is available from
>
> ftp://ftp.Uni-Bielefeld.DE/pub/gnu/gnat/binaries/
I successfully built mainline ada and C using CVS of "Thu Nov 20 23:02:45 GMT"
on mips-sgi-irix6.5 using the binaries but the testsuite won't run.
gnatchop dumps core.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
` (8 preceding siblings ...)
2003-11-21 0:51 ` david dot billinghurst at comalco dot riotinto dot com dot au
@ 2003-11-21 12:32 ` ro at techfak dot uni-bielefeld dot de
2003-11-21 13:09 ` charlet at act-europe dot fr
` (4 subsequent siblings)
14 siblings, 0 replies; 18+ messages in thread
From: ro at techfak dot uni-bielefeld dot de @ 2003-11-21 12:32 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From ro at techfak dot uni-bielefeld dot de 2003-11-21 12:32 -------
Subject: Re: Irix6.5 ada bootstrap fail in ada/targparm.adb
Thanks for the testing. Recent Ada changes seem to be causing problems on
several platforms: all testcases hang on i386-pc-solaris2.10, for example.
So this may be unrelated to the bootstrap binaries, but I will try a fresh
bootstrap on mips-sgi-irix6.5 to make sure.
Rainer
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
` (9 preceding siblings ...)
2003-11-21 12:32 ` ro at techfak dot uni-bielefeld dot de
@ 2003-11-21 13:09 ` charlet at act-europe dot fr
2003-11-26 1:54 ` billingd at gcc dot gnu dot org
` (3 subsequent siblings)
14 siblings, 0 replies; 18+ messages in thread
From: charlet at act-europe dot fr @ 2003-11-21 13:09 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From charlet at act-europe dot fr 2003-11-21 13:09 -------
Subject: Re: Irix6.5 ada bootstrap fail in ada/targparm.adb
> Thanks for the testing. Recent Ada changes seem to be causing problems on
> several platforms: all testcases hang on i386-pc-solaris2.10, for example.
Actually it seems to be recent non Ada changes that are causing problems,
see e.g. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13142 for a possible
related issue.
Recent Ada changes have been tested on many platforms and are pretty safe.
Arno
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
` (10 preceding siblings ...)
2003-11-21 13:09 ` charlet at act-europe dot fr
@ 2003-11-26 1:54 ` billingd at gcc dot gnu dot org
2003-11-26 17:47 ` ro at techfak dot uni-bielefeld dot de
` (2 subsequent siblings)
14 siblings, 0 replies; 18+ messages in thread
From: billingd at gcc dot gnu dot org @ 2003-11-26 1:54 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From billingd at gcc dot gnu dot org 2003-11-26 01:54 -------
Success with mainline cvs of "Tue Nov 25 08:06:18 GMT 2003"
using Rainer's binary to bootstrap.
=== acats tests ===
FAIL: c34005a
FAIL: c34005d
FAIL: c34005g
FAIL: c34005j
FAIL: ce3806d
FAIL: ce3806e
FAIL: ce3810a
FAIL: cxaa008
FAIL: cxaa009
FAIL: cxb3010
FAIL: cxb3014
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
` (11 preceding siblings ...)
2003-11-26 1:54 ` billingd at gcc dot gnu dot org
@ 2003-11-26 17:47 ` ro at techfak dot uni-bielefeld dot de
2004-01-23 10:23 ` [Bug bootstrap/6669] " charlet at gcc dot gnu dot org
2004-07-23 3:37 ` pinskia at gcc dot gnu dot org
14 siblings, 0 replies; 18+ messages in thread
From: ro at techfak dot uni-bielefeld dot de @ 2003-11-26 17:47 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From ro at techfak dot uni-bielefeld dot de 2003-11-26 17:47 -------
Subject: Re: Irix6.5 ada bootstrap fail in ada/targparm.adb
Thanks for the feedback. Now I only need to find some additional testers
for other platforms and find a permanent home for the binaries.
Probably SC material, as I pointed out before.
Rainer
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug bootstrap/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
` (12 preceding siblings ...)
2003-11-26 17:47 ` ro at techfak dot uni-bielefeld dot de
@ 2004-01-23 10:23 ` charlet at gcc dot gnu dot org
2004-07-23 3:37 ` pinskia at gcc dot gnu dot org
14 siblings, 0 replies; 18+ messages in thread
From: charlet at gcc dot gnu dot org @ 2004-01-23 10:23 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From charlet at gcc dot gnu dot org 2004-01-23 10:23 -------
No longer an Ada issue.
Arno
--
What |Removed |Added
----------------------------------------------------------------------------
Component|ada |bootstrap
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug bootstrap/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
` (13 preceding siblings ...)
2004-01-23 10:23 ` [Bug bootstrap/6669] " charlet at gcc dot gnu dot org
@ 2004-07-23 3:37 ` pinskia at gcc dot gnu dot org
14 siblings, 0 replies; 18+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-07-23 3:37 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-07-23 03:37 -------
Any word on posting the binaries?
--
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2004-04-23 20:07:38 |2004-07-23 03:37:37
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug bootstrap/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <bug-6669-285@http.gcc.gnu.org/bugzilla/>
2008-02-03 14:53 ` steven at gcc dot gnu dot org
2008-02-12 2:49 ` david dot billinghurst at riotinto dot com
@ 2008-02-12 7:10 ` steven at gcc dot gnu dot org
2 siblings, 0 replies; 18+ messages in thread
From: steven at gcc dot gnu dot org @ 2008-02-12 7:10 UTC (permalink / raw)
To: gcc-bugs
------- Comment #22 from steven at gcc dot gnu dot org 2008-02-12 07:10 -------
Zap.
--
steven at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |RESOLVED
Resolution| |WONTFIX
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug bootstrap/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <bug-6669-285@http.gcc.gnu.org/bugzilla/>
2008-02-03 14:53 ` steven at gcc dot gnu dot org
@ 2008-02-12 2:49 ` david dot billinghurst at riotinto dot com
2008-02-12 7:10 ` steven at gcc dot gnu dot org
2 siblings, 0 replies; 18+ messages in thread
From: david dot billinghurst at riotinto dot com @ 2008-02-12 2:49 UTC (permalink / raw)
To: gcc-bugs
------- Comment #21 from david dot billinghurst at riotinto dot com 2008-02-12 02:48 -------
Subject: RE: Irix6.5 ada bootstrap fail in ada/targparm.adb
I no longer have a mips-sgi-irix server or have any interest in this
bug. I am happy for it to be closed.
NOTICE
This e-mail and any attachments are private and confidential and may contain
privileged information. If you are not an authorised recipient, the copying or
distribution of this e-mail and any attachments is prohibited and you must not
read, print or act in reliance on this e-mail or attachments.
This notice should not be removed.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug bootstrap/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb
[not found] <bug-6669-285@http.gcc.gnu.org/bugzilla/>
@ 2008-02-03 14:53 ` steven at gcc dot gnu dot org
2008-02-12 2:49 ` david dot billinghurst at riotinto dot com
2008-02-12 7:10 ` steven at gcc dot gnu dot org
2 siblings, 0 replies; 18+ messages in thread
From: steven at gcc dot gnu dot org @ 2008-02-03 14:53 UTC (permalink / raw)
To: gcc-bugs
------- Comment #20 from steven at gcc dot gnu dot org 2008-02-03 14:52 -------
This is a really old bug. What is the remaining issue that is being tracked
here? Or can this bug report be closed now?
--
steven at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |WAITING
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6669
^ permalink raw reply [flat|nested] 18+ messages in thread
end of thread, other threads:[~2008-02-12 7:10 UTC | newest]
Thread overview: 18+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <20020515190602.6669.david.billinghurst@riotinto.com>
2003-07-06 2:25 ` [Bug ada/6669] Irix6.5 ada bootstrap fail in ada/targparm.adb dhazeghi at yahoo dot com
2003-10-21 15:42 ` charlet at gcc dot gnu dot org
2003-10-21 18:37 ` zack at gcc dot gnu dot org
2003-10-21 18:38 ` zack at gcc dot gnu dot org
2003-10-21 18:51 ` zack at gcc dot gnu dot org
2003-10-21 19:10 ` ro at techfak dot uni-bielefeld dot de
2003-11-12 9:44 ` charlet at gcc dot gnu dot org
2003-11-20 21:24 ` ro at techfak dot uni-bielefeld dot de
2003-11-21 0:51 ` david dot billinghurst at comalco dot riotinto dot com dot au
2003-11-21 12:32 ` ro at techfak dot uni-bielefeld dot de
2003-11-21 13:09 ` charlet at act-europe dot fr
2003-11-26 1:54 ` billingd at gcc dot gnu dot org
2003-11-26 17:47 ` ro at techfak dot uni-bielefeld dot de
2004-01-23 10:23 ` [Bug bootstrap/6669] " charlet at gcc dot gnu dot org
2004-07-23 3:37 ` pinskia at gcc dot gnu dot org
[not found] <bug-6669-285@http.gcc.gnu.org/bugzilla/>
2008-02-03 14:53 ` steven at gcc dot gnu dot org
2008-02-12 2:49 ` david dot billinghurst at riotinto dot com
2008-02-12 7:10 ` steven at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).