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.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,1ea992d578e9f621 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!wn13feed!worldnet.att.net!bgtnsc04-news.ops.worldnet.att.net.POSTED!53ab2750!not-for-mail Newsgroups: comp.lang.ada From: anon@anon.org (anon) Subject: Re: Restricted or no run time in Ada Reply-To: anon@anon.org (anon) References: X-Newsreader: IBM NewsReader/2 2.0 Message-ID: Date: Thu, 03 Jan 2008 09:58:07 GMT NNTP-Posting-Host: 12.64.72.42 X-Complaints-To: abuse@worldnet.att.net X-Trace: bgtnsc04-news.ops.worldnet.att.net 1199354287 12.64.72.42 (Thu, 03 Jan 2008 09:58:07 GMT) NNTP-Posting-Date: Thu, 03 Jan 2008 09:58:07 GMT Organization: AT&T Worldnet Xref: g2news1.google.com comp.lang.ada:19171 Date: 2008-01-03T09:58:07+00:00 List-Id: The "--RTS=zfp" just replaces the standard library path with "zfp" path. The runtine directory and runtime code must exist inorder to work. Those files are included in the PRO only. Plus, I do not think this guy (a hobbist) wants to use the free GNAT which MaRTE did. Instead of spending $14K per year for an Ada compiler, when he could get one for a one time fee around $500 with complete documentation included. In , roderick.chapman@googlemail.com writes: >I have GNAT Pro 6.0.2 here. To get at the Zero Footprint >Profile, the documenation says: > >1) Compile, bind and link with --RTS=zfp > >2) You also need -nostdlib for the linker. > >You should also really try to get a copy of the >"GNAT Pro User's Guide Supplement for >High-Integrity Edition Platforms" from AdaCore. > >This is available to GNAT Pro customers, but I don't >think it's included in the GNAT GPL release. > >Perhaps a polite request to AdaCore might yield results. > - Rod Chapman, Praxis >