Update binary-build.yml

msoos · Apr 12, 2024 · 42daae3 · 42daae3
1 parent e3d0bc5
commit 42daae3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/binary-build.yml b/.github/workflows/binary-build.yml
@@ -57,7 +57,7 @@ jobs:
     - name: Build Cadical
       run: |
        cd cadical
-       ./configure
+       CXX=c++ ./configure
        make -j8
        cd ..
 
@@ -71,7 +71,7 @@ jobs:
     - name: Build Cadiback
       run: |
        cd cadiback
-       ./configure
+       CXX=c++ ./configure
        make -j8
        cd ..