Bug#446470: more information
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]
Bug#447347: Some code to try to solve the bug available
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 trick... xavier -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#472854: gnat-4.3 needs a manual build for mips and mipsel
> On Tue, Apr 01, 2008 at 10:44:33PM +0200, Ludovic Brenta wrote: >> Aurelien Jarno writes: >> > I have just checked-in a patch in the SVN to fix this problem. >> >> Thanks a lot! I'll upload it as part of 4.3.0-3 immediately after >> gcc-4.3 4.3.0-3. >> >> > 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 >> into the copyright-assignment procedure. The author of the mips >> support, Xavier Grave, is an occasional contributor to the Debian >> packages and has never contributed to GCC yet (CCing him). >> >> As a first step, since he now has a little time available, I've asked >> him to separate the mips support into a patch independent of ada-sjlj. >> That should make future submission to upstream easier. > > I have seen this is now done, and I have made a few more changes to get > the MIPS support fully working. In order to improve my knowledge about porting gnat to new architecture can you describe what you have modified please ? > I have copyright-assignements for GCC, we can probably submit this patch > with both our names if you agree. OK for me. xavier -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#339356: bug present also in gnat-4.4
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 report; see http://gcc.gnu.org/bugs.html.| | Use a subject line meaningful to you and us to track the bug.| | Include the entire contents of this bug box in the report. | | Include the exact gcc-4.4 or gnatmake command that you entered. | | Also include sources listed below in gnatchop format | | (concatenated together with no headers between files). | +==+ Please include these source files with error report Note that list may not be accurate in some cases, so please double check that the problem can still be reproduced with the set of files listed. gnat_bug.adb list may be incomplete compilation abandoned gnatmake: "gnat_bug.adb" compilation error (sid)r...@linux-xavier:~/tests# gnat -v GNAT 4.4.1 Copyright 1996-2008, Free Software Foundation, Inc. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#244936: [bug 244936] found in gnat 4.4.1-1
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
Bug#244943: [bug 244943] found in gnat 4.4.1-1
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
Bug#244970: [bug 244970] found in gnat 4.4.1-1
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
Bug#246183: [246183] found in 4.4.1-1
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
Bug#246186: [gnat-4.4]found 246186 4.4.1-1
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
Bug#246185: [gnat-4.4]found 246185 4.4.1-1
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-operands.c:2072| | Error detected around test_41.adb:12 | | Please submit a bug report; see http://gcc.gnu.org/bugs.html.| | Use a subject line meaningful to you and us to track the bug.| | Include the entire contents of this bug box in the report. | | Include the exact gcc-4.4 or gnatmake command that you entered. | | Also include sources listed below in gnatchop format | | (concatenated together with no headers between files). | +==+ Please include these source files with error report Note that list may not be accurate in some cases, so please double check that the problem can still be reproduced with the set of files listed. test_41.adb raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:424 gnatmake: "test_41.adb" compilation error -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#246187: found 246187 in 4.4.1-1
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 | | Please submit a bug report; see http://gcc.gnu.org/bugs.html.| | Use a subject line meaningful to you and us to track the bug.| | Include the entire contents of this bug box in the report. | | Include the exact gcc-4.4 or gnatmake command that you entered. | | Also include sources listed below in gnatchop format | | (concatenated together with no headers between files). | +==+ Please include these source files with error report Note that list may not be accurate in some cases, so please double check that the problem can still be reproduced with the set of files listed. test_43.ads compilation abandoned gnatmake: "test_43.ads" compilation error (sid)r...@linux-xavier:~/tests# gnat -v GNAT 4.4.1 -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#247017: found 247017 4.4.1-1
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
Bug#247013: found 247013 4.4.1-1
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
Bug#247018: [gnat-4.4]bug fixed in 4.4.1-1 ?
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; -- RM 8.3(8) -- An inner declaration hides any outer homograph from direct visibility. with pak1; package Test_60 is package PAK1 is new pak1; end Test_60; -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#247019: found 247019 4.4.1-1
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
Bug#247570: found 247570 4.4.1-1
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
Bug#247020: found 247020 4.4.1-1
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
Bug#247569: found 247569 4.4.1-1
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
Bug#247564: found 247564 4.4.1-1
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
Bug#247018: found 247018 4.4.1-1
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
Bug#247571: found 247571 4.4.1-1
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
Bug#248166: found 248166 4.4.1-1
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
Bug#248170: found 248170 4.4.1-1
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
Bug#248167: found 248167 4.4.1-1
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, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#248168: found 248168 4.4.1-1
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
Bug#248680: found 248680 4.4.1-1
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
Bug#248681: found 248681 4.4.1-1
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
Bug#248678: found 248678 4.4.1-1
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
Bug#248682: found 248682 4.4.1-1
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
Bug#253737: found 253737 4.4.1-1
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
Bug#251265: found 251265 4.4.1-1
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
Bug#269951: found 269951 4.4.1-1
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
Bug#269948: found 269948 4.4.1-1
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
Bug#276224: found 276224 4.4.1-1
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
Bug#276227: 276227 Still a bug ?
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 ? -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#695349: gnat-4.6: fails to build os lovelace
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.org Archive: http://lists.debian.org/efd819ccb6cdf3476a0510394ad45...@ipno.in2p3.fr
Re: Upstream sources in future uploads of gnat-4.8
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 the two separate because I have too little time available for Debian to keep up with the rapid pace of uploads of gcc-x.y and because subversion, where the Debian packaging is kept, is not well equipped to handle parallel branches of development especially merging. It occurred to me that maybe the best thing to do would be to turn gnat-4.8 into a proper 3.0 (quilt) source package where the .orig.tar.gz would contain the already-unpacked upstream sources (i.e. not a tarball inside a tarball) and the debian/patches/series file would be maintained directly unser source control, rather than generated by "debian/rules patch". I understand that generating debian/patches/series is currently necessary to distinguish between native and cross-compilers. I think it would be acceptable to have a "fixed" set of patches in debian/patches/series plus a "variable" set of patches, applied on top of the "fixed" set, for cross-compilers. The "fixed" set would be applied directly by dpkg-source and the "variable" set would be constructed & applied later by debian/rules patch. What do you think of this? (The contents of debian/patches/series should not depend on the language front-ends being compiled, either). Ideally we could get rid of "debian/rules unpack" entirely and simplify the code base of Debian packaging. The fixed set of patches, i.e. debian/patches/series, would also simplify debian/rules.patch quite a bit. Ideas, objections? After a first read, it looks ok to mee. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/8de714fb411690a56a6e12a334b97...@ipno.in2p3.fr
Bug#519336: gnat1 segfault when unchecked converting an identifier with type mismatch
-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 make it > smaller. Removing the affectation (last line) or correcting the type > mismatch in the record declaration (first line) both causes a normal > error message. > > -- > with Ada.Unchecked_Conversion; > > package Essai is >type Attributed_Chararcter is record > I : Integer; >end record; >type Video_Array is array (Integer range 0 .. 1) of Attributed_Character; >type Video_Access is access Video_Array; >function To_VA is new Ada.Unchecked_Conversion (Integer, Video_Access); >Video : Video_Access := To_VA (0); > end Essai; > - > > -- System Information: > Debian Release: squeeze/sid > APT prefers testing > APT policy: (500, 'testing') > Architecture: amd64 (x86_64) > > Kernel: Linux 2.6.28.3 (SMP w/2 CPU cores) > Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) > Shell: /bin/sh linked to /bin/dash > > Versions of packages gnat depends on: > ii gnat-4.3 4.3.3-2The GNU Ada compiler > > gnat recommends no packages. > > gnat suggests no packages. > > -- no debconf information > > > -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAknHsT8ACgkQVIZi0A5BZF4z/QCdGgVqqhZpSIxqHEumV0G3LlIZ bFUAoLMVw4sSbrVYTicCUeUMZ2T/LtXl =1XGz -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#519336: gnat gpl 2008 also segfault
-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: GnuPG v1.4.9 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAknLVwQACgkQVIZi0A5BZF4J6gCgpZkov8/a2w4/l75uEDbGVfQR iIsAn1pvRXgny5WybjMdja7c19gARrG9 =7rOp -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#182360: fixed upstream ?
-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 include: disk full, disk quotas exceeded - -- and invalid file descriptor (the file may have been closed twice). procedure Close (FD : File_Descriptor); - -- Close file referenced by FD. This form is used when the caller wants to - -- ignore any possible error (see above for error cases). -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkp0tcIACgkQVIZi0A5BZF5FdQCglor/466kf6QryiyjjjwLquIA 6BAAn31Rzwyc6dmFL58u13MCdzsPU1yr =AJ3L -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#600052: gnat-4.4: FTBFS on armel
-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 the past and Matthias seems to > > be the only person willing and able to build manually on armel. If even > > he > > needs help, then I'm pessimistic about armel. Hi everybody, My two cents : I should receive in a few weeks (around 3/4) some Open-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 [1] http://www.open-rd.org/ -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAky1iJ4ACgkQVIZi0A5BZF5fPwCdFNetP38lXsJUVpIkpOmn7voN XbwAoIKyRJfTxHfwtHQxmOnndjQJ4Urf =/dQE -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4cb5889e.3080...@ipno.in2p3.fr
Bug#559447: More accurate localisation
-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,11 +21,11 @@
-- for Main use ("example");
-- end Example;
- -project XmlAda is
+project XmlAda2 is
for Library_Name use "xmlada";
- - for Library_Dir use "/usr/lib";
+ for Library_Dir use "/usr/lib/ada/adalib/xmlada";
for Library_Kind use "dynamic";
for Source_Dirs use ("/usr/share/ada/adainclude/xmlada");
for Library_ALI_Dir use "/usr/lib/ada/adalib/xmlada";
- - for Externally_Built use "true";
- -end XmlAda;
+ for Externally_Built use "true";
+end XmlAda2;
Does this mean that there is a confusion between Library_Dir and
Library_ALI_Dir when extends is used ?
-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iEYEARECAAYFAkseTw4ACgkQVIZi0A5BZF6WUgCeKX79YqgpaD8zUK0oEUldkPvo
4IQAniq2H4w4PQ6ZliDoNs4XC1UPU6BQ
=t1QJ
-END PGP SIGNATURE-
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#559447: new test case : independent of Debian env
-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 the Object_Dir attribute not set in the second one. -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkseeKAACgkQVIZi0A5BZF5w3ACfZaxEjVGjZl3h8oHINlcTbx3Z HFoAn2yv0AtjTLqXZE2ILtMPOMfYxpj4 =Zryi -END PGP SIGNATURE- test_extends_facility_2.tgz Description: application/compressed-tar
Bug#559447: For polyorb users
-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 :
for Library_Dir use "/usr/lib";
to
for Library_Dir use "/usr/lib/ada/adalib/xmlada";
Removing the all of extends all works for the dist_app_project.gpr file
generated but for partition.gpr this produce code not DSA compliant. All
partitions except the first one to register fail to register with the
following message :
system.partition_interface: Cannot register information for RCI
Polyorb.Dsa_P.Partitions with name server.
raised PROGRAM_ERROR : polyorb.dsa_p.partitions (RCI) is already declared
-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iEYEARECAAYFAksiRm8ACgkQVIZi0A5BZF5DdACfUIcuwcWBjhHwc1eKD/dLCpHm
YyoAmwYDY9wTwIcohjI1cGM2meU4pCka
=dSUr
-END PGP SIGNATURE-
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#564232: gnat-4.4: bind a socket in Ada program fails
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.Streams;
Address : Sock_Addr_Type;
Server : Socket_Type;
Socket : Socket_Type;
Data : Stream_Element_Array (1 .. 1024);
Last : Stream_Element_Offset;
begin
Address.Addr := Addresses (Get_Host_By_Name (Host_Name), 1);
Address.Port := 3434;
Create_Socket (Server);
Set_Socket_Option
(Server,
Socket_Level,
(Reuse_Address, True));
Ada.Text_IO.Put_Line ("before bind");
Bind_Socket (Server, Address);
Ada.Text_IO.Put_Line ("before listen");
Listen_Socket (Server);
Ada.Text_IO.Put_Line ("before accept");
Accept_Socket (Server, Socket, Address);
Ada.Text_IO.Put_Line ("after accept");
loop
Last := 0;
Receive_Socket (Socket,
Data,
Last);
if Last /= 0 then
Ada.Text_IO.Put_Line ("receive last : " & Last'Img);
end if;
end loop;
end Server;
-- System Information:
Debian Release: squeeze/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: kfreebsd-amd64 (x86_64)
Kernel: kFreeBSD 7.2-1-amd64
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968)
Shell: /bin/sh linked to /bin/dash
Versions of packages gnat-4.4 depends on:
ii gcc-4.4 4.4.2-8The GNU C compiler
ii gnat-4.4-base 4.4.2-5The GNU Compiler Collection (gnat
ii libc0.1 2.10.2-5 Embedded GNU C Library: Shared lib
ii libc0.1-dev 2.10.2-5 Embedded GNU C Library: Developmen
ii libgcc1 1:4.4.2-8 GCC support library
ii libgmp3c2 2:4.3.1+dfsg-3 Multiprecision arithmetic library
ii libgnat-4.4 4.4.2-5Runtime library for GNU Ada applic
ii libgnatprj4.4 4.4.2-5GNU Ada Project Manager
ii libgnatvsn4.4 4.4.2-5GNU Ada compiler version library
ii libmpfr1ldbl 2.4.2-3multiple precision floating-point
gnat-4.4 recommends no packages.
Versions of packages gnat-4.4 suggests:
ii ada-reference-manual 20021112web-3 The standard describing the Ada 95
pn gnat-4.4-doc (no description available)
-- no debconf information
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#564232: Bug 564232 only on kfreebsd-amd64
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
Bug#564232: bind behaviour different between linux and freebsd ?
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_socket_c
sin len 16
res 0
code used :
xav...@debian:~$ cat bind_socket_c.c
#include
#include
#include
int main ()
{
int socket_fd;
struct sockaddr_in sin;
int len,res;
len = sizeof (struct sockaddr_in);
memset (&sin, 0, len);
sin.sin_port = 5786;
printf ("sin len %d\n",len);
socket_fd = socket (AF_INET,SOCK_STREAM,0);
res = bind (socket_fd, &sin, len);
printf ("res %d\n",res);
return 0;
}
problem doesn't seem any more specific to Ada ?
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#564232: bind behaviour different between linux and freebsd ?
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:23 +0100, Xavier Grave gr...@ipno.in2p3.fr > wrote: >> 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_socket_c >> sin len 16 >> res 0 >> code used : >> problem doesn't seem any more specific to Ada ? > > `errno' should contain more detailed information about why it failed. > Also, keep in mind that "sin.sin_port = 5786" is probably not what you > want, think of network byte order! Sparc and PPC are big endian and I > guess that amd64 is little endian. I have tested the same code (both Ada and c) on Debian GNU/Linux i386 and results are similar to sparc and powerpc But I will try with the good network bytes order on FreeBSD, thanks for the tip xavier -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#564232: bind behaviour different between linux and freebsd?
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.sin_port = 5786; > `errno' should contain more detailed information about why it failed. > Also, keep in mind that "sin.sin_port = 5786" is probably not what you > want, think of network byte order! Sparc and PPC are big endian and I > guess that amd64 is little endian. changing sin.sin_port = 5786; to sin.sin_port = htons (5786); doesn't change results on kfreebsd amd64 arch -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#564232: bind behaviour different between linux and freebsd?
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? Please try this:
Yes and I get an ada exception with a errno 22 Invalid argument
In parallel of testing your code I have found the difference between the
default behaviour in linux and freebsd using a simple server example I found
on the net.
Here is the Ada modification I have done to the test in the bug related to
polyorb package :
see bug #561156, Message #24 for the original code
--- bind_socket.adb 2010-01-09 15:37:37.0 +0100
+++ bind_socket.adb.ok 2010-01-09 15:37:28.0 +0100
@@ -6,6 +6,7 @@
with GNAT.Sockets.Thin_Common;
with GNAT.Sockets.Constants;
with GNAT.Sockets.Thin;
+with System.OS_Constants;
pragma Warnings (on);
use GNAT.Sockets;
@@ -13,12 +14,16 @@
procedure Bind_Socket is
package C renames Interfaces.C;
use type C.int;
+ use type C.unsigned_char;
Socket : C.int;
Res : C.int;
Sin : aliased Thin_Common.Sockaddr_In;
Len : constant C.int := Sin'Size / 8;
begin
+ Sin.Sin_Family := (Has_Sockaddr_Len => True,
+ Length => Sin'Size / 8,
+ Char_Family => System.OS_Constants.AF_INET);
Sin.Sin_Addr := Thin_Common.Inaddr_Any;
Sin.Sin_Port := 5786;
> #include
> #include
> #include
> #include
> #include
>
> int
> main (int argc, char *argv[])
> {
> int socket_fd;
> struct sockaddr_in sin;
> int len, res;
>
> len = sizeof (struct sockaddr_in);
> memset (&sin, 0, len);
> sin.sin_port = htons (5786);
> sin.sin_family = AF_INET;
> sin.sin_addr.s_addr = INADDR_ANY;
>
> printf ("sin len %d\n",len);
> socket_fd = socket (AF_INET,SOCK_STREAM,0);
>
> res = bind (socket_fd, (struct sockaddr *) &sin, len);
> printf ("res = %d, errno = %s\n", res, strerror (res? errno: 0));
>
> return 0;
> }
Your code run like a charm, no errno. The important line in it is :
sin.sin_family = AF_INET; No setting in linux doesn't seem to be a problem.
Now, we need to include it in the top level binding of gnat.sockets.
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#564232: Bug located in Set_Family function in g-sothco.ads
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_Len from s-oscons.ads = 0 the code goes in the second branch and is equivalent to --Sin.Sin_Family := (Has_Sockaddr_Len => False, -- Short_Family => System.OS_Constants.AF_INET); And if Linux supports this it seems that the freebsd prefers to have the length ? a test with this version of code fails also : Sin.Sin_Family := (Has_Sockaddr_Len => False, Short_Family => System.OS_Constants.AF_INET); But this code is OK : Sin.Sin_Family := (Has_Sockaddr_Len => False, Short_Family => Short_To_Network (System.OS_Constants.AF_INET)); Where the function Short_To_Network is the one taken from gnat.sockets So the function Set_Family from : if Has_Sockaddr_Len then Length_And_Family.Length := Lengths (Family); Length_And_Family.Char_Family := C.unsigned_char (C_Family); else Length_And_Family.Short_Family := C.unsigned_short (C_Family); end if; Should become at least on freebsd : if Has_Sockaddr_Len then Length_And_Family.Length := Lengths (Family); Length_And_Family.Char_Family := C.unsigned_char (C_Family); else Length_And_Family.Short_Family := Short_To_Network (C.unsigned_short (C_Family)); end if; It seems that linux and freebsd have a different behavior regarding the endianess of sin_family Any freebsd/linux guru around to confirm or infirm this idea ? To close this bug I propose to had a patch specific to freebsd in Set_Family ? Any other proposition ? -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#564232: Bug 564232 and 561121 related to Debian GNU/kFreeBSD near to be fixed
-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
>> packaging) and there is two solutions for me now :
>> - 1/ don't touch to gnat-4.4 and apply a work-around for 561121
>> - 2/ modify gnat-4.4 on kfreebsd (amd64 and i386) and upload again
>>all packages depending on gnat-4.4
>>
>> The first solution is simpler from an upload point of view but 564232
>> may have impact on others Ada packages which need to bind sockets
>> (libaws for example).
>
> The proper fix would be fix gnat-4.4 and binNMU/requeue affected packages.
OK. I'll try to understand (since I'm new to this) how binNMU is working
before asking for more help.
> There is a big difference between (kernels of) Linux and FreeBSD in this:
>
> Linux:
>struct sockaddr {
>short sa_family;
>charsa_data[14];
>}
> FreeBSD:
>struct sockaddr {
>unsigned char sa_len;
>unsigned char sa_family;
>char sa_data[14];
>}
>
> Ada bindings have to closely follow definition of this struct.
>
Thanks Petr, I totally missed the difference in definition for
__SOCKADDR_COMMON between linux and freebsd in bits/sockaddr.h since
netinet/in.h have same md5sum on both arch.
My fix put the family inet in the good place but not for a good reason.
I do an htons instead of changing the binding of sockaddr. I will rework
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 to do it and learn from the occasion.
xavier
-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iEYEARECAAYFAktPiyoACgkQVIZi0A5BZF4f5ACfUBGaG4TsCXIgqRh3yOgAVJpz
uB0AoJOMOe92PxE2N3AYgKeGMq3shvbA
=6dWU
-END PGP SIGNATURE-
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#564232: Bug 564232 and 561121 related to Debian GNU/kFreeBSD near to be fixed
>
>> 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 have to closely follow definition of this struct.
>>
>
> Thanks Petr, I totally missed the difference in definition for
> __SOCKADDR_COMMON between linux and freebsd in bits/sockaddr.h since
> netinet/in.h have same md5sum on both arch.
I have spent some time looking in details to the binding and it seems that
src/gcc/ada/s-oscons-tmplt.c doesn't do it's job cleanly. The definition in
src/gcc/ada/gsocket.h is quite clear :
#if defined (__FreeBSD__) || defined (__vxworks) || 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 for other package I'll be happy to apply similar fix they can I
coded.
xavier
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#564232: Bug 564232 and 561121 related to Debian GNU/kFreeBSD near to be fixed
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) ----- > Xavier Grave dixit: > >>#if defined (__FreeBSD__) || defined (__vxworks) || defined(__rtems__) > > Make that: > > #if defined(__FreeBSD__) || defined(__FreeBSD_kernel__) || \ > defined(__vxworks) || defined(__rtems__) > > bye, Thanks, I have just exactly done it after I found out : http://www.mail-archive.com/debian-bugs-d...@lists.debian.org/msg734283.html Exactly the same solution that you propose and it worked like a charm. The new fix is much much better than the previous one. It can apply for all arch to be compared to the previous one that only applied for kfreebsd OS. Package compilation is going one. After this I will need help to set up binNMU for kfreebsd (since I have never done this before). -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#564232: Bug 564232 and 561121 related to Debian GNU/kFreeBSD near to be fixed
-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 > level. These rules do not apply to C, obviously. > > I'll upload a new version of gnat-4.4 with this fix during the weekend. the fix is available in revision d75a91c2e85e35e583f74164993d5a8ddf207275 of branch org.debian.gnat-4.4 There is an impact (very small) on some Ada code : s-oscons.ads is changed. I don't now if this important regarding to binNMU or not. -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAktQOmMACgkQVIZi0A5BZF6tugCdF5iWNRQVaOUwgAw4wBPUISUS JX0Ani+MgyV2rKtXVZz7khUTEdVh1/gh =PFG8 -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#566926: More info
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
Bug#566234: [mips only] /usr/lib/libgnarl-4.4.so: undefined reference to `__gnat_alternate_stack'
-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~20090423/STATIC/tools/po_cos_naming/po_cos_naming_shell > /usr/lib/gcc/mips-linux-gnu/4.4.3/../../../../lib/libgnarl-4.4.so: > undefined reference to `__gnat_alternate_stack' > collect2: ld returned 1 exit status > gnatlink: error when calling /usr/bin/gcc-4.4 > gnatmake: *** link failed. > make[1]: *** [tools_po_cos_naming.gpr] Error 4 > make[1]: Leaving directory > `/build/buildd-polyorb_2.6.0~20090423-5-mips-r7mNLt/polyorb-2.6.0~20090423' > make: *** [build-stamp] Error 2 Since I'm helping on polyorb packaging I'd like to work 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/QCbBPOThcd3Z0hgfyKWZNqV/hYr gvAAoLTeRofXKQLWFT9wUslaLJJZDgcg =2KTE -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#566234: A try to compile gnat-4.4 on mips crashed...
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-linux-gnu/lib/ -isystem /usr/mips-linux-gnu/include -isystem /usr/mips-linux-gnu/sys-include -mabi=n32 checking for C compiler default output file name... a.out checking whether the C compiler works... configure: error: in `/root/debian/org.debian.gnat-4.4/build/mips-linux-gnu/n32/libgcc': configure: error: cannot run C compiled programs. If you meant to cross compile, use `--host'. See `config.log' for more details. make[4]: *** [configure-stage1-target-libgcc] Error 1 make[4]: Leaving directory `/root/debian/org.debian.gnat-4.4/build' make[3]: *** [stage1-bubble] Error 2 make[3]: Leaving directory `/root/debian/org.debian.gnat-4.4/build' The config.log doesn't seem to show any problem... I commit my changes to org.debian.gnat-4.4 in order you can review/comment/disapprove them. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#566234: A try to compile gnat-4.4 on mips crashed...
-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 install gcc Reading package lists... Done Building dependency tree Reading state information... Done gcc is already the newest version. May be the problem comes from the fact that I have needed to install by hand gcc-4.4-source in a version number that was lacking in mips sid : 4.4.3-2 ? -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAktr2lwACgkQVIZi0A5BZF7WlwCgvQQXJ1+efzuYiuYzMGxNUr9W 88oAn3/wjgDtgti59d+f8WfpL4XUOo5I =QWA6 -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#568881: gnat-4.4: Type to stream input/output broken on big endian archs
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: >> Ludovic Brenta a écrit : >>>> As far as I understood streams, the output should be neutral >>>> regarding >>>> of the architecture. >>> >>> Where did you get that idea? >> >> Using gnat 3.15p I didn't have this kind of problem. >> I used to push to a stream connected to a socket an integer type >> without bothering about endianness. > > Then I guess you were using a stream of a specific type that did the > bothering for you, converting everything to network byte order because > it was a *socket* stream type. For a stream attached to a file, the > compiler cannot assume that you need to convert to network byte order. You are right (as usual :), sorry for this new non useful bug report), I have found in a lab corner an old gnat-3.15p install (x86 and ppc) and the behaviour is exactly the same (different files). So this is the stream implementation for the sockets in gnat-3.15 that swap the things and no more with gnat-4.4 ? >> >> Let assume I have a symmetric program to read from my stream (ie here my >> file). If I read the file on an arch different of the one that was used >> to write it, Ada should ensure me (as far as I understand the point of >> portability) that I can read from my stream without thinking about it >> because a Ada.Streams is a standard package. > > No, I don't think that's true. GNAT on amd64 and GNAT on sparc are two > different implementations of Ada and nothing forces them to use inefficient > conversions to network byte order without consent from the programmer. > Therefore, if you need such conversion, you must say so explicitly. So may be I should find the place where the problem is in g-socket*, if there is a problem at all ? > Maybe you'd like to look at http://www.ibpaus.de/downloads/index.html Thanks for the link. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#566234: [RFH] need help or access to real mips hardware
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/org.debian.gnat-4.4/build/./gcc/ -B/usr/mips-linux-gnu/bin/ -B/usr/mips-linux-gnu/lib/ -isystem /usr/mips-linux-gnu/include -isystem /usr/mips-linux-gnu/sys-include -mabi=n32 checking for C compiler default output file name... a.out checking whether the C compiler works... configure: error: in `/root/debian/org.debian.gnat-4.4/build/mips-linux-gnu/n32/libgcc': configure: error: cannot run C compiled programs. If you meant to cross compile, use `--host'. See `config.log' for more details. make[4]: *** [configure-stage1-target-libgcc] Error 1 make[4]: Leaving directory `/root/debian/org.debian.gnat-4.4/build' make[3]: *** [stage1-bubble] Error 2 make[3]: Leaving directory `/root/debian/org.debian.gnat-4.4/build' make[2]: *** [bootstrap-lean] Error 2 make[2]: Leaving directory `/root/debian/org.debian.gnat-4.4/build' s=`cat status`; rm -f status; test $s -eq 0 make[1]: *** [stamps/05-build-stamp] Error 1 make[1]: Leaving directory `/root/debian/org.debian.gnat-4.4' make: *** [stamps/05-build-stamp] Error 2 I wonder if this is due to the fact I'm running under qemu or because of something else I'm missing ? 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 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 subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/6713cb608e5ebd4844f7fd6357822...@ipnagenda.in2p3.fr
Bug#566234: [RFH] need help or access to real mips hardware
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 bug 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 trying fixing >> this bug ? > > If no one else is able to I'll have a lot of hardware for stuff like > this in 2-3 weeks; I'd need your ssh pub key. > > BTW would bare hardware access be needed for this, or would running > under lxc be fine? > > Eagerly awaiting the end of the Chinese Spring Festival, > -- > Daniel JB Clark | Free Software Activist | http://pobox.com/~dclark > -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 ssh-rsa B3NzaC1yc2EBIwAAAQEAsi8V7obP1R/kpWfUJ+GK5TH+QwPcacBJtIud8RtBKXczdlKeQt5gMamJkdlEC43PVQgLZdsvxduSh/l9yCzkNbwFezVEoQrPzJATqY0xwLaiA9h9FYi5VkVT9MnpLVxZwDAp/EbsChREh+NbH4q29oFerg2/agus6cpBQvJhafwmyYJoFUK6hpu7CqoGyc4KIVt98nGh+UQXU9SmeZ7s1ivz63+R47M9a67VhaaRyQQaSCFHsfy7BR5nsAq+i6vPRjv6Gl3fmd5+nsNaA70Jhn/YVqNdCj03dGagfEJmxHammbfnzc8eXSqgLC7Xel/b03z6WW9cYIT//eZ1kxEsfw== xav...@canis-lupus -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkt36aQACgkQVIZi0A5BZF7UmACfX1SsH+HwOfpC57cRNMLMpDh/ o+YAn0NROlrjIU/FlMoeHjU2UKcxCc5o =V0Oe -END PGP SIGNATURE-
lib64gnat-4.0 not available for powerpc
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
trying to build gnat-4.1 under debian ppc
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 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]
In order to compile gnat-4.1 under powerpc architecture
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/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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#438504: please help investigate potential gcc / kernel ICE on powerpc32 machines in lenny/sid.
> > 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 > dpkg-buildpackage -rfakeroot -us -uc -B > > and let it run in the background while you do something else. After an > hour or two, it will either ICE or not. OK I'll do that right now. signature.asc Description: Ceci est une partie de message numériquement signée
Bug#438504: please help investigate potential gcc / kernel ICE on powerpc32 machines in lenny/sid.
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 bug > > > > Hi, > > > > I have a debian unstable 32 bits (dual 1GHz G4) here at work, but no > > time for tests, I can create you an account on it if you want. > > What else do you need ? Do you want me to debootstrap some distributio > 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 > dpkg-buildpackage -rfakeroot -us -uc -B It worked here without PB. Here are some infos : ipnnarval:~/test_bug/linux-2.6-2.6.22# dpkg -l | grep gcc ii gcc 4:4.1.2-3 The GNU C compiler ii gcc-2.95 1:2.95.4-27The GNU C compiler ii gcc-3.2 1:3.2.3-9 The GNU C compiler ii gcc-3.2-base 1:3.2.3-9 The GNU Compiler Collection (base package) ii gcc-3.3 1:3.3.6-15 The GNU C compiler ii gcc-3.3-base 1:3.3.6-15 The GNU Compiler Collection (base package) ii gcc-3.4 3.4.6-6The GNU C compiler ii gcc-3.4-base 3.4.6-6The GNU Compiler Collection (base package) ii gcc-4.0 4.0.3-7The GNU C compiler ii gcc-4.0-base 4.0.3-7The GNU Compiler Collection (base package) ii gcc-4.0-locales 4.0.3-8The GNU C compiler (native language support files) ii gcc-4.1 4.1.2-15 The GNU C compiler ii gcc-4.1-base 4.1.2-15 The GNU Compiler Collection (base package) ii gcc-4.2-base 4.2.1-4The GNU Compiler Collection (base package) ii libgcc1 1:4.2.1-4 GCC support library Do you want me to do more tests ? xavier signature.asc Description: Ceci est une partie de message numériquement signée
Bug#438504: please help investigate potential gcc / kernel ICE on powerpc32 machines in lenny/sid.
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 infos : > > ipnnarval:~/test_bug/linux-2.6-2.6.22# dpkg -l | grep gcc > > ii gcc 4:4.1.2-3 The GNU > > C compiler > > ii gcc-2.95 1:2.95.4-27The GNU > > C compiler > > ii gcc-3.2 1:3.2.3-9 The GNU > > C compiler > > ii gcc-3.2-base 1:3.2.3-9 The GNU > > Compiler Collection (base package) > > ii gcc-3.3 1:3.3.6-15 The GNU > > C compiler > > ii gcc-3.3-base 1:3.3.6-15 The GNU > > Compiler Collection (base package) > > ii gcc-3.4 3.4.6-6The GNU > > C compiler > > ii gcc-3.4-base 3.4.6-6The GNU > > Compiler Collection (base package) > > ii gcc-4.0 4.0.3-7The GNU > > C compiler > > ii gcc-4.0-base 4.0.3-7The GNU > > Compiler Collection (base package) > > ii gcc-4.0-locales 4.0.3-8The GNU > > C compiler (native language support files) > > ii gcc-4.1 4.1.2-15 The GNU > > C compiler > > ii gcc-4.1-base 4.1.2-15 The GNU > > Compiler Collection (base package) > > ii gcc-4.2-base 4.2.1-4The GNU > > Compiler Collection (base package) > > ii libgcc1 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 build without problem on my unstable distribution. The build produced a lot of .deb file with version 2.6.21-2 Hope it helped, please fell free to ask me any other tests you think are relevant. xavier signature.asc Description: Ceci est une partie de message numériquement signée
Bug#438504: please help investigate potential gcc / kernel ICE on powerpc32 machines in lenny/sid.
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 > > > >Hope it helped, please fell free to ask me any other tests you think are > >relevant. > > Did you have /proc mounted in your chroot? It seems that it only > occurs in chroots without /proc mounted. Hi, It's not a chrooted environment. Here is my /proc/cpuinfo file : ipnnarval:~/test_bug/linux-2.6-2.6.21# cd ipnnarval:~# cat /proc/cpuinfo processor : 0 cpu : 7455, altivec supported clock : 999.96MHz revision: 0.1 (pvr 8001 0201) bogomips: 83.20 processor : 1 cpu : 7455, altivec supported clock : 999.96MHz revision: 0.1 (pvr 8001 0201) bogomips: 83.20 total bogomips : 166.40 timebase: 41658137 platform: PowerMac machine : PowerMac3,6 motherboard : PowerMac3,6 MacRISC2 MacRISC Power Macintosh detected as : 129 (PowerMac G4 Windtunnel) pmac flags : 0010 L2 cache: 256K unified pmac-generation : NewWorld uname -a : Linux ipnnarval 2.6.18-4-powerpc-smp #1 SMP Mon Mar 26 09:22:44 CEST 2007 ppc GNU/Linux xavier signature.asc Description: Ceci est une partie de message numériquement signée
Bug#666106: gnat-4.8: kfreebsd-i386: Exceptions with tracebacks in task rendezvous cause STORAGE_ERROR
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 error occurred xavier@poste-travail-xavier:~/gnat-lab/test-bug-666106$ gnatclean main "./main.ali" has been deleted "./main.o" has been deleted "main" has been deleted xavier@poste-travail-xavier:~/gnat-lab/test-bug-666106$ gnatmake main.adb -bargs -E gcc-4.9 -c main.adb gnatbind -E -x main.ali gnatlink main.ali xavier@poste-travail-xavier:~/gnat-lab/test-bug-666106$ ./main Execution terminated by unhandled exception Exception name: CONSTRAINT_ERROR Message: Some error occurred Call stack traceback locations: 0x800850840 0x402d1f 0x402c46 0x801605803 0x4026ca 0xfffe Seems OK to me for amd64, no i386 at hand before a few days. This message was sent using the webmail platform from IN2P3 Computing Center -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20140503153050.14824a6r0x1gg...@webmail.in2p3.fr
Bug#695349: gnat-4.6: fails to build os lovelace
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 0295b8f9752c0ddb2975b561f2b96c60b9b2c535 with gnat-4.4 is ok when switching to gnat-4.6 compilation aborts with this 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: "/home/xavier/lovelace/org.os-lovelace.micro-kernel/src/modules/module_fct1.adb" compilation error In order to produce this problem one needs to do (in the workspace top directory) : make x86_32_config make GCC=gcc-4.6 The file system.ads is available in directory src/common/runtime which is listed in common.gpr project file. Thanks ins advance, xavier -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) why should that work? there are no ada multilib libs available. Thanks for the answer. Do you mean that my problem is raised by the new multilib scheme ? With gcc-4.4 it's "working" because I recompile (after some patches) the system libs in order to link them with my elf micro kernel. xavier -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/77f60beb97e7c931225a52b48c6ca...@ipno.in2p3.fr
Bug#699736: GNAT offers bug box on small Ada 2012 program
-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 7.1.0w (20120901) (GCC) So to me it seems a gnat-4.6/gcc-4.6 bug... Le 04/02/2013 10:59, David Starner a écrit : > Package: gnat-4.6 > Version: 4.6.3-8 > > When compiled with gnatmake -gnat12 algo_2sat.adb > > package body Algo_2SAT is >type Orientation is (Unused, Unnegated, Negated, Both); >procedure Monodirectional (P: in out Problem_2SAT) is > Count : array (1 .. Variable (100)) of Orientation := (others => > Unused); > C : Clause; > P_New : Problem_2SAT; >begin > for I in P.First_Index .. P.Last_Index loop > C := P.Element (I); > if Count (C.A_Var) in (Unnegated, Negated) or else Count > (C.B_Var) in (Unnegated, Negated) then > null; > else > P_New.Append (C); > end if; > end loop; > P := P_New; >end Monodirectional; > end Algo_2Sat; > with Ada.Containers.Vectors; > package Algo_2SAT is >type Variable is new Natural; >type Clause is record > A_Bool : Boolean; > A_Var : Variable; > B_Bool : Boolean; > B_Var : Variable; >end record; >package Problem_Container is new Ada.Containers.Vectors (Natural, Clause); >subtype Problem_2Sat is Problem_Container.Vector; >procedure Monodirectional (P : in out Problem_2SAT); > end Algo_2SAT; > > offers > > gcc-4.6 -c -gnat12 algo_2sat.adb > +===GNAT BUG DETECTED==+ > | 4.6.3 (x86_64-pc-linux-gnu) GCC error: | > | in gnat_to_gnu, at ada/gcc-interface/trans.c:4526| > | Error detected at algo_2sat.adb:10:32| > | Please submit a bug report; see http://gcc.gnu.org/bugs.html.| > | Use a subject line meaningful to you and us to track the bug.| > | Include the entire contents of this bug box in the report. | > | Include the exact gcc-4.6 or gnatmake command that you entered. | > | Also include sources listed below in gnatchop format | > | (concatenated together with no headers between files). | > +==+ > > Please include these source files with error report > Note that list may not be accurate in some cases, > so please double check that the problem can still > be reproduced with the set of files listed. > Consider also -gnatd.n switch (see debug.adb). > > algo_2sat.adb > algo_2sat.ads > > compilation abandoned > gnatmake: "algo_2sat.adb" compilation error > > I would offer this upstream, but Debian's GNAT is a version behind. -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iQIcBAEBAgAGBQJRD7qJAAoJEG3iFwasTcfadbMQAJtlaGCWAfrLVyYJloVn45ap k0TAyKwXiwcwlWRGW6jhPGnI9W9oETk0jDbVVoZvRumm8CZhhpmmav21EYreLu3R y7idpIZIHtlX3ZNYq7BnOyFyQct0oJV2u/W5c2+8ImOP8JS9EsSr/DkWFknFw/Ci 56neN+c8L2NhCe1w5rzblIHL3xSYVmG8dJe/TmIKspaBfT4r5IEfg9rvSlaL6L8w UZqBQa3+4C9yAx10erH+udJtnW5j86GP/Tbtt9pwud2coMSakWjpNYVYmQ032Ii4 notRInXPwNoZvvTNIAZATij9QfM+NHbp0hlGJAExQkOAs4AxqUwT2E3bipGI64zI RzXJXQgAh/vVmp9Dm+kHZWFd6H0r0Mg06EFgVMhDlORyK28rbrg/A6y3gs7tkvcW pTNUfURBtRqtEBlpp5ltJaZ82Mcfw4MxNsd4s2Q2sROAab8LsVtdW7uuutoZrgS2 1SesphSnpfxuoJa/gynvupcR8eXMh93dD2r6+zjDdz+VPOGzAeWrT5gXiWMA9sBp nfxO88aLy39RoCEj1bqmXNwBQOQw5LAKVRmiRqnhrWbW4DR0/NCBCjTZIGlMnQFd 3sz8/IsfKeZiDzWAUtic58qBk7hjVo4i0Y7o/b9XFcfVZ0kq6jQ0iftEjkkj7n+l M8dvoVDx2nyLlov3Srwc =18eA -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/510fba8c.6020...@ipno.in2p3.fr
tasking in gnat not implemented on powerpc
Hi, I'm using gnat on several architecture and run into this message on powerpc : failed run-time assertion : Tasking not implemented on this configuration the same program on i686 doesn't make any problem. Are you aware of this problem ? I'm using the last sid version. Thanks in advance, xavier grave
patch for tasking in gnat not implemented on powerpc
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%,$(arch) $(osys))),) + LIBGNAT_TARGET_PAIRS = \ + a-intnam.ads<4lintnam.ads \ + s-inmaop.adb<7sinmaop.adb \ + s-intman.adb<5lintman.adb \ + s-osinte.adb<5iosinte.adb \ + s-osinte.ads<5iosinte.ads \ + s-osprim.adb<7sosprim.adb \ + s-taprop.adb<5itaprop.adb \ + s-taspri.ads<5itaspri.ads \ + s-tpopsp.adb<5atpopsp.adb \ + system.ads<52system.ads + + TOOLS_TARGET_PAIRS = mlib-tgt.adb<5lml-tgt.adb + SYMLIB = -laddr2line -lbfd $(INTLLIBS) + THREADSLIB = -lpthread + GNATLIB_SHARED = gnatlib-shared-dual + GMEM_LIB = gmemlib + LIBRARY_VERSION := $(strip $(shell grep Library_Version $(fsrcpfx)gnatvsn.ads | sed -e 's/.*GNAT Lib v\(.*\)[ "].*/\1/')) + +endif + ifeq ($(strip $(filter-out mips sgi irix%,$(targ))),) ifeq ($(strip $(filter-out mips sgi irix6%,$(targ))),) LIBGNAT_TARGET_PAIRS = \
