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=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newsfeed.hal-mli.net!feeder3.hal-mli.net!aioe.org!.POSTED!not-for-mail
From: Luke A. Guest <laguest@archeia.com>
Newsgroups: comp.lang.ada
Subject: Re: Where to get Zero Footprint Profile?
Date: Sun, 25 May 2014 14:25:32 +0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <199524360422720595.802029laguest-archeia.com@nntp.aioe.org>
References: <a98fee7c-1416-4145-a389-3b798f95538f@googlegroups.com>
 <cc8065d6-b2dc-42ad-8e29-4a5ea2311d03@googlegroups.com>
 <aff058ad-963f-493f-8e08-c1eaf06707f9@googlegroups.com>
NNTP-Posting-Host: TUfJKvlgRQLoLCeZYBBbQw.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: NewsTap/4.0.1 (iPhone/iPod Touch)
X-Notice: Filtered by postfilter v. 0.8.2
X-Original-Bytes: 1611
Xref: number.nntp.dca.giganews.com comp.lang.ada:186610
Date: 2014-05-25T14:25:32+00:00
List-Id: <comp.lang.ada>

<droiddermo@gmail.com> wrote:
>> Have you read the information at the Ada Bare Bones site?
> Yes, I have. This is exactly what is done in Tamp project (I've put the
> link in the first post). The article suggest to reimplement ZFP yourself
> by copying and editing some files from original runtime library. I'd like
> to have a look at the full ZFP. It seems that Adacore provide it only for their customers.

They are both my projects.

You create the zfp by copying the relevant source files from the version of
gnat source you have, they are all intrinsics so don't need any rt.
Interfaces.c needs to have the subprigrams removing as they return I
constrained types, unless you enable a simple secondary stack.

Like