on 5.3.1 20160316 (Debian 5.3.1-12)
Please let me know if there is any other information you might need.
Thank you,
Xavier
-- System Information:
Debian Release: stretch/sid
APT prefers testing
APT policy: (500, 'testing')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
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
message :
gcc-4.6 -c -O2 -gnaty -gnatf -gnatL -nostdinc -nostdlib -gnat05 -gnatwae -gnato
-m32 -I- -gnatA
/home/xavier/lovelace/org.os-lovelace.micro-kernel/src/modules/module_fct1.adb
fatal error, run-time library not installed correctly
cannot locate file system.ads
compilation abandoned
gnatmake
Package: gnat-4.4
Version: 4.4.5-3
Severity: normal
On the way to have polyorb on armel architecture I have some problems already
related in [1].
I have tracked the problem down to the generation of libpolyorb-giop.so.
The shared lib generation include a -lgnarl-4.4 in the command line.
If I remo
RD
hardware [1]. One of the boxes will be running Debian. As soon as the
Debian runs I propose my help for the Ada part on this platform.
But as Ludovic is pointing, this is late in the release cycle, so may be
my help can only be of some use for the next stable release.
Hope it will help, xavier
[
Thanks a lot Daniel, if it is needed I'll wait for 2-3 weeks :)
In the mean time if I'm able to fix the bug in another maner I'll let you
know as soon as possible.
I don't know if the problem will be raised/solved when using lxc but it
worth a try.
xavier
PS: I CC the bu
somebody can give me access to some real mips
hardware with an up to date Debian unstable so I can continue trying fixing
this bug ?
Thanks in advance, xavier
--
[1] - http://people.debian.org/~aurel32/qemu/mips/
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subje
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:
&
Package: gnat-4.4
Version: 4.4.3-1
Severity: normal
The output of write_stream is different regarding the architecture it is
executed :
powerpc (big endian):
hexdump -C ./output_stream.dat
fa da da da de ad be ef
amd64 (little endian):
ef be ad de da da da fa
i386 (little endi
-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
on this bug (I'm
not a Debian Developer).
Can someone give me an access to a mips arch please ?
Thanks in advance, xavier
-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iEYEARECAAYFAktm8MEACgkQVIZi0A5BZF7m
Package: gnat-4.4
Version: 4.4.3-1
Severity: normal
When doing gnatmake test_static.adb -largs -static
the library libgnat-4.4.a isn't found :
gnatbind -x test_static.ali
gnatlink test_static.ali -static
/usr/bin/ld: cannot find -lgnat-4.4
collect2: ld returned 1 exit status
gnatlink: error when c
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)
--
| defined(__rtems__)
# define Has_Sockaddr_Len 1
#else
# define Has_Sockaddr_Len 0
#endif
So I suspect a problem related to the Debian naming x86_64-kfreebsd-gnu-gcc
ie kfreebsd instead of freebsd ?
I'm investigating under this way now. If somebody already had this king on
problem f
ork
my patch and see if the result is OK.
I have put Ludovic and Reto in CC since they work on the packages
involved in these bugs (polyorb and gnat-4.4). But we shouldn't ask them
for help on freebsd architecture since they lack the time for this fix
and I'm willing t
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,
Package: gnat-4.4
Version: 4.4.2-3
Severity: important
extends key word in gnat projects seems to have problems when
including other projects files.
A test case is joined to this bug report :
proj.gpr with xmlada.gpr
so input_sources.{ads|adb|ali|o} are known
proj_bis.gpr do a with of proj.gpr
so
-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
e this library in d-i, I
would be happy to rework on having gparted working.
Greetings,
--
,''`. Xavier Oswald
: :' : GNU/LINUX Debian Maintainer
`. `' GnuPG Key ID 0x88BBB51E
`-938D D715 6915
Software from manufacturer - economica11y sound choice!
Microsoft Windows Vista Bussiness $89
Microsoft Visio 2007 Professional $39
Adobe Flash CS3 Professional $59
Adobe Creative Suite 2 Premium $149
Macromedia Flash Pro 8$49
Autodesk Autocad 2OO7 $129
It`s here: softnlse.
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
1:4.2.1-4 GCC
> > support library
> >
> > Do you want me to do more tests ?
>
> Nope, apparently it worked for 2.6.22, but the problem was with 2.6.21.
> Maybe you could try a build with 2.6.21, if it is still available.
The linux 2.6.21 bui
) { foo; }
> >
> > $ gcc -c test.c
> > test.c: In function â:
> > test.c:1: error: â undeclared (first use in this function)
>
> Do you still see this with current gcc-4.1? Because I don't.
This seems to be fixed now. Maybe some other upgrade triggered this bug to
off ?
/Xavier
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
>
c:1: error: for each function it appears in.)
/Xavier
-- System Information:
Debian Release: 4.0
APT prefers stable
APT policy: (500, 'stable')
Architecture: amd64 (x86_64)
Shell: /bin/sh linked to /bin/bash
Kernel: Linux 2.6.20.7
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968)
rom another source
E: Package cpp-4.1-doc has no installation candidate
Xavier.
-- System Information:
Debian Release: testing/unstable
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: i386 (i686)
Shell: /bin/sh linked to /bin/bash
Kernel: Linux 2.6.17.10-1
Locale: LAN
tage1/xgcc if -O1 or -O2 is used...
a few others files do so. I have modified a few Makefile.in rules2 and
so on but there is two much of it to know where to do all modification.
Do I need to recompile gnat-4.1 by removing everywhere O2 and O1 they
appear ?
Any help welcome, thanks, xavier
-
gnat-4.0 compiler, I'll have a try also with gnat 3.15p
If somebody has any advice or comment, everything is welcome.
xavier
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
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
48 matches
Mail list logo
