From: "Markus Schöpflin" <no.spam@spam.spam>
Subject: Re: Leap second support and ARM 9.6.1p89/2
Date: Thu, 07 Aug 2014 10:59:15 +0200
Date: 2014-08-07T10:59:15+02:00 [thread overview]
Message-ID: <lrvf51$r78$1@speranza.aioe.org> (raw)
In-Reply-To: slrnlu6b2r.nrc.lithiumcat@nat.rebma.instinctive.eu
Am 07.08.2014 09:35, schrieb Natasha Kerensikova:
> Ok, so would I. So I guess the next step is checking who is the
> implementer, i.e. whether's it's AdaCore's problem or FSF's.
>
> Would someone here with a working installation of GNAT GPL 2014 be kind
> enough to test the function in the OP, and tell me whether it's
> affected?
Can't say about GNAT GPL 2014, but I tested it with GNAT Pro 7.1.2 and a
pre-release version of 7.3.0.
> gnatmake -gnata -gnat05 -f test.adb
gcc -c -gnata -gnat05 test.adb
gnatbind -x test.ali
gnatlink test.ali
gnatlink: warning: executable name "test" may conflict with shell command
> ./test
raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : test.adb:50
> sed -n '50p' test.adb
pragma ASSERT (LEAP_SECOND);
HTH, Markus
PS: Next time, please make sure that you post a full example which compiles,
binds, and links correctly. Your code not only needs a main procedure, it also
needs to with & use ADA.CALENDAR.FORMATTING instead of ADA.CALENDAR.TIME.
prev parent reply other threads:[~2014-08-07 8:59 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-08-05 19:47 Leap second support and ARM 9.6.1p89/2 Natasha Kerensikova
2014-08-07 4:57 ` Randy Brukardt
2014-08-07 7:35 ` Natasha Kerensikova
2014-08-07 8:59 ` Markus Schöpflin [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox