Merge pull request #170 from edgarcosta/enablearch

enable-arch instead of host for flint
flintlib · Jul 23, 2024 · 671bde2 · 671bde2
2 parents 2e4b0ab + af56c4d
commit 671bde2
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/bin/build_dependencies_unix.sh b/bin/build_dependencies_unix.sh
@@ -257,6 +257,7 @@ else
   tar xf mpfr-$MPFRVER.tar.gz
   cd mpfr-$MPFRVER
     ./configure --prefix=$PREFIX\
+      --host=$HOST_ARG\
       --with-gmp=$PREFIX\
       --enable-shared=yes\
       --enable-static=no
@@ -281,7 +282,13 @@ 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\
+    --enable-arch=${HOST_ARG%%-*}\
+    --disable-assembly\
+    --disable-avx2\
+    --disable-avx512\
     $FLINTARB_WITHGMP\
     --with-mpfr=$PREFIX\
     --disable-static\