Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
use internal or external flint, always
Browse files Browse the repository at this point in the history
If --with-flint is missing from options, it's
not used by eclib.
  • Loading branch information
dimpase committed Aug 9, 2019
1 parent 23f8448 commit af16082
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion build/pkgs/eclib/spkg-install
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ cd src/

sdh_configure $SAGE_CONFIGURE_NTL \
$SAGE_CONFIGURE_PARI \
$SAGE_CONFIGURE_FLINT \
--with-flint=$SAGE_FLINT_PREFIX \
--with-boost="no" \
--disable-allprogs
sdh_make
Expand Down

0 comments on commit af16082

Please sign in to comment.