Index: math/flint2/Makefile =================================================================== --- math/flint2/Makefile (revision 529202) +++ math/flint2/Makefile (working copy) @@ -2,6 +2,7 @@ PORTNAME= flint2 DISTVERSION= g20190210 +PORTREVISION= 1 CATEGORIES= math PATCH_SITES= https://github.com/${GH_ACCOUNT}/${PORTNAME}/commit/ @@ -17,7 +18,7 @@ LIB_DEPENDS= libgmp.so:math/gmp \ libmpfr.so:math/mpfr -USES= cmake +USES= gmake GNU_CONFIGURE= yes CONFIGURE_ARGS= --disable-static USE_GITHUB= yes @@ -25,6 +26,13 @@ GH_TAGNAME= 2baa9bc USE_LDCONFIG= yes -CMAKE_ON= BUILD_SHARED_LIBS +OPTIONS_DEFINE= NTL +OPTIONS_DEFAULT=NTL +NTL_DESC= Victor Shoup's Number Theory Library (used by SageMath) +NTL_LIB_DEPENDS= libntl.so:math/ntl +NTL_CONFIGURE_WITH= ntl + +TEST_TARGET= check + .include Index: math/flint2/pkg-plist =================================================================== --- math/flint2/pkg-plist (revision 529202) +++ math/flint2/pkg-plist (working copy) @@ -11,6 +11,23 @@ include/flint/fft_tuning.h include/flint/flint.h include/flint/flintxx.h +include/flint/flintxx/default_rules.h +include/flint/flintxx/evaluation_tools.h +include/flint/flintxx/expression.h +include/flint/flintxx/expression_traits.h +include/flint/flintxx/flint_classes.h +include/flint/flintxx/flint_exception.h +include/flint/flintxx/forwarding.h +include/flint/flintxx/frandxx.h +include/flint/flintxx/ltuple.h +include/flint/flintxx/matrix.h +include/flint/flintxx/mp.h +include/flint/flintxx/rules.h +include/flint/flintxx/stdmath.h +include/flint/flintxx/traits.h +include/flint/flintxx/traits_fwd.h +include/flint/flintxx/tuple.h +include/flint/flintxx/vector.h include/flint/fmpq.h include/flint/fmpq_mat.h include/flint/fmpq_matxx.h @@ -63,7 +80,6 @@ include/flint/fq_zech_poly.h include/flint/fq_zech_poly_factor.h include/flint/fq_zech_vec.h -include/flint/gettimeofday.h include/flint/gmpcompat.h include/flint/hashmap.h include/flint/long_extras.h @@ -100,3 +116,5 @@ include/flint/thread_pool.h include/flint/ulong_extras.h lib/libflint.so +lib/libflint.so.13 +lib/libflint.so.13.5.2