Package: apron / 0.9.10-6

Metadata

Package Version Patches format
apron 0.9.10-6 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
0001 Remove rpaths.patch | (download)

apron/box/Makefile | 8 4 + 4 - 0 !
apron/mlapronidl/Makefile | 8 4 + 4 - 0 !
apron/newpolka/Makefile | 8 4 + 4 - 0 !
apron/octagons/Makefile | 8 4 + 4 - 0 !
apron/ppl/Makefile | 12 6 + 6 - 0 !
apron/products/Makefile | 8 4 + 4 - 0 !
mlgmpidl/Makefile | 4 2 + 2 - 0 !
7 files changed, 28 insertions(+), 28 deletions(-)

 remove rpaths

0002 Add sonames.patch | (download)

apron/apron/Makefile | 4 2 + 2 - 0 !
apron/box/Makefile | 4 2 + 2 - 0 !
apron/newpolka/Makefile | 4 2 + 2 - 0 !
apron/octagons/Makefile | 2 1 + 1 - 0 !
apron/ppl/Makefile | 4 2 + 2 - 0 !
apron/products/Makefile | 4 2 + 2 - 0 !
6 files changed, 11 insertions(+), 11 deletions(-)

 add sonames

0003 Patch in order to be able to build on non native arc.patch | (download)

apron/box/Makefile | 16 11 + 5 - 0 !
apron/mlapronidl/Makefile | 12 10 + 2 - 0 !
apron/newpolka/Makefile | 13 10 + 3 - 0 !
apron/octagons/Makefile | 27 19 + 8 - 0 !
apron/ppl/Makefile | 6 5 + 1 - 0 !
apron/products/Makefile | 5 4 + 1 - 0 !
mlgmpidl/Makefile | 6 5 + 1 - 0 !
7 files changed, 64 insertions(+), 21 deletions(-)

 patch in order to be able to build on non-native archs

0004 Patch in order to resolve symbols.patch | (download)

apron/apron/Makefile | 2 1 + 1 - 0 !
apron/box/Makefile | 2 1 + 1 - 0 !
apron/newpolka/Makefile | 2 1 + 1 - 0 !
apron/octagons/Makefile | 2 1 + 1 - 0 !
apron/ppl/Makefile | 4 2 + 2 - 0 !
apron/products/Makefile | 2 1 + 1 - 0 !
6 files changed, 7 insertions(+), 7 deletions(-)

 patch in order to resolve symbols

Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=558838
0005 Install oct .a.patch | (download)

apron/octagons/Makefile | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 install oct*.a

0006 Remove references to obsolete mpfr_random.patch | (download)

mlgmpidl/gmp_random.idl | 1 0 + 1 - 0 !
mlgmpidl/gmp_random.ml | 3 0 + 3 - 0 !
mlgmpidl/gmp_random.mli | 3 0 + 3 - 0 !
mlgmpidl/gmp_random_caml.c | 13 0 + 13 - 0 !
mlgmpidl/tmp/gmp_random.idl | 1 0 + 1 - 0 !
mlgmpidl/tmp/gmp_random.ml | 3 0 + 3 - 0 !
mlgmpidl/tmp/gmp_random.mli | 3 0 + 3 - 0 !
mlgmpidl/tmp/gmp_random_stubs.c | 13 0 + 13 - 0 !
8 files changed, 40 deletions(-)

 remove references to obsolete mpfr_random

Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=589359
Signed-off-by: Stephane Glondu <steph@glondu.net>

0007 Fix rounding mode check in assert.patch | (download)

mlgmpidl/gmp_caml.h | 8 6 + 2 - 0 !
1 file changed, 6 insertions(+), 2 deletions(-)

 fix rounding mode check in assert.

Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=589359
Signed-off-by: Stephane Glondu <steph@glondu.net>

0008 Fix build failure with ppl 1.0.patch | (download)

apron/ppl/ppl_user.cc | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 fix build failure with ppl-1.0