diff --git a/.github/workflows/python-wheel-build.yml b/.github/workflows/python-wheel-build.yml index 7bc4e4426..49a621de7 100644 --- a/.github/workflows/python-wheel-build.yml +++ b/.github/workflows/python-wheel-build.yml @@ -25,8 +25,6 @@ jobs: run: python -m cibuildwheel --output-dir wheelhouse env: # CIBW_BEFORE_ALL_LINUX: yum install -y wget - CIBW_BEFORE_ALL_LINUX: > - yum install -y gmp-devel glibc-devel && # wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz && # tar xf gmp-6.3.0.tar.xz && # cd gmp-6.3.0 && @@ -34,6 +32,8 @@ jobs: # make -j8 && # make install && # cd .. && + CIBW_BEFORE_ALL_LINUX: > + yum install -y gmp-devel glibc-devel && git clone https://github.com/meelgroup/cadical.git && cd cadical && git checkout add_dynamic_lib &&