From 12b2d102fcbd73e27360a28702784c8a2e2d192c Mon Sep 17 00:00:00 2001
From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com>
Date: Fri, 6 Oct 2023 19:15:43 -0700
Subject: [PATCH] Update action.yml

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

diff --git a/.github/actions/build/action.yml b/.github/actions/build/action.yml
index a7849d533..27001b8ed 100644
--- a/.github/actions/build/action.yml
+++ b/.github/actions/build/action.yml
@@ -50,18 +50,18 @@ runs:
         make MODE=${{ inputs.mode }}
     - name: Build and test Yices
       if: runner.os == 'Windows'
-      shell: bash
-      run: bash "\
-        pwd = $(pwd) && wget https://ftp.gnu.org/gnu/gmp/gmp-6.2.1.tar.xz && \
-        tar xf gmp-6.2.1.tar.xz && \
-        mkdir dynamic_gmp && mkdir static_gmp && \
-        pushd . && \
-        cd gmp-6.2.1 && ./configure CPPFLAGS=-I$pwd/gmp-6.2.1 --host=x86_64-w64-mingw32 --build=i686-pc-cygwin --enable-shared --disable-static --prefix=$pwd/dynamic_gmp && \
-        make && make install && \
-        make clean && ./configure --host=x86_64-w64-mingw32 --build=i686-pc-cygwin --enable-static --disable-shared --prefix=$pwd/static_gmp && \
-        make && make install && \
-        popd && \
-        autoconf && \
-        ${{ inputs.env }} ./configure --host=x86_64-w64-mingw32 ${{ inputs.config-opt }} CPPFLAGS=-I$pwd/dynamic_gmp/include LDFLAGS=-L$pwd/dynamic_gmp/lib --with-static-gmp=$pwd/static_gmp/lib/libgmp.a --with-static-gmp-include-dir=$pwd/static_gmp/include && \
-        export LD_LIBRARY_PATH=/usr/local/lib/:${LD_LIBRARY_PATH} && \
-        make OPTION=mingw64 MODE=${{ inputs.mode }}"
+      shell: C:\cygwin\bin\bash.exe '{0}'
+      run: >-
+        pwd = $(pwd) && wget https://ftp.gnu.org/gnu/gmp/gmp-6.2.1.tar.xz &&
+        tar xf gmp-6.2.1.tar.xz && 
+        mkdir dynamic_gmp && mkdir static_gmp && 
+        pushd . && 
+        cd gmp-6.2.1 && ./configure CPPFLAGS=-I$pwd/gmp-6.2.1 --host=x86_64-w64-mingw32 --build=i686-pc-cygwin --enable-shared --disable-static --prefix=$pwd/dynamic_gmp &&
+        make && make install && 
+        make clean && ./configure --host=x86_64-w64-mingw32 --build=i686-pc-cygwin --enable-static --disable-shared --prefix=$pwd/static_gmp && 
+        make && make install && 
+        popd && 
+        autoconf && 
+        ${{ inputs.env }} ./configure --host=x86_64-w64-mingw32 ${{ inputs.config-opt }} CPPFLAGS=-I$pwd/dynamic_gmp/include LDFLAGS=-L$pwd/dynamic_gmp/lib --with-static-gmp=$pwd/static_gmp/lib/libgmp.a --with-static-gmp-include-dir=$pwd/static_gmp/include && 
+        export LD_LIBRARY_PATH=/usr/local/lib/:${LD_LIBRARY_PATH} && 
+        make OPTION=mingw64 MODE=${{ inputs.mode }}