Add CI for Windows

Author: wegank

.github/workflows/msolve.yml

@@ -13,18 +13,35 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os:
-          - ubuntu-latest
-          - macos-latest
+        include:
+          - { os: ubuntu-latest, shell: bash }
+          - { os: macos-latest, shell: bash }
+          - { os: windows-latest, shell: msys2 }
+    defaults:
+      run:
+        shell: ${{ matrix.shell }} {0}
     steps:
+      - name: Disable CRLF conversion on Windows
+        if: runner.os == 'Windows'
+        shell: pwsh
+        run: |
+               git config --global core.autocrlf false
+               git config --global core.eol lf
       - uses: actions/checkout@v6
+      - name: Set up MSYS2
+        if: runner.os == 'Windows'
+        uses: msys2/setup-msys2@v2
+        with:
+          update: true
       - name: "Install dependencies"
         run: |
                if [ "$RUNNER_OS" == "Linux" ]; then
                     # sharutils is for uudecode
                     sudo apt install libgmp-dev libflint-dev libmpfr-dev libntl-dev
                elif [ "$RUNNER_OS" == "macOS" ]; then
                     brew install autoconf automake libtool gmp flint mpfr ntl
+               elif [ "$RUNNER_OS" == "Windows" ]; then
+                    pacman -S --noconfirm autotools mingw-w64-x86_64-toolchain mingw-w64-x86_64-gmp mingw-w64-x86_64-flint mingw-w64-x86_64-mpfr mingw-w64-x86_64-ntl
                else
                     echo "$RUNNER_OS not supported"
                     exit 1
@@ -33,7 +50,7 @@ jobs:
         run: ./autogen.sh
       - name: configure
         run: |
-               if [ "$RUNNER_OS" == "Linux" ]; then
+               if [ "$RUNNER_OS" == "Linux" ] || [ "$RUNNER_OS" == "Windows" ]; then
                     ./configure
                elif [ "$RUNNER_OS" == "macOS" ]; then
                     ./configure LDFLAGS="-L$(brew --prefix)/lib/" \
@@ -51,7 +68,7 @@ jobs:
         run: cat test-suite.log || true
       - name: make distcheck
         run: |
-               if [ "$RUNNER_OS" == "Linux" ]; then
+               if [ "$RUNNER_OS" == "Linux" ] || [ "$RUNNER_OS" == "Windows" ]; then
                     make distcheck
                elif [ "$RUNNER_OS" == "macOS" ]; then
                     make distcheck LDFLAGS="-L$(brew --prefix)/lib/" \
@@ -66,22 +83,39 @@ jobs:
 
   build-fixed-seed:
     runs-on: ${{ matrix.os }}
-    timeout-minutes: 10
+    timeout-minutes: 20
     strategy:
       fail-fast: false
       matrix:
-        os:
-          - ubuntu-latest
-          - macos-latest
+        include:
+          - { os: ubuntu-latest, shell: bash }
+          - { os: macos-latest, shell: bash }
+          - { os: windows-latest, shell: msys2 }
+    defaults:
+      run:
+        shell: ${{ matrix.shell }} {0}
     steps:
+      - name: Disable CRLF conversion on Windows
+        if: runner.os == 'Windows'
+        shell: pwsh
+        run: |
+               git config --global core.autocrlf false
+               git config --global core.eol lf
       - uses: actions/checkout@v6
+      - name: Set up MSYS2
+        if: runner.os == 'Windows'
+        uses: msys2/setup-msys2@v2
+        with:
+          update: true
       - name: "Install dependencies"
         run: |
                if [ "$RUNNER_OS" == "Linux" ]; then
                     # sharutils is for uudecode
                     sudo apt install libgmp-dev libflint-dev libmpfr-dev libntl-dev
                elif [ "$RUNNER_OS" == "macOS" ]; then
                     brew install autoconf automake libtool gmp flint mpfr ntl
+               elif [ "$RUNNER_OS" == "Windows" ]; then
+                    pacman -S --noconfirm autotools mingw-w64-x86_64-toolchain mingw-w64-x86_64-gmp mingw-w64-x86_64-flint mingw-w64-x86_64-mpfr mingw-w64-x86_64-ntl
                else
                     echo "$RUNNER_OS not supported"
                     exit 1
@@ -90,7 +124,7 @@ jobs:
         run: ./autogen.sh
       - name: configure
         run: |
-               if [ "$RUNNER_OS" == "Linux" ]; then
+               if [ "$RUNNER_OS" == "Linux" ] || [ "$RUNNER_OS" == "Windows" ]; then
                     ./configure
                elif [ "$RUNNER_OS" == "macOS" ]; then
                     ./configure LDFLAGS="-L$(brew --prefix)/lib/" \
@@ -108,7 +142,7 @@ jobs:
         run: cat test-suite.log || true
       - name: make distcheck with fixed seed
         run: |
-               if [ "$RUNNER_OS" == "Linux" ]; then
+               if [ "$RUNNER_OS" == "Linux" ] || [ "$RUNNER_OS" == "Windows" ]; then
                     make distcheck DISTCHECK_CONFIGURE_FLAGS="SEED=1617753600"
                elif [ "$RUNNER_OS" == "macOS" ]; then
                     make distcheck LDFLAGS="-L$(brew --prefix)/lib/" \