1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-21 04:06:46 +00:00

Upgrade to 0.1.8.

This includes the fixes used to chase the upgrade of Flint.
This commit is contained in:
Thierry Thomas 2020-08-03 17:59:57 +00:00
parent a90d0f7e80
commit 115e5a0bb5
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=544094
6 changed files with 4 additions and 67 deletions

View File

@ -2,7 +2,7 @@
# $FreeBSD$
PORTNAME= e-antic
PORTVERSION= 0.1.7
PORTVERSION= 0.1.8
#MASTER_SITES= https://www.labri.fr/perso/vdelecro/e-antic/
CATEGORIES= math

View File

@ -1,3 +1,3 @@
TIMESTAMP = 1592513100
SHA256 (videlec-e-antic-0.1.7_GH0.tar.gz) = 700bae00a11006702fdcce7168dfc1f6a4194f37c64bcf79b587bfd7e03a6303
SIZE (videlec-e-antic-0.1.7_GH0.tar.gz) = 127990
TIMESTAMP = 1596476102
SHA256 (videlec-e-antic-0.1.8_GH0.tar.gz) = 7c7c7693f86d8bb6d849d903cdb6796491d845a9fd79e8a3c9166edbf2436bc0
SIZE (videlec-e-antic-0.1.8_GH0.tar.gz) = 127960

View File

@ -1,13 +0,0 @@
--- e-antic/e-antic.h.orig 2020-06-13 18:49:26 UTC
+++ e-antic/e-antic.h
@@ -20,8 +20,8 @@ extern "C" {
/* check flint version */
-#if __FLINT_RELEASE != 20502 && __FLINT_RELEASE != 20503 && __FLINT_RELEASE != 20600
-#error FLINT 2.5.2 or 2.5.3 required
+#if __FLINT_RELEASE < 20502
+#error FLINT >= 2.5.2 required
#endif
#ifdef __cplusplus

View File

@ -1,28 +0,0 @@
--- e-antic/poly_extra.h.orig 2020-06-13 18:49:26 UTC
+++ e-antic/poly_extra.h
@@ -262,7 +262,7 @@ void fmpz_poly_evaluate_at_one(fmpz_t res, fmpz * p, s
return _fmpz_vec_sum(res, p, len);
}
-#if __FLINT_RELEASE != 20600
+#if __FLINT_RELEASE < 20600
static __inline__
double fmpq_get_d(const fmpq_t q)
{
@@ -346,14 +346,14 @@ void _fmpz_poly_num_real_roots_sturm(slong * n_neg, sl
void fmpz_poly_product_roots_fmpq_vec(fmpz_poly_t poly, const fmpq * xs, slong n);
-#elif __FLINT_RELEASE == 20503 || __FLINT_RELEASE == 20600
+#elif __FLINT_RELEASE > 20502
#define _EANTIC_FIXED_fmpq_poly_get_str_pretty _fmpq_poly_get_str_pretty
#define EANTIC_FIXED_fmpq_poly_get_str_pretty fmpq_poly_get_str_pretty
#else
-#error "Invalid flint release: e-antic needs flint-2.5.2, flint-2.5.3 or flint-2.6.0"
+#error "Invalid flint release: e-antic needs flint >= 2.5.2"
#endif

View File

@ -1,11 +0,0 @@
--- nf_elem/mul.c.orig 2020-06-13 18:49:26 UTC
+++ nf_elem/mul.c
@@ -127,7 +127,7 @@ void _nf_elem_mul_red(nf_elem_t a, const nf_elem_t b,
_fmpz_vec_set(r, NF_ELEM_NUMREF(a), plen);
-#if __FLINT_RELEASE == 20600
+#if __FLINT_RELEASE >= 20600
_fmpz_poly_divrem(q, NF_ELEM_NUMREF(a), r, plen,
fmpq_poly_numref(nf->pol), len, 0);
#else

View File

@ -1,11 +0,0 @@
--- nf_elem/reduce.c.orig 2020-06-13 18:49:26 UTC
+++ nf_elem/reduce.c
@@ -80,7 +80,7 @@ void _nf_elem_reduce(nf_elem_t a, const nf_t nf)
_fmpz_vec_set(r, NF_ELEM_NUMREF(a), plen);
-#if __FLINT_RELEASE == 20600
+#if __FLINT_RELEASE >= 20600
_fmpz_poly_divrem(q, NF_ELEM_NUMREF(a), r, plen,
fmpq_poly_numref(nf->pol), len, 0);
#else