File tree Expand file tree Collapse file tree 2 files changed +7
-4
lines changed Expand file tree Collapse file tree 2 files changed +7
-4
lines changed Original file line number Diff line number Diff line change @@ -278,9 +278,12 @@ echo " building Flint"
278278echo --------------------------------------------
279279echo
280280
281- curl -O -L https://github.com/flintlib/flint/releases/download/v$FLINTVER /flint-$FLINTVER .tar.gz
282- tar xf flint-$FLINTVER .tar.gz
283- cd flint-$FLINTVER
281+ # curl -O -L https://github.com/flintlib/flint/releases/download/v$FLINTVER/flint-$FLINTVER.tar.gz
282+ # tar xf flint-$FLINTVER.tar.gz
283+ # cd flint-$FLINTVER
284+ git clone https://github.com/albinahlback/flint.git
285+ cd flint
286+ git checkout rbit
284287 ./bootstrap.sh
285288 # --host=$HOST_ARG\ # host is ignored
286289 # --enable-arch works on 3.1.3p1, not available on HEAD
Original file line number Diff line number Diff line change @@ -89,7 +89,7 @@ skip = "*-win32 *-manylinux_i686 *-musllinux_*"
8989# free-threaded-support = true
9090
9191manylinux-x86_64-image = " manylinux2014"
92- manylinux-aarch64-image = " manylinux_2_28 "
92+ manylinux-aarch64-image = " manylinux2014 "
9393manylinux-i686-image = " manylinux2014"
9494test-command = " python -c \" import flint; print(str(flint.fmpz(2)))\" "
9595
You can’t perform that action at this time.
0 commit comments