From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: =?UTF-8?Q?Bj=c3=b6rn_Lundin?= <b.f.lundin@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: How to get Ada to ?cross the chasm??
Date: Tue, 10 Jul 2018 15:23:06 +0200
Organization: A noiseless patient Spider
Message-ID: <pi2c7i$c9t$1@dont-email.me>
References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com>
 <878t9nemrl.fsf@nightsong.com>
 <a87b8599-5df5-49a7-baef-6a4f43410f6a@googlegroups.com>
 <51e6f75e-6c39-49c5-949e-bf92a9dbf96a@googlegroups.com>
 <pb2op0$vh8$1@dont-email.me>
 <f1fb66fa-10e3-4115-a5f3-94366d3be332@googlegroups.com>
 <3c4cd2b3-6b1f-41b4-a889-269689239612@googlegroups.com>
 <87fu0rlmew.fsf@adaheads.home>
 <56f5fa2f-7790-4208-bd13-ddb08fc09a1a@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 10 Jul 2018 13:27:14 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="80aef8e47d62ad575841576e0deb7883";
	logging-data="12605"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/Zb2IxGiw9hycP2bKRQh3J"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.8.0
Cancel-Lock: sha1:GKC7R60G2lv04iRbH+Be1b0JAPc=
In-Reply-To: <56f5fa2f-7790-4208-bd13-ddb08fc09a1a@googlegroups.com>
Xref: reader02.eternal-september.org comp.lang.ada:53754
Date: 2018-07-10T15:23:06+02:00
List-Id: <comp.lang.ada>

On 2018-07-10 14:06, Dan'l Miller wrote:
> 
> A corollary is:  What can be done to FSF GNAT to make it that no one would even •want• to download AdaCore's GPL Community Editions at all, ever, in the first place?

A full run-time.
downloading Gnat GPL 2018 64-bit windows was a disappointment

from system.ads

> pragma Restrictions (No_Exception_Propagation);
> --  Only local exception handling is supported in this profile
>
> pragma Restrictions (No_Exception_Registration);
> --  Disable exception name registration. This capability is not used >
because
> --  it is only required by exception stream attributes which are not
> supported
> --  in this run time.
>
> pragma Restrictions (No_Implicit_Dynamic_Code);
> --  Pointers to nested subprograms are not allowed in this run time,
> in order
> --  to prevent the compiler from building "trampolines".
>
> pragma Restrictions (No_Finalization);
> --  Controlled types are not supported in this run time
>
> pragma Restrictions (No_Tasking);
> --  Tasking is not supported in this run time
>
> pragma Discard_Names;
> --  Disable explicitly the generation of names associated with
> entities in
> --  order to reduce the amount of storage used. These names are not
> used anyway
> --  (attributes such as 'Image and 'Value are not supported in this
> run time).


No tasking and only local exception is not enough for me.
I have not contemplated what the other restrictions really means for me


-- 
--
Björn