Running configure

msoos · Jul 14, 2024 · bc1f226 · bc1f226
1 parent 5f2e1d4
commit bc1f226
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/python-wheel-build.yml b/.github/workflows/python-wheel-build.yml
@@ -22,13 +22,15 @@ jobs:
           repository: meelgroup/cadical
           ref: 'add_dynamic_lib'
           path: python/cadical
+          run: CXXFLAGS=-fPIC ./configure --competition
 
       - name: Checkout Cadiback
         uses: actions/checkout@v3
         with:
           repository: meelgroup/cadiback
           ref: 'mate'
           path: python/cadiback
+          run: ./configure
 
       # Used to host cibuildwheel
       - uses: actions/setup-python@v3