Update action.yml

SRI-CSL · Oct 7, 2023 · 12b2d10 · 12b2d10
1 parent 20e00e6
commit 12b2d10
Showing 1 changed file with 15 additions and 15 deletions.
diff --git 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 }}