Update action.yml

SRI-CSL · Oct 6, 2023 · 23d4b57 · 23d4b57
1 parent ee3235a
commit 23d4b57
Showing 1 changed file with 12 additions and 3 deletions.
diff --git a/.github/actions/build/action.yml b/.github/actions/build/action.yml
@@ -14,7 +14,7 @@ runs:
   using: composite
   steps:
     - name: Build and install libpoly
-      if: inputs.config-opt == '--enable-mcsat'
+      if: inputs.config-opt == '--enable-mcsat' && runner.os != 'Windows'
       shell: bash
       run: |
         pushd .
@@ -26,7 +26,7 @@ runs:
         sudo make install
         popd
     - name: Build and install CUDD
-      if: inputs.config-opt == '--enable-mcsat'
+      if: inputs.config-opt == '--enable-mcsat' && runner.os != 'Windows'
       shell: bash
       run: |
         pushd .
@@ -39,11 +39,20 @@ runs:
         sudo make install
         popd
     - name: Build and test Yices
+      if: runner.os != 'Windows'
       shell: bash
-      run: >-
+      run: |
         autoconf
         #CFLAGS='-Werror' ${{ inputs.env }} ./configure ${{ inputs.config-opt }}
         ${{ inputs.env }} ./configure ${{ inputs.config-opt }}
         # This is needed for yices2 to find libpoly.so.0. /usr/local/lib not searched by default?
         export LD_LIBRARY_PATH=/usr/local/lib/:${LD_LIBRARY_PATH}
         make MODE=${{ inputs.mode }}
+    - name: Build and test Yices
+      if: runner.os == 'Windows'
+      shell: bash
+      run: >-
+        autoconf
+        ${{ inputs.env }} ./configure ${{ inputs.config-opt }}
+        export LD_LIBRARY_PATH=/usr/local/lib/:${LD_LIBRARY_PATH}
+        make MODE=${{ inputs.mode }}