From 23d4b576f4295995e5a25ab4c48bee162227c15d Mon Sep 17 00:00:00 2001
From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com>
Date: Fri, 6 Oct 2023 01:18:29 -0700
Subject: [PATCH] Update action.yml

---
 .github/actions/build/action.yml | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/.github/actions/build/action.yml b/.github/actions/build/action.yml
index 2febda0c6..bfee1f485 100644
--- 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 }}