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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,69431b06fe9a3239
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!feeder.news-service.com!85.214.198.2.MISMATCH!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: How do I disable elaboration code on this
Date: Sun, 10 Apr 2011 06:39:06 +0100
Organization: A noiseless patient Spider
Message-ID: <m2d3kuu0lh.fsf@pushface.org>
References: 
 <58bc4fb4-5f6a-48d6-9c98-0dde7ac619df@p16g2000vbo.googlegroups.com>
	<inq539$3tn$1@tornado.tornevall.net> <m2sjtrtl39.fsf@pushface.org>
	<87ipunqpyv.fsf@ludovic-brenta.org> <m2oc4fteq1.fsf@pushface.org>
	<8739lrqkuu.fsf@ludovic-brenta.org> <m2hba7t70o.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: mx01.eternal-september.org;
 posting-host="dFCm8HWntFqmDIilBLqEJQ";
	logging-data="28959"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18pEQQIIr8qmj+GtUT5maq0NAk6AacjZO4="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (darwin)
Cancel-Lock: sha1:rRXz8olyUTCHkXOCTeRGSPnEES4=
	sha1:05UjXinYqxnsCFAHB7HBNF21w1c=
Xref: g2news2.google.com comp.lang.ada:19710
Date: 2011-04-10T06:39:06+01:00
List-Id: <comp.lang.ada>

Simon Wright <simon@pushface.org> writes:

>    pragma Linker_Section (Vector, "initial_isv,0");
>
> resulted in this
>
>         .globl _isr__vector
>         .section initial_isv
>         .align 5
> _isr__vector:
>         .quad   _isr__dummy
>         .quad   _isr__dummy
>         .quad   _isr__dummy
>         .quad   _isr__dummy
>         .const

What happened there was I said 'gnatmake -S isr.adb'. I should have said
'gnatmake -S -c -u -f isr.adb', which actually forces the recompile,
resulting in

        .section initial_isv,0

as you might have expected.

Probably not reasonable to ask anyone to spend effort teaching gnatmake
that the target with -S is the .s file, not the .o/.ali!