Ludovic Brenta a écrit :
I have requested removal of gnat-4.8 from the archive. Can you please
tell me whether this bug is still present in gnat-4.9?
Here is my experience with a kFreeBSD-amd64 :
xavier@poste-travail-xavier:~/gnat-lab/test-bug-666106$ ./main
raised CONSTRAINT_ERROR : Some
On Sun, 02 Jun 2013 12:06:09 +0200, Ludovic Brenta wrote:
Hello,
I have decided to include the upstream sources in future uploads of
gnat-4.8, staring with 4.8.1-1 in a couple of weeks (if all goes
well).
Merging gnat-4.8 into the gcc-4.8 source package is also an option
but I
prefer to keep t
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
With gnat pro I have this output :
gcc -c -gnat12 algo_2sat.adb
algo_2sat.adb:10:32: subtype mark required in this context
algo_2sat.adb:11:25: subtype mark required in this context
My gnatpro version :
gcc -v
gcc version 4.7.2 20120902 for GNAT Pro
I had a try with gnat gpl 2012 in the same environment : it leads to
the same error.
I'll try with gnat pro and I'll try to get some help from comp.lang.ada
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.
On Sat, 08 Dec 2012 12:41:59 +0100, Matthias Klose wrote:
Am 07.12.2012 13:59, schrieb xavier:
Package: gnat-4.6
Version: 4.6.3-8
Severity: normal
Dear Maintainer,
Compiling org.os-lovelace.micro-kernel branch (monotone repository
hosted @ www.ada-france.org),
revision 0295b8f9752c0ddb2975b5
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Le 13/10/2010 11:46, Ludovic Brenta a écrit :
>
> For the record, this late in the release cycle I am personally tempted to
>
> resolve this bug by dropping support for armel in all Ada packages. The
>
> buildds have caused us a lot of trouble in t
g in order to inform other people working on it of what is
going on.
> On Sun, Feb 14, 2010 at 5:58 AM, Xavier Grave gr...@ipno.in2p3.fr wrote:
>> So I would like to known if somebody can give me access to some real mips
>> hardware with an up to date Debian unstable so I can continue try
Hi,
I would like to try a fix for #566234 but the build (already two try) for
gnat-4.4 (using [1] qemu environment) is failing (after many hours of build)
with :
checking whether ln -s works... yes
checking for mips-linux-gnu-gcc...
/root/debian/org.debian.gnat-4.4/build/./gcc/xgcc
-B/root/debian/
original message-
De: "Ludovic Brenta" ludo...@ludovic-brenta.org
A: xavier.gr...@ipno.in2p3.fr
Copie à: 568...@bugs.debian.org
Date: Mon, 08 Feb 2010 17:02:09 +0100
-
>
> xavier grave wrote:
&
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Ludovic Brenta a écrit :
> Did you compile using dpkg-buildpackage? I think your image lacks some
> build dependencies, like gcc.
>
Yes I'm using dpkg-buildpackage. But before I have done an apt-get
build-dep gnat-4.4
also I have :
prompt> apt-get i
checking for mips-linux-gnu-ranlib... ranlib
checking for mips-linux-gnu-strip... strip
checking whether ln -s works... yes
checking for mips-linux-gnu-gcc...
/root/debian/org.debian.gnat-4.4/build/./gcc/xgcc
-B/root/debian/org.debian.gnat-4.4/build/./gcc/ -B/usr/mips-linux-gnu/bin/
-B/usr/mips-lin
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Ludovic Brenta a écrit :
> This bug also affects polyorb/2.6.0~20090423-5:
>
> -L/build/buildd-polyorb_2.6.0~20090423-5-mips-r7mNLt/polyorb-2.6.0~20090423/STATIC/lib
> -lpolyorb -o
> /build/buildd-polyorb_2.6.0~20090423-5-mips-r7mNLt/polyorb-2.6.0~20
Forgot to mention that test_static failed the same way on powerpc and hppa.
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Ludovic Brenta a écrit :
> Actually, since the patch applies to some C sources, not Ada, I do not
> think BinNMUs are required anymore. The BinNMUs are only required if
> changing Ada source because of Ada's rules about consistency at the source
> lev
original message-
De: "Thorsten Glaser" t...@mirbsd.de
A: "Xavier Grave" gr...@ipno.in2p3.fr
Copie à: 564...@bugs.debian.org, debian-...@lists.debian.org
Date: Thu, 14 Jan 2010 22:57:24 + (UTC)
--
>
>> There is a big difference between (kernels of) Linux and FreeBSD in this:
>>
>> Linux:
>> struct sockaddr {
>> short sa_family;
>> char sa_data[14];
>> }
>> FreeBSD:
>> struct sockaddr {
>> unsigned char sa_len;
>> unsigned char sa_family;
>> char sa_data[14];
>> }
>>
>> Ada bindings ha
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Petr Salinger a écrit :
>> I'm new to Debian GNU/kFreeBSD and I came to it in order to solve a
>> FTBFS bug (561121) in package polyorb. Bug 561121 is a consequence of
>> bug 564232 (in gnat-4.4). I have found a fix for 564232 (tested up to
>> packagin
If I replace :
--Sin.Sin_Family := (Has_Sockaddr_Len => True,
-- Length => Sin'Size / 8,
-- Char_Family => System.OS_Constants.AF_INET);
by
Thin_Common.Set_Family (Sin.Sin_Family, Family_Inet);
The new (bind_socket.adb + patch) code fail again.
A look to Set_Family show that since Has_Sockaddr_
original message-
De: "Jan-Benedict Glaw" jbg...@lug-owl.de
A: "Xavier Grave" gr...@ipno.in2p3.fr, 564...@bugs.debian.org
Date: Sat, 9 Jan 2010 15:36:09 +0100
-
> Did you test errno? Plea
original message-
De: "Jan-Benedict Glaw" jbg...@lug-owl.de
A: "Xavier Grave" gr...@ipno.in2p3.fr, 564...@bugs.debian.org
Date: Sat, 9 Jan 2010 11:24:15 +0100
-
>>
>> sin.si
original message-
De: "Jan-Benedict Glaw" jbg...@lug-owl.de
A: "Xavier Grave" gr...@ipno.in2p3.fr, 564...@bugs.debian.org
Date: Sat, 9 Jan 2010 11:24:15 +0100
-
> On Sat, 2010-01-09 02:50
The following C code give different results on kfreebsd amd64 on one side
and sparc/powerpc/ on the other side
for kfreebsd amd64 :
xav...@debian:~$ ./bind_socket_c
sin len 16
res -1
and
for sparc :
./xav...@canis-latrans:~$ ./bind_socket_c
sin len 16
res 0
for powerpc :
xav...@power5:~$ ./bind_s
severity 564232 normal
thanks
The server.adb program was tested on amd64, sparc and powerpc without
problem.
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Package: gnat-4.4
Version: 4.4.2-5
Severity: important
Socket Binding in Ada seems broken.
It has an severe consequence on test phase in
the build of the package polyorb.
*** server.adb
with Ada.Streams;
with GNAT.Sockets;
with Ada.Text_IO;
procedure Server is
use GNAT.Sockets;
use Ada.S
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
For polyorb users who uses the -P option in po_gnatdist with a project
that includes {xmlada|aws|...}.gpr from a Debian package there is a
bypass solution : copy the .gpr file from the package in the same place
where your project file is and modify :
f
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Here is a new test case independent of the Debian environment.
The bug arise also with gnat gpl 2009.
If dummy_used.gpr is replaced by dummy.gpr the output is different but
the ali file list is found. The main difference between the two gpr
files is
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
The test case is using xmlada.gpr from libxmlada3.2-dev
A modification of this file fix the problem :
diff -u xmlada.gpr xmlada2.gpr
- --- xmlada.gpr2009-12-03 13:49:16.0 +0100
+++ xmlada2.gpr 2009-12-07 16:52:22.0 +0100
@@ -21,
same messages as 4.3.2-2 :
gcc-4.4 -c test_124.ads
test_124.ads:12:36: size for "T1_arr_constrained" too small, minimum
allowed is 256
test_124.ads:22:36: size for "T2_arr_constrained" too small, minimum
allowed is 248
Does the pack part can apply to the new type ? What does th RM say about
this ?
found 276224 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 269948 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 269951 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 251265 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 253737 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 248682 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 248678 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 248681 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 248680 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 248168 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 248167 4.4.1-1
thanks
gnatmake test_83.ads
gcc-4.4 -c test_83.ads
test_83.ads:5:51: expect type derived from "T1" in instantiation
test_83.ads:5:51: instantiation abandoned
gnatmake: "test_83.ads" compilation error
(sid)r...@linux-xavier:~/tests# gnat -v
GNAT 4.4.1
--
To UNSUBSCRIBE, e
found 248170 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 248166 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 247571 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 247018 4.4.1-1
thanks
Sorry for the bad copy and paste :(
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 247564 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 247020 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 247569 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 247570 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 247019 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
compiling test_60 with gnat-4.4 I get this :
gnatmake test_60.ads
gcc-4.4 -c test_60.ads
test_60.ads:6:24: expect name of generic package in instantiation
gnatmake: "test_60.ads" compilation error
here is the code I have used :
package pak1 is
generic
package pak2 is
end pak2;
end pak1;
found 247013 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 247017 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 246187 4.4.1-1
thanks
gnatmake test_43.ads
gcc-4.4 -c test_43.ads
+===GNAT BUG DETECTED==+
| 4.4.1 (i486-pc-linux-gnu) Storage_Error stack overflow (or erroneous
memory access)|
| Error detected at system.ads:153:5
found 246185 4.4.1-1
thanks
Results of the compilation :
gnatmake test_41.adb
gcc-4.4 -c test_41.adb
+===GNAT BUG DETECTED==+
| 4.4.1 (i486-pc-linux-gnu) GCC error: |
| in get_expr_operands, at tree-ssa-operand
found 246186 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 246183 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 244970 in 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 244943 in 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
found 244936 4.4.1-1
thanks
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
procedure Close comes now in two versions in gnat.os_lib (see
system.os_lib) :
procedure Close (FD : File_Descriptor; Status : out Boolean);
- -- Close file referenced by FD. Status is False if the underlying service
- -- failed. Reasons for failure
gnatmake gnat_bug.adb
gcc-4.4 -c gnat_bug.adb
+===GNAT BUG DETECTED==+
| 4.4.1 (i486-pc-linux-gnu) Assert_Failure atree.adb:884 |
| Error detected at gnat_bug.adb:13:10 |
| Please submit a bug
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
essai.ads compilation tested with GNAT GPL 2008 under amd64 architecture.
results :
/usr/lib/gcc/x86_64-linux-gnu/4.3.3/gnat1 -quiet -dumpbase essai.ads
- -mtune=generic essai.ads -o tutu.s
Erreur de segmentation
-BEGIN PGP SIGNATURE-
Version
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Bug confirmed for :
Package: gnat-4.3
Architecture: powerpc
Version: 4.3.3-2
Kernel : 2.6.25-2-powerpc64
Nicolas Boulenguez a écrit :
> Package: gnat
> Version: 4.3.2-3
> Severity: minor
>
>
> The following program crashes gnatmake. I could not ma
t;>
>> > BTW is there any reason to keep the MIPS support as a Debian patch
>> > instead of forwarding it upstream? This problem would probably have
>> > been avoided.
>>
>> Yes, there is a reason but it's a very bad one: lack of time to engage
>>
Hi,
I have commited some code in the monotone repository of Ludovic Brenta in
order to handle the mips and mipsel architecture with gnat. Since I
haven't any mips hardware at hand can somebody try it in order to test it.
The new code is added to the ada-sjlj.dpatch file.
I hope it should do the t
Hi,
I have tried the test_param code on powerpc and i386 arch and gcc-4.2 : no
error.
gcc-4.1 on powerpc : error reproduced
xavier
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Le jeudi 23 août 2007 à 09:55 +0200, Aurélien GÉRÔME a écrit :
> Hi,
>
> On Thu, Aug 23, 2007 at 09:41:22AM +0200, xavier grave wrote:
> >The linux 2.6.21 build without problem on my unstable distribution.
> >The build produced a lot of .deb file with version 2.6.21-2
Le mercredi 22 août 2007 à 11:16 +0200, Sven Luther a écrit :
-- snip --
> > > Could you do :
> > >
> > > apt-get build-dep linux-2.6
> > > apt-get source linux-2.6
> > > cd linux-2.6-2.6.22
> > > dpkg-buildpackage -rfakeroot -us -uc -B
> >
> > It worked here without PB. Here are some in
Le mardi 21 août 2007 à 13:28 +0200, Sven Luther a écrit :
> On Tue, Aug 21, 2007 at 01:25:32PM +0200, xavier grave wrote:
> > Le mardi 21 août 2007 à 11:34 +0200, Sven Luther a écrit :
> > > Hi, ...
> > >
> > > I ask for volunteers to help investigate the
>
> We have tested it on a powerbook and a mpc8349e-mitx board, but it seems
> they don't believe in me or something, so what is really needed is an
> independent test and confirmation.
>
> Could you do :
>
> apt-get build-dep linux-2.6
> apt-get source linux-2.6
> cd linux-2.6-2.6.22
>
Hi everybody,
Since two days I have found how to compile gnat-4.1 under ppc
architecture, but I struggle with the debian package building procedure.
I don't find which files to modify in order to compile a few files
without optimisation option. In fact a-except.adb compilation crash the
stage1/xgc
Hi,
I will try to compile gnat-4.1 under a powerpc environment.
I have debootstraped an unstable debian + experimental sources.
I have already succedded in recompiling gnat gpl based on gcc-3.4 (asis,
aws and glade seem to run).
In the same environment, I will try to recompile gnat-4.1 with the
gn
Hi,
I have build the gcc 4.0 package on powerpc architecture (power5 based
system), but there isn't any lib64gnat-4.0 produced, how can I try to
produce one ?
Thanks in advance for any hint, xavier
signature.asc
Description: This is a digitally signed message part
Hi,
I have patched the gnat part of gcc-3.3 in order to make it task aware.
Hope it will help.
xavier grave
--- Makefile.in.orig 2003-08-12 07:46:13.0 +0200
+++ Makefile.in 2003-09-25 11:49:08.0 +0200
@@ -700,6 +700,28 @@
endif
endif
+ifeq ($(strip $(filter-out %powerpc linux
anks in advance, xavier grave
74 matches
Mail list logo