Package: gprbuild / 2011-2
Metadata
Package | Version | Patches format |
---|---|---|
gprbuild | 2011-2 | 3.0 (quilt) |
Patch series
view the series filePatch | 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. |