Update and rename newpython.yml to python-wheel-build.yml

meelgroup · Jul 14, 2024 · 756e858 · 756e858
1 parent bef1ac8
commit 756e858
Showing 1 changed file with 22 additions and 1 deletion.
diff --git a/.github/workflows/newpython.yml → .github/workflows/python-wheel-build.yml b/.github/workflows/newpython.yml → .github/workflows/python-wheel-build.yml
@@ -11,13 +11,34 @@ jobs:
         os: [ubuntu-20.04, windows-2022, macos-13]
 
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
+      - name: Checkout CaDiCaL
+        uses: actions/checkout@v3
+        with:
+          repository: meelgroup/cadical
+          ref: 'add_dynamic_lib'
+          path: python/cadical
+
+      - name: Checkout Cadiback
+        uses: actions/checkout@v3
+        with:
+          repository: meelgroup/cadiback
+          ref: 'mate'
+          path: python/cadiback
+
+      - name: configure and build CaDiCaL
+        run: cd python/cadical && CXXFLAGS=-fPIC ./configure --competition && make -j4
+
+      - name: Configure and build Cadiback
+        run: cd python/cadiback && ./configure && make -j4
+
       - name: Checkout CMS
         uses: actions/checkout@v2
         with:
           repository: msoos/cryptominisat
           ref: 'master'
           path: python/cryptominisat
+
       - name: Checkout Arjun
         uses: actions/checkout@v2
         with: