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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,95dad97c56f9de95 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-09-25 07:50:03 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!fr.clara.net!heighliner.fr.clara.net!teaser.fr!enst!enst.fr!not-for-mail From: Samuel Tardieu Newsgroups: comp.lang.ada Subject: Re: Curiousity: pragma No_Run_Time for Gnat Date: Tue, 25 Sep 2001 16:48:48 +0200 Organization: RFC 1149 (see http://www.rfc1149.net/) Sender: comp.lang.ada-admin@ada.eu.org Message-ID: References: Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 8bit X-Trace: avanie.enst.fr 1001429401 13240 137.194.161.2 (25 Sep 2001 14:50:01 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Tue, 25 Sep 2001 14:50:01 +0000 (UTC) To: comp.lang.ada@ada.eu.org Return-Path: Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.3.22.1i Precedence: special-delivery X-WWW: http://www.rfc1149.net/sam X-Mail-Processing: Sam's procmail tools X-ICQ: 21547599 X-Sam-Laptop: yes Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0.4 X-Reply-To: Samuel Tardieu List-Help: List-Post: List-Subscribe: , List-Id: comp.lang.ada mail<->news gateway List-Unsubscribe: , List-Archive: Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: archiver1.google.com comp.lang.ada:13338 Date: 2001-09-25T16:48:48+02:00 On 25/09, M. A. Alves wrote: | The Meanings of "Pure" II | | Sergey wrote: | > Well, GNAT has to generate the object files in *some* format, and | > unless you have a cross-compiling version, it'll be ELF on Linux and | > PE (COFF) on Win32. | | You mean there is no plain x86 code? A simple sequence of machine code | instructions? "Pure" code? Plain old x86 code implies that you have no symbol stored in the object file. One of the consequence is that you cannot link different object files together and have references resolved. GNAT generates assembly code, which is then assembled and linked. If you want to use GNAT in bare-board mode and get a file that you can for example put into a eprom, you can convert any decent format (ELF, coff, ...) to srec or plain binary.