-
-
Notifications
You must be signed in to change notification settings - Fork 552
Commit
- Loading branch information
There are no files selected for viewing
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
$(MP_LIBRARY) flint arb antic boost_cropped | ||
$(MP_LIBRARY) flint boost_cropped | ||
|
||
---------- | ||
All lines of this file are ignored except the first. |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,5 @@ | ||
tarball=flint-VERSION.tar.gz | ||
sha1=d17a245bddec753c6eb5841b28d0322ba0c9e2b6 | ||
md5=484e62dd7326a4af6e2072f4edbc769f | ||
cksum=1002348409 | ||
sha1=4574283d65c8e1a69733be2e8126746ef88464ac | ||
md5=5d6421c3c17e62dbe321c1f03fd75160 | ||
cksum=1625514091 | ||
upstream_url=http://flintlib.org/flint-VERSION.tar.gz |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
2.8.4 | ||
3.0.0-alpha1 |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
From 39d5924982e54a20b923df49d4b6a3abe079040f Mon Sep 17 00:00:00 2001 | ||
From: Marc Mezzarobba <[email protected]> | ||
Date: Thu, 29 Jun 2023 14:50:06 +0200 | ||
Subject: [PATCH] fix detection of ntl | ||
|
||
--- | ||
configure.ac | 2 ++ | ||
1 file changed, 2 insertions(+) | ||
|
||
diff --git a/configure.ac b/configure.ac | ||
index 02c76ee01..d2b26950d 100644 | ||
--- a/configure.ac | ||
+++ b/configure.ac | ||
@@ -653,8 +653,10 @@ fi | ||
|
||
if test "$with_ntl" = "yes"; | ||
then | ||
+ AC_LANG_PUSH([C++]) | ||
AC_CHECK_HEADER([NTL/ZZ.h],, | ||
AC_MSG_ERROR([Could not find NTL/ZZ.h!])) | ||
+ AC_LANG_POP([C++]) | ||
fi | ||
|
||
################################################################################ | ||
-- | ||
2.40.1 | ||
|
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,4 @@ | ||
cd src | ||
./bootstrap.sh | ||
sdh_configure --with-ntl=yes | ||
sdh_make |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,36 +1,2 @@ | ||
############################################################################### | ||
# | ||
# FLINT Sage install script | ||
# | ||
############################################################################### | ||
if [ "$SAGE_DEBUG" = "yes" ]; then | ||
echo "Building a debug version of FLINT." | ||
FLINT_TUNE=" $FLINT_TUNE"; export FLINT_TUNE | ||
FLINT_CONFIGURE="--enable-assert $FLINT_CONFIGURE" | ||
fi | ||
|
||
cd src | ||
|
||
echo "Configuring FLINT." | ||
# Trac #29607: We must always supply --with-gmp, --with-mpfr, | ||
# --with-ntl because otherwise FLINT's configure script uses | ||
# /usr/local, which is always wrong. | ||
# This is why we do not use $SAGE_CONFIGURE_GMP etc. here. | ||
# The value $SAGE_LOCAL is always a safe choice even if the library | ||
# is coming from the system and is found using what is in | ||
# LIBRARY_PATH or LDFLAGS etc. | ||
./configure \ | ||
--disable-static \ | ||
--prefix="$SAGE_LOCAL" \ | ||
--with-gmp="$SAGE_LOCAL" \ | ||
--with-mpfr="$SAGE_LOCAL" \ | ||
--with-ntl="$SAGE_LOCAL" \ | ||
$FLINT_CONFIGURE || sdh_die "Error: Failed to configure FLINT." | ||
|
||
sdh_make verbose | ||
|
||
echo "Deleting old FLINT files." | ||
rm -f $SAGE_LOCAL/lib/libflint* | ||
rm -rf $SAGE_LOCAL/include/flint | ||
|
||
sdh_make_install |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
$(MP_LIBRARY) arb ecm flint mpc mpfr | cmake | ||
$(MP_LIBRARY) ecm flint mpc mpfr | cmake | ||
|
||
---------- | ||
All lines of this file are ignored except the first. |