Package: libgmpada / 1.0-3

Metadata

Package Version Patches format
libgmpada 1.0-3 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
buildflags for demo.diff | (download)

Makefile | 4 3 + 1 - 0 !
1 file changed, 3 insertions(+), 1 deletion(-)

 pass build flags to gnatmake when building the project demo.
 This is quite useful in order to activate assertions.
kfreebds amd64 gnat6 bug in test.diff | (download)

Makefile | 2 2 + 0 - 0 !
1 file changed, 2 insertions(+)

 fix test for gnat-6 on kfreebsd-amd64.
 If the objects are not available when building demo.adb,
 the produced executable crashes with a segmentation fault.
 .
 This is probably a bug in gnat-6, as the same test has been compiling
 for years on the same architecture, and the problem disappears when
 some generics are replaced with copies, or when some types finalized
 without Ada.Finalization, or when assertions are enabled.