Run configure separately

msoos · Jul 14, 2024 · c435d7d · c435d7d
1 parent 1c4c55a
commit c435d7d
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.github/workflows/python-wheel-build.yml b/.github/workflows/python-wheel-build.yml
@@ -22,15 +22,20 @@ 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
+
+      - name: configure CaDiCaL
+        run: cd python/cadical && CXXFLAGS=-fPIC ./configure --competition
+
+      - name: Configure Cadiback
+        run: cd python/cadiback && ./configure
+
 
       # Used to host cibuildwheel
       - uses: actions/setup-python@v3