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
-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
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,
-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
-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
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
37 matches
Mail list logo
