[flint] 01/01: Added a patch to remove a test file

Julien Puydt julien.puydt at laposte.net
Fri May 23 17:49:56 UTC 2014


This is an automated email from the git hooks/post-receive script.

jpuydt-guest pushed a commit to branch master
in repository flint.

commit 5f43febc58762cb63108669b99180f70b6d290ad
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Fri May 23 18:50:30 2014 +0200

    Added a patch to remove a test file
    
    There is an incompatibility in GMP >= 6.0.0, which makes those tests fail
---
 debian/patches/gmp_6_0_0_compat.patch | 229 ++++++++++++++++++++++++++++++++++
 debian/patches/series                 |   1 +
 2 files changed, 230 insertions(+)

diff --git a/debian/patches/gmp_6_0_0_compat.patch b/debian/patches/gmp_6_0_0_compat.patch
new file mode 100644
index 0000000..39dad98
--- /dev/null
+++ b/debian/patches/gmp_6_0_0_compat.patch
@@ -0,0 +1,229 @@
+Description: Remove a test file which fails with GMP >= 6.0.0 (making it possible to build with it)
+Author: Julien Puydt <julien.puydt at laposte.net>
+Forwarded: not-needed
+
+Index: flint/fmpz/test/t-invmod.c
+===================================================================
+--- flint.orig/fmpz/test/t-invmod.c
++++ /dev/null
+@@ -1,220 +0,0 @@
+-/*=============================================================================
+-
+-    This file is part of FLINT.
+-
+-    FLINT is free software; you can redistribute it and/or modify
+-    it under the terms of the GNU General Public License as published by
+-    the Free Software Foundation; either version 2 of the License, or
+-    (at your option) any later version.
+-
+-    FLINT 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.  See the
+-    GNU General Public License for more details.
+-
+-    You should have received a copy of the GNU General Public License
+-    along with FLINT; if not, write to the Free Software
+-    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
+-
+-=============================================================================*/
+-/******************************************************************************
+-
+-    Copyright (C) 2009 William Hart
+-
+-******************************************************************************/
+-
+-#include <stdio.h>
+-#include <stdlib.h>
+-#include <gmp.h>
+-#include "flint.h"
+-#include "ulong_extras.h"
+-#include "fmpz.h"
+-
+-int
+-main(void)
+-{
+-    int i, result;
+-    FLINT_TEST_INIT(state);
+-
+-    flint_printf("invmod....");
+-    fflush(stdout);
+-
+-    
+-
+-    for (i = 0; i < 10000 * flint_test_multiplier(); i++)
+-    {
+-        fmpz_t a, b, c;
+-        mpz_t d, e, f, g;
+-        int r1, r2;
+-
+-        fmpz_init(a);
+-        fmpz_init(b);
+-        fmpz_init(c);
+-
+-        mpz_init(d);
+-        mpz_init(e);
+-        mpz_init(f);
+-        mpz_init(g);
+-
+-        fmpz_randtest(a, state, 200);
+-        fmpz_randtest_not_zero(b, state, 200);
+-
+-        fmpz_get_mpz(d, a);
+-        fmpz_get_mpz(e, b);
+-
+-        r1 = fmpz_invmod(c, a, b);
+-        r2 = mpz_invert(f, d, e);
+-
+-        fmpz_get_mpz(g, c);
+-
+-        result = (r1 != 0 && r2 != 0 && (mpz_cmp(f, g) == 0)) || (r1 == 0 && r2 == 0);
+-        if (!result)
+-        {
+-            flint_printf("FAIL:\n");
+-            gmp_printf
+-                ("d = %Zd, e = %Zd, f = %Zd, g = %Zd, r1 = %d, r2 = %d\n", d,
+-                 e, f, g, r1, r2);
+-            abort();
+-        }
+-
+-        fmpz_clear(a);
+-        fmpz_clear(b);
+-        fmpz_clear(c);
+-
+-        mpz_clear(d);
+-        mpz_clear(e);
+-        mpz_clear(f);
+-        mpz_clear(g);
+-    }
+-
+-    /* Check aliasing of a and b */
+-    for (i = 0; i < 10000 * flint_test_multiplier(); i++)
+-    {
+-        fmpz_t a, c;
+-        mpz_t d, f, g;
+-        int r1, r2;
+-
+-        fmpz_init(a);
+-        fmpz_init(c);
+-
+-        mpz_init(d);
+-        mpz_init(f);
+-        mpz_init(g);
+-
+-        fmpz_randtest_not_zero(a, state, 200);
+-
+-        fmpz_get_mpz(d, a);
+-
+-        r1 = fmpz_invmod(c, a, a);
+-        r2 = mpz_invert(f, d, d);
+-
+-        fmpz_get_mpz(g, c);
+-
+-        result = (r1 != 0 && r2 != 0 && (mpz_cmp(f, g) == 0)) || (r1 == 0 && r2 == 0);
+-        if (!result)
+-        {
+-            flint_printf("FAIL:\n");
+-            gmp_printf("d = %Zd, f = %Zd, g = %Zd, r1 = %d, r2 = %d\n", d, f,
+-                       g, r1, r2);
+-            abort();
+-        }
+-
+-        fmpz_clear(a);
+-        fmpz_clear(c);
+-
+-        mpz_clear(d);
+-        mpz_clear(f);
+-        mpz_clear(g);
+-    }
+-
+-    /* Test aliasing of a and c */
+-    for (i = 0; i < 10000 * flint_test_multiplier(); i++)
+-    {
+-        fmpz_t a, b;
+-        mpz_t d, e, f, g;
+-        int r1, r2;
+-
+-        fmpz_init(a);
+-        fmpz_init(b);
+-
+-        mpz_init(d);
+-        mpz_init(e);
+-        mpz_init(f);
+-        mpz_init(g);
+-
+-        fmpz_randtest(a, state, 200);
+-        fmpz_randtest_not_zero(b, state, 200);
+-
+-        fmpz_get_mpz(d, a);
+-        fmpz_get_mpz(e, b);
+-
+-        r1 = fmpz_invmod(a, a, b);
+-        r2 = mpz_invert(f, d, e);
+-
+-        fmpz_get_mpz(g, a);
+-
+-        result = (r1 != 0 && r2 != 0 && (mpz_cmp(f, g) == 0)) || (r1 == 0 && r2 == 0);
+-        if (!result)
+-        {
+-            flint_printf("FAIL:\n");
+-            gmp_printf("d = %Zd, e = %Zd, f = %Zd, g = %Zd\n", d, e, f, g);
+-            abort();
+-        }
+-
+-        fmpz_clear(a);
+-        fmpz_clear(b);
+-
+-        mpz_clear(d);
+-        mpz_clear(e);
+-        mpz_clear(f);
+-        mpz_clear(g);
+-    }
+-
+-    /* Test aliasing of b and c */
+-    for (i = 0; i < 10000 * flint_test_multiplier(); i++)
+-    {
+-        fmpz_t a, b;
+-        mpz_t d, e, f, g;
+-        int r1, r2;
+-
+-        fmpz_init(a);
+-        fmpz_init(b);
+-
+-        mpz_init(d);
+-        mpz_init(e);
+-        mpz_init(f);
+-        mpz_init(g);
+-
+-        fmpz_randtest(a, state, 200);
+-        fmpz_randtest_not_zero(b, state, 200);
+-
+-        fmpz_get_mpz(d, a);
+-        fmpz_get_mpz(e, b);
+-
+-        r1 = fmpz_invmod(b, a, b);
+-        r2 = mpz_invert(f, d, e);
+-
+-        fmpz_get_mpz(g, b);
+-
+-        result = (r1 != 0 && r2 != 0 && (mpz_cmp(f, g) == 0)) || (r1 == 0 && r2 == 0);
+-        if (!result)
+-        {
+-            flint_printf("FAIL:\n");
+-            gmp_printf("d = %Zd, e = %Zd, f = %Zd, g = %Zd\n", d, e, f, g);
+-            abort();
+-        }
+-
+-        fmpz_clear(a);
+-        fmpz_clear(b);
+-
+-        mpz_clear(d);
+-        mpz_clear(e);
+-        mpz_clear(f);
+-        mpz_clear(g);
+-    }
+-
+-    FLINT_TEST_CLEANUP(state);
+-    
+-    flint_printf("PASS\n");
+-    return 0;
+-}
diff --git a/debian/patches/series b/debian/patches/series
index 62578db..09f7c7c 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,4 @@
+gmp_6_0_0_compat.patch
 #flint-s390.patch
 #flint-soname.patch
 #flint-clean.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/flint.git



More information about the debian-science-commits mailing list