Skip to content

Install Bertini in GitHub workflows #4369

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
d-torrance wants to merge 3 commits into
base: development
Choose a base branch
from
+27 −5
Draft

Install Bertini in GitHub workflows #4369

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
a065a42
Simplify apt installation in GitHub builds
d-torrance May 25, 2026
9178394
Install bertini in GitHub workflows
d-torrance May 25, 2026
7a47944
Install polymake in macOS builds and bergman in Ubuntu builds
d-torrance May 25, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
32 changes: 27 additions & 5 deletions .github/workflows/test_build.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -64,7 +64,7 @@ jobs:
brew config
brew update
brew tap macaulay2/tap
brew install automake bison boost libtool tbb ccache ctags llvm make yasm libffi msolve googletest fplll eigen jansson r
brew install automake bison boost libtool tbb ccache ctags llvm make yasm libffi msolve googletest fplll eigen jansson r apaffenholz/polymake/polymake
brew install texinfo || true # sometimes post-install step fails
brew install --only-dependencies macaulay2/tap/M2
brew link factory --force
Expand All @@ -78,14 +78,35 @@ jobs:
run: |
sudo add-apt-repository -y -n ppa:macaulay2/macaulay2
sudo apt-get update
sudo apt-get install -y -q --no-install-recommends clang-16 gfortran libtool-bin ninja-build yasm ccache
sudo apt-get install -y -q --no-install-recommends libtool-bin ninja-build yasm ccache
sudo apt-get install -y -q --no-install-recommends liblzma-dev libboost-stacktrace-dev \
libncurses-dev libncurses5-dev libreadline-dev libeigen3-dev libopenblas-dev libxml2-dev \
libreadline-dev libeigen3-dev libopenblas-dev \
libgc-dev libgdbm-dev libglpk-dev libgmp3-dev libgtest-dev libmpfr-dev libmpfi-dev libntl-dev gfan \
libgivaro-dev libboost-regex-dev fflas-ffpack libflint-dev libmps-dev libfrobby-dev \
libsingular-dev singular-data libcdd-dev cohomcalg topcom 4ti2 libnormaliz-dev normaliz coinor-csdp \
libnauty-dev nauty lrslib polymake pipx phcpack w3c-markup-validator libtbb-dev qepcad libomp-16-dev \
msolve libfplll-dev libjansson-dev r-base
libnauty-dev nauty lrslib polymake pipx phcpack libtbb-dev qepcad \
msolve libfplll-dev libjansson-dev r-base bergman

# ----------------------
# Install Bertini
# ----------------------

- name: Cache Bertini
id: cache-bertini
uses: actions/cache@v5
with:
path: ~/bertini
key: bertini-${{ runner.os }}-v1.7

- name: Download Bertini
if: steps.cache-bertini.outputs.cache-hit != 'true'
run: |
mkdir -p ~/bertini
if [[ "${{ runner.os }}" == "Linux" ]]; then
curl -fL https://bertini.nd.edu/BertiniLinux64_v1.7.tar.gz | tar xz --strip-components=1 -C ~/bertini
else
curl -fL https://bertini.nd.edu/BertiniApple_v1.7.tar.gz | tar xz --strip-components=1 -C ~/bertini
fi

# ----------------------
# Steps common to all build variants
Expand Down Expand Up @@ -121,6 +142,7 @@ jobs:
echo "CPPFLAGS=-I$(brew --prefix)/include -I$(brew --prefix libomp)/include -I$(brew --prefix readline)/include" >> $GITHUB_ENV
echo "LDFLAGS= -L$(brew --prefix)/lib -L$(brew --prefix libomp)/lib -L$(brew --prefix readline)/lib" >> $GITHUB_ENV
fi
echo "$HOME/bertini" >> $GITHUB_PATH

- uses: actions/cache@v5
if: matrix.build-system == 'cmake'
Expand Down
Loading