get rid of flint dependency on ntl

use header-only ntl interface, flintlib/flint#1489
sagemath · Oct 11, 2023 · 65548b1 · 65548b1
1 parent 6ef8bd2
commit 65548b1
Show file tree

Hide file tree

Showing 3 changed files with 1,125 additions and 2 deletions.
diff --git a/build/pkgs/flint/dependencies b/build/pkgs/flint/dependencies
@@ -1,4 +1,4 @@
-$(MP_LIBRARY) mpfr ntl
+$(MP_LIBRARY) mpfr
 
 ----------
 All lines of this file are ignored except the first.