Package: libgmpada / 1.0-3
Metadata
Package | Version | Patches format |
---|---|---|
libgmpada | 1.0-3 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
buildflags for demo.diff | (download) |
Makefile |
4 3 + 1 - 0 ! |
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 ! |
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. |
1