We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 76be770 commit 6573d4aCopy full SHA for 6573d4a
bin/build_dependencies_unix.sh
@@ -282,13 +282,8 @@ curl -O -L https://github.com/flintlib/flint/releases/download/v$FLINTVER/flint-
282
tar xf flint-$FLINTVER.tar.gz
283
cd flint-$FLINTVER
284
./bootstrap.sh
285
- # --host=$HOST_ARG\ # host is ignored
286
- # --enable-arch works on 3.1.3p1, not available on HEAD
287
./configure --prefix=$PREFIX\
288
- --enable-arch=${HOST_ARG%%-*}\
289
- --disable-assembly\
290
- --disable-avx2\
291
- --disable-avx512\
+ --host=$HOST_ARG\
292
$FLINTARB_WITHGMP\
293
--with-mpfr=$PREFIX\
294
--disable-static\
0 commit comments