1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
name: msolve CI
on:
push:
branches: [ "master" ]
pull_request:
branches: [ "master" ]
jobs:
build:
runs-on: ${{ matrix.os }}
timeout-minutes: 10
strategy:
fail-fast: false
matrix:
os:
- ubuntu-latest
- macos-latest
steps:
- uses: actions/checkout@v3
- name: "Install dependencies"
run: |
if [ "$RUNNER_OS" == "Linux" ]; then
# sharutils is for uudecode
sudo apt install libgmp-dev libflint-dev libmpfr-dev libntl-dev
elif [ "$RUNNER_OS" == "macOS" ]; then
brew install autoconf automake libtool gmp flint mpfr ntl
else
echo "$RUNNER_OS not supported"
exit 1
fi
- name: autogen
run: ./autogen.sh
- name: configure
run: |
if [ "$RUNNER_OS" == "Linux" ]; then
./configure
elif [ "$RUNNER_OS" == "macOS" ]; then
./configure LDFLAGS="-L$(brew --prefix)/lib/" CFLAGS="-g -O2 -I$(brew --prefix)/include/"
else
echo "$RUNNER_OS not supported"
exit 1
fi
- name: make
run: make
- name: make check
run: make check
- name: make distcheck
run: |
if [ "$RUNNER_OS" == "Linux" ]; then
make distcheck
elif [ "$RUNNER_OS" == "macOS" ]; then
make distcheck LDFLAGS="-L$(brew --prefix)/lib/" CFLAGS="-g -O2 -I$(brew --prefix)/include/"
else
echo "$RUNNER_OS not supported"
exit 1
fi
flintdev-assert-ntl:
name: FLINT git version, compiled with assert and NTL
runs-on: ubuntu-latest
env:
CC: "gcc"
steps:
- uses: actions/checkout@v6
- name: "Setup"
run: |
sudo apt-get install -y libgmp-dev libmpfr-dev libntl-dev autoconf libtool-bin
$CC --version
make --version
autoconf --version
libtool --version
echo "MAKE=make -j$(expr $(nproc) + 1) --output-sync=target" >> $GITHUB_ENV
- name: "Build FLINT"
run: |
git clone --depth=1 https://github.com/flintlib/flint
cd flint && ./bootstrap.sh && ./configure CC=${CC} --with-ntl --enable-assert
$MAKE && sudo make install && sudo ldconfig
- name: "Build and Test msolve"
run: |
./autogen.sh && ./configure && $MAKE && make check
|
