From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,T_SCC_BODY_TEXT_LINE
	autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Working around -freestanding limitations?
Date: Sat, 01 Apr 2023 14:35:23 +0100
Organization: A noiseless patient Spider
Message-ID: <lycz4nhgis.fsf@pushface.org>
References: <9f2d643e-b610-4931-bd70-342b52c11566n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: dont-email.me; posting-host="3e3a64104cc2d7860caec7249d2786af";
	logging-data="2037885"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18/WBo/hHAtxFsseANxaPGcHBvfcsv5OjQ="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (darwin)
Cancel-Lock: sha1:/ECz5MCBU6fznpoIk4vbFHvlrVI=
	sha1:ku7gUW4nH+b6pgr/Kg+cDjx2DAc=
Xref: feeder.eternal-september.org comp.lang.ada:65046
List-Id: <comp.lang.ada>

Hou Van Boere <houvanboere@gmail.com> writes:

> 2)I want to run with gcc/gnatmake ... -freestanding

-freestanding isn't an option for gnatmake; where does it come from?

> 3)I only need the Ada 83 subset, which I guess is pretty close to Ravenscaler

The Ada 83 subset is going to be larger than Ravenscar.

If you don't want an RTOS you could use one of the light runtimes,
e.g. light-cortex-m0.