Package: libgnatcoll-bindings / 21.0.0-4
Metadata
Package | Version | Patches format |
---|---|---|
libgnatcoll-bindings | 21.0.0-4 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
compilation_options.diff | (download) |
gmp/gnatcoll_gmp.gpr |
6 6 + 0 - 0 ! |
handle adaflags cflags cppflags ldflags |
so_ext.diff | (download) |
gmp/gnatcoll_gmp.gpr |
2 1 + 1 - 0 ! |
do not assume that gnatcoll.gpr defines so_ext. Debian cannot assume that gnatcoll.gpr is the exact project distributed by upstream install system. . Since upstream will probably not be interested, this patch does not try to be portable. |
example obj dir.diff | (download) |
gmp/examples/gmp_examples.gpr |
2 1 + 1 - 0 ! |
use obj/ instead of ../obj/ as object directory in gmp example Using the parent directory only makes sense in the source tree, and we want to install this example. |
python2.diff | (download) |
gen_gps_help.py |
2 1 + 1 - 0 ! |
depend on explicit python2. Ubuntu does not contain an unversioned 'python' anymore. . Upstream is migrating to python3, so it does not make sense to forward this patch as is. |
project_linker_options.diff | (download) |
readline/gnatcoll_readline.gpr |
4 4 + 0 - 0 ! |
add missing linker'linker_options in readline project. |