Skip to content

Commit d541d35

Browse files
committed
Use --host again
1 parent 93204dd commit d541d35

File tree

1 file changed

+1
-6
lines changed

1 file changed

+1
-6
lines changed

bin/build_dependencies_unix.sh

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -285,13 +285,8 @@ git clone https://github.com/albinahlback/flint.git
285285
cd flint
286286
git checkout machine_vectors_casts
287287
./bootstrap.sh
288-
# --host=$HOST_ARG\ # host is ignored
289-
# --enable-arch works on 3.1.3p1, not available on HEAD
290288
./configure --prefix=$PREFIX\
291-
--enable-arch=${HOST_ARG%%-*}\
292-
--disable-assembly\
293-
--disable-avx2\
294-
--disable-avx512\
289+
--host=$HOST_ARG\
295290
$FLINTARB_WITHGMP\
296291
--with-mpfr=$PREFIX\
297292
--disable-static\

0 commit comments

Comments
 (0)