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 93204dd commit d541d35Copy full SHA for d541d35
bin/build_dependencies_unix.sh
@@ -285,13 +285,8 @@ git clone https://github.com/albinahlback/flint.git
285
cd flint
286
git checkout machine_vectors_casts
287
./bootstrap.sh
288
- # --host=$HOST_ARG\ # host is ignored
289
- # --enable-arch works on 3.1.3p1, not available on HEAD
290
./configure --prefix=$PREFIX\
291
- --enable-arch=${HOST_ARG%%-*}\
292
- --disable-assembly\
293
- --disable-avx2\
294
- --disable-avx512\
+ --host=$HOST_ARG\
295
$FLINTARB_WITHGMP\
296
--with-mpfr=$PREFIX\
297
--disable-static\
0 commit comments