Your message dated Sun, 31 Jan 2010 18:48:09 +0000
with message-id <[email protected]>
and subject line Bug#567575: fixed in gprbuild 1.2.0-3
has caused the Debian Bug report #567575,
regarding gprbuild: System project directory in debian is not seen
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
567575: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=567575
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: gprbuild
Version: 1.2.0-1
Severity: wishlist
Hello. Suppose I have installed the libgtkada package, and created the
two following files.
-- "main.adb"
procedure Main is
begin
null;
end Main;
-- "main.gpr"
with "gtkada2";
project main is
for Main use ("main.adb");
for Object_Dir use "obj";
end Main;
Then 'gprbuild main.gpr' complains that
main.gpr:1:06: unknown project file: "gtkada2"
gprbuild: "main.gpr" processing failed
while 'gnatmake -Pmain' compiles correctly. Providing the full path
'with "/usr/share/ada/adainclude/gtkada2";' works too.
It would be nice if the standard location was guessed as it was with
gnatmake.
-- System Information:
Shell: /bin/sh linked to /bin/dash
Versions of packages gprbuild depends on:
ii libgnat-4.4 4.4.2-6 Runtime library for GNU Ada applic
ii libxmlada3.2 3.2-4 XML/Ada, a full XML suite for Ada
Versions of packages gprbuild suggests:
ii gnat-4.4 4.4.2-6 The GNU Ada compiler
--- End Message ---
--- Begin Message ---
Source: gprbuild
Source-Version: 1.2.0-3
We believe that the bug you reported is fixed in the latest version of
gprbuild, which is due to be installed in the Debian FTP archive:
gprbuild-doc_1.2.0-3_all.deb
to main/g/gprbuild/gprbuild-doc_1.2.0-3_all.deb
gprbuild_1.2.0-3.diff.gz
to main/g/gprbuild/gprbuild_1.2.0-3.diff.gz
gprbuild_1.2.0-3.dsc
to main/g/gprbuild/gprbuild_1.2.0-3.dsc
gprbuild_1.2.0-3_amd64.deb
to main/g/gprbuild/gprbuild_1.2.0-3_amd64.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stephen Leake <[email protected]> (supplier of updated gprbuild
package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 31 Jan 2010 05:16:51 -0500
Source: gprbuild
Binary: gprbuild gprbuild-doc
Architecture: source all amd64
Version: 1.2.0-3
Distribution: unstable
Urgency: low
Maintainer: Stephen Leake <[email protected]>
Changed-By: Stephen Leake <[email protected]>
Description:
gprbuild - a multi-language extensible build tool
gprbuild-doc - a multi-language extensible build tool
Closes: 567575
Changes:
gprbuild (1.2.0-3) unstable; urgency=low
.
* debian/patches/default_path.patch: new patch to use
Sdefault.Search_Dir_Prefix for default gpr search path.
* debian/rules: generate sdefault.adb to set default gpr search path
according to Debian Ada Policy. (Closes: #567575)
* debian/patches/version.patch: new patch to include Debian upload
number in version string.
Checksums-Sha1:
1b0eac87a999f69725d6d37c445b147153294dc9 1297 gprbuild_1.2.0-3.dsc
b52230a71d355ffe11f43f8304ec7ec37470a5fb 9935 gprbuild_1.2.0-3.diff.gz
59b8bb997089c593886adbb5b0d4a1a261ada81d 304732 gprbuild-doc_1.2.0-3_all.deb
75cff67b84b3c03ab023d1acd7a95d75ed7ec0f0 2078242 gprbuild_1.2.0-3_amd64.deb
Checksums-Sha256:
0a37fe4f24143e1dde5733db975183a1403e9b509524d360cf89ddf7c592476d 1297
gprbuild_1.2.0-3.dsc
e7fd1ed31986d75b445b9b6277e2f1874be4a483aaf270ba720491e7b3571ae2 9935
gprbuild_1.2.0-3.diff.gz
a427726be671db993c00d75e7241f88f147723ccb6bf1dd4263107dc23521e20 304732
gprbuild-doc_1.2.0-3_all.deb
210d47ae403f049a2cf2397342c05239d212a95e33d4f9b0801e83438a813f00 2078242
gprbuild_1.2.0-3_amd64.deb
Files:
4fefe40cb6f49d5512cb0bce45c1b63a 1297 devel optional gprbuild_1.2.0-3.dsc
1c6fd891571f81110a2e2d9647e54a27 9935 devel optional gprbuild_1.2.0-3.diff.gz
16dd1572fbe4cce1ccc0bc42414407c0 304732 doc optional
gprbuild-doc_1.2.0-3_all.deb
a6e0d9d903e17cbb7eaf0f0d8c9584bc 2078242 devel optional
gprbuild_1.2.0-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iD8DBQFLZcxjx9kwJZ3/qtQRArIqAKCRw26KqdcnOoHeQSmhQ0wtcHS0SgCgpVe1
xEO8rnW5X67J/7Gi4MY9E6A=
=56KH
-----END PGP SIGNATURE-----
--- End Message ---
