Skip to content

Commit 2ce48b0

Browse files
Build from flintlib/flint#2323 for gr_ctx_clear
1 parent d869f47 commit 2ce48b0

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

bin/pyodide_build_flint.sh

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,12 @@
22

33
set -e
44

5-
curl -L https://github.com/flintlib/flint/releases/download/v3.2.2/flint-3.2.2.tar.xz -o flint-3.2.2.tar.xz
6-
tar -xf flint-3.2.2.tar.xz
5+
# curl -L https://github.com/flintlib/flint/releases/download/v3.2.2/flint-3.2.2.tar.xz -o flint-3.2.2.tar.xz
6+
# tar -xf flint-3.2.2.tar.xz
77

8-
cd flint-3.2.2
8+
git clone https://github.com/fredrik-johansson/flint flint-3.2.2 --branch clear
99

10+
cd flint-3.2.2
1011

1112
emconfigure ./configure \
1213
--disable-dependency-tracking \

0 commit comments

Comments
 (0)