File tree 2 files changed +55
-0
lines changed
2 files changed +55
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : Build Test
2
+
3
+ on : [push, pull_request]
4
+
5
+ jobs :
6
+
7
+ build_test :
8
+ name : Build with flint ${{ matrix.flintver }}
9
+ runs-on : ubuntu-22.04
10
+ strategy :
11
+ fail-fast : false
12
+ matrix :
13
+ # All supported versions
14
+ flintver : ['3.0.0', '3.0.1', '3.1.0']
15
+ steps :
16
+ - uses : actions/checkout@v4
17
+ - uses : actions/setup-python@v5
18
+ with :
19
+ python-version : 3.12
20
+ - run : bin/build_install.sh . ${{ matrix.flintver }}
21
+ - run : python -m flint.test
Original file line number Diff line number Diff line change
1
+ #! /bin/bash
2
+
3
+ set -o errexit
4
+
5
+ FLINTVER=$1
6
+
7
+ # Install GMP, MPFR and build tools from Ubuntu repos
8
+ sudo apt-get update
9
+ sudo apt-get install libgmp-dev libmpfr-dev xz-utils ninja-build
10
+
11
+ # Build flint and install to /usr/local
12
+ curl -O -L https://www.flintlib.org/flint-$FLINTVER .tar.gz
13
+ tar xf flint-$FLINTVER .tar.gz
14
+ cd flint-$FLINTVER
15
+ ./bootstrap.sh
16
+ ./configure --disable-static
17
+ make -j
18
+ sudo make install
19
+ cd ..
20
+
21
+ # Ensure the the libflint.so is found at runtime
22
+ sudo ldconfig /usr/local/lib
23
+
24
+ echo " Contents of /usr/local/lib:"
25
+ ls -l /usr/local/lib
26
+ echo
27
+
28
+ echo " Contents of /usr/local/lib/pkgconfig/flint.pc:"
29
+ cat /usr/local/lib/pkgconfig/flint.pc
30
+ echo
31
+
32
+ # Build python-flint using meson-python. This will use pkgconfig to find the
33
+ # flint library installed in /usr/local.
34
+ pip install .
You can’t perform that action at this time.
0 commit comments