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 1153b89Copy full SHA for 1153b89
bin/build_dependencies_unix.sh
@@ -282,8 +282,14 @@ 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
+ ./configure --prefix=$PREFIX\
289
+ --enable-arch=${HOST_ARG%%-*}\
290
+ --disable-assembly\
291
+ --disable-avx2\
292
+ --disable-avx512\
293
$FLINTARB_WITHGMP\
294
--with-mpfr=$PREFIX\
295
--disable-static\
0 commit comments