From bc1f22684d12c0594b4b101a9709cf8b7d95d1d8 Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Sun, 14 Jul 2024 15:29:48 +0200
Subject: [PATCH] Running configure

---
 .github/workflows/python-wheel-build.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/python-wheel-build.yml b/.github/workflows/python-wheel-build.yml
index 18f937e81..6f95e3ba8 100644
--- a/.github/workflows/python-wheel-build.yml
+++ b/.github/workflows/python-wheel-build.yml
@@ -22,6 +22,7 @@ jobs:
           repository: meelgroup/cadical
           ref: 'add_dynamic_lib'
           path: python/cadical
+          run: CXXFLAGS=-fPIC ./configure --competition
 
       - name: Checkout Cadiback
         uses: actions/checkout@v3
@@ -29,6 +30,7 @@ jobs:
           repository: meelgroup/cadiback
           ref: 'mate'
           path: python/cadiback
+          run: ./configure
 
       # Used to host cibuildwheel
       - uses: actions/setup-python@v3