Package: gprbuild / 2015-6

Header

Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/

Upstream-Name: gprbuild

Source: https://libre.adacore.com/libre/download/

Comment: The gprbuild documentation cannot be distributed because it is licensed under the GNU Free Documentation License with Invariant Sections and Cover Texts. . Parts of the gnat/ subdirectory must be removed because they contain documentation with the same problem. The directory is ignored anyway in favor of the libgnatprj and libgnatsvn dynamic libraries, built from the GNAT package, in order to avoid code duplication in Debian. We remove the whole directory to reduce the tarball size and ensure no file is ever used, as the upstream Makefile hardcodes this path in many unexpected places. . We take the opportunity to repackage without autoconf generated files and the unused gpr subdirectory.

Files-Excluded: config.guess config.sub configure doc gnat gpr install-sh

Licenses

License: GPL-3+ 

This file is free software; you can redistribute it and/or modify it
under terms of the GNU General Public License as published by the
Free Software Foundation; either version 3, or (at your option) any
later version. It is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY -- or FITNESS FOR A PARTICULAR PURPOSE.

On Debian GNU/Linux systems, the complete text of the GNU General
Public License can be found in `/usr/share/common-licenses/GPL-3'.