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 e1a59f5 commit bd92b08Copy full SHA for bd92b08
bin/build_dependencies_unix.sh
@@ -282,8 +282,13 @@ 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\
- --host=$HOST_ARG\
288
+ --enable-arch=${HOST_ARG%%-*}\
289
+ --disable-assembly\
290
+ --disable-avx2\
291
+ --disable-avx512\
292
$FLINTARB_WITHGMP\
293
--with-mpfr=$PREFIX\
294
--disable-static\
0 commit comments