Package: gprbuild / 2011-2
Metadata
| Package | Version | Patches format |
|---|---|---|
| gprbuild | 2011-2 | 3.0 (quilt) |
Patch series
view the series file| Patch | File delta | Description |
|---|---|---|
| version.patch | (download) |
gnat/gnatvsn.ads |
2 1 + 1 - 0 ! |
patch gprbuild version string to indicate debian upload . also patch Build_Type to FSF, since that affects copyright, bug report, and warranty notices. |
| default_path.patch | (download) |
gnat/prj-env.adb |
55 1 + 54 - 0 ! |
set default project path to match debian ada policy |
| gprconfig.patch | (download) |
share/gprconfig/asm.xml |
6 3 + 3 - 0 ! |
share/gprconfig/*.xml fixes for debian
.
Patch all files in share/gprconfig/
.
Use gcc-4.6 explicitly, so gprbuild does not depend on which top-level
gcc is installed.
.
We put gprbind and gprlib in /lib, not /libexec/gprbuild. We don't
put them in /usr/lib/${DEB_HOST_MULTIARCH}, because the multiarch
conventions do not yet address executables.
.
Patch the regular expressions that must match the version string
output by 'gcc' to allow "Debian" in the string.
.
We don't change linker.xml and gnat.xml to find gprlib and gprbind in
/usr/lib/${DEB_HOST_MULTIARCH}, because the multiarch conventions do
not yet address executables.
.
Remove support for GCC 2.8 which is no longer available in Debian.
|
| info.patch | (download) |
doc/info/gprbuild_ug.info |
5 5 + 0 - 0 ! |
add info-dir-section to info file, as required by debian ada policy |
| style.patch | (download) |
gnat/prj-env.adb |
3 2 + 1 - 0 ! |
fix minor style compiler warnings . Some upstream files generate style warnings; these are annoying, because we have to review them while looking for real errors. So fix them. |
| remove spark.patch | (download) |
gnat/restrict.adb |
80 25 + 55 - 0 ! |
remove references to spark. . some files in gnat/ contain references to a 'SPARK' enumeral, which is supposed to be defined in All_Restrictions, in .../adainclude/s-rident.ads, installed by the gnat-x.y package. However, the current version of gnat does not define SPARK; that is introduced in AdaCore GPL 2011. So we remove references to SPARK. |
