comments

flintlib · Jul 22, 2024 · af56c4d · af56c4d
1 parent 4db601b
commit af56c4d
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/bin/build_dependencies_unix.sh b/bin/build_dependencies_unix.sh
@@ -282,9 +282,10 @@ curl -O -L https://github.com/flintlib/flint/releases/download/v$FLINTVER/flint-
 tar xf flint-$FLINTVER.tar.gz
 cd flint-$FLINTVER
   ./bootstrap.sh
+  # --host=$HOST_ARG\ # host is ignored
+  # --enable-arch works on 3.1.3p1, not available  on HEAD
   ./configure --prefix=$PREFIX\
-    # --host=$HOST_ARG\ # host is ignored
-    --enable-arch=${HOST_ARG%%-*}\ # works on 3.1.3p1, not available  on HEAD
+    --enable-arch=${HOST_ARG%%-*}\
     --disable-assembly\
     --disable-avx2\
     --disable-avx512\