From 62d57f3e5dd20079d4905abe0e43e5f70544aa34 Mon Sep 17 00:00:00 2001 From: Ahmed Irfan Date: Fri, 6 Oct 2023 23:46:22 -0700 Subject: [PATCH 1/6] windows ci -- checking build and test-api on pull requests --- .github/workflows/windows_ci.yml | 65 ++++++++++++++++++++++++++++++++ 1 file changed, 65 insertions(+) create mode 100644 .github/workflows/windows_ci.yml diff --git a/.github/workflows/windows_ci.yml b/.github/workflows/windows_ci.yml new file mode 100644 index 000000000..6c73c7c64 --- /dev/null +++ b/.github/workflows/windows_ci.yml @@ -0,0 +1,65 @@ +name: Windows CI + +on: + pull_request: + +jobs: + build: + strategy: + matrix: + os: [windows-latest] + mode: [debug, release] + + name: ${{ matrix.os }}|${{ matrix.mode }} + runs-on: ${{ matrix.os }} + + steps: + - run: git config --global core.autocrlf input + + - uses: actions/checkout@v3 + + - name: Install Cygwin Dependencies + uses: cygwin/cygwin-install-action@v4 + with: + # Packages to install + packages: | + coreutils, + gperf, + make, + mingw64-x86_64-gcc-core, + moreutils, + wget + + - name: Building GMP + shell: bash + env: + CYGWIN: winsymlinks:native + run: >- + pushd . && + mkdir -p /tools && cd /tools && mkdir -p dynamic_gmp && mkdir -p static_gmp && + wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz && + tar xf gmp-6.3.0.tar.xz && + cd gmp-6.3.0 && + ./configure --host=x86_64-w64-mingw32 --build=i686-pc-cygwin --enable-shared --disable-static --prefix=/tools/dynamic_gmp && + make && make install && make clean && + ./configure --host=x86_64-w64-mingw32 --build=i686-pc-cygwin --enable-static --disable-shared --prefix=/tools/static_gmp && + make && make install && + popd + + - name: Building Yices + shell: bash + env: + CYGWIN: winsymlinks:native + run: >- + autoconf && + ${{ inputs.env }} ./configure --host=x86_64-w64-mingw32 ${{ inputs.config-opt }} CPPFLAGS=-I/tools/dynamic_gmp/include LDFLAGS=-L/tools/dynamic_gmp/lib --with-static-gmp=/tools/static_gmp/lib/libgmp.a --with-static-gmp-include-dir=/tools/static_gmp/include && + export LD_LIBRARY_PATH=/usr/local/lib/:${LD_LIBRARY_PATH} && + make OPTION=mingw64 MODE=${{ inputs.mode }} + + - name: Run Yices API Tests + shell: bash + env: + CYGWIN: winsymlinks:native + run: >- + export PATH=/tools/dynamic_gmp/bin:/tools/static_gmp/bin:$PATH && + make OPTION=mingw64 MODE=${{ inputs.mode }} check-api From fe10289e95aa24a2787268d7d770183b239795ed Mon Sep 17 00:00:00 2001 From: Ahmed Irfan Date: Fri, 6 Oct 2023 23:52:50 -0700 Subject: [PATCH 2/6] m4 cygwin --- .github/workflows/windows_ci.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/windows_ci.yml b/.github/workflows/windows_ci.yml index 6c73c7c64..9445e2d99 100644 --- a/.github/workflows/windows_ci.yml +++ b/.github/workflows/windows_ci.yml @@ -25,7 +25,8 @@ jobs: packages: | coreutils, gperf, - make, + m4, + make, mingw64-x86_64-gcc-core, moreutils, wget From 062a9b2fe73354a5cd05850373c05499c6491a8e Mon Sep 17 00:00:00 2001 From: Ahmed Irfan Date: Fri, 6 Oct 2023 23:54:03 -0700 Subject: [PATCH 3/6] untabify --- .github/workflows/windows_ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/windows_ci.yml b/.github/workflows/windows_ci.yml index 9445e2d99..da83eaf58 100644 --- a/.github/workflows/windows_ci.yml +++ b/.github/workflows/windows_ci.yml @@ -26,7 +26,7 @@ jobs: coreutils, gperf, m4, - make, + make, mingw64-x86_64-gcc-core, moreutils, wget From cb4395cc1fe0acd5503c2203e0035cd37f6f6309 Mon Sep 17 00:00:00 2001 From: Ahmed Irfan Date: Sat, 7 Oct 2023 00:11:36 -0700 Subject: [PATCH 4/6] autoconf cygwin --- .github/workflows/windows_ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/windows_ci.yml b/.github/workflows/windows_ci.yml index da83eaf58..955254122 100644 --- a/.github/workflows/windows_ci.yml +++ b/.github/workflows/windows_ci.yml @@ -23,6 +23,7 @@ jobs: with: # Packages to install packages: | + autoconf, coreutils, gperf, m4, From 56c0fb020223e1e11d0d9cfc9abf5355ae6f9850 Mon Sep 17 00:00:00 2001 From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com> Date: Sat, 7 Oct 2023 00:47:41 -0700 Subject: [PATCH 5/6] Update windows_ci.yml fix typo --- .github/workflows/windows_ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/windows_ci.yml b/.github/workflows/windows_ci.yml index 955254122..3e412f7cf 100644 --- a/.github/workflows/windows_ci.yml +++ b/.github/workflows/windows_ci.yml @@ -56,7 +56,7 @@ jobs: autoconf && ${{ inputs.env }} ./configure --host=x86_64-w64-mingw32 ${{ inputs.config-opt }} CPPFLAGS=-I/tools/dynamic_gmp/include LDFLAGS=-L/tools/dynamic_gmp/lib --with-static-gmp=/tools/static_gmp/lib/libgmp.a --with-static-gmp-include-dir=/tools/static_gmp/include && export LD_LIBRARY_PATH=/usr/local/lib/:${LD_LIBRARY_PATH} && - make OPTION=mingw64 MODE=${{ inputs.mode }} + make OPTION=mingw64 MODE=${{ matrix.mode }} - name: Run Yices API Tests shell: bash @@ -64,4 +64,4 @@ jobs: CYGWIN: winsymlinks:native run: >- export PATH=/tools/dynamic_gmp/bin:/tools/static_gmp/bin:$PATH && - make OPTION=mingw64 MODE=${{ inputs.mode }} check-api + make OPTION=mingw64 MODE=${{ matrix.mode }} check-api From 36180f22fdca43b37f3a25a6d565ef9ccd44282d Mon Sep 17 00:00:00 2001 From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com> Date: Sat, 7 Oct 2023 01:33:27 -0700 Subject: [PATCH 6/6] Update windows_ci.yml --- .github/workflows/windows_ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/windows_ci.yml b/.github/workflows/windows_ci.yml index 3e412f7cf..5cc215ffe 100644 --- a/.github/workflows/windows_ci.yml +++ b/.github/workflows/windows_ci.yml @@ -54,7 +54,7 @@ jobs: CYGWIN: winsymlinks:native run: >- autoconf && - ${{ inputs.env }} ./configure --host=x86_64-w64-mingw32 ${{ inputs.config-opt }} CPPFLAGS=-I/tools/dynamic_gmp/include LDFLAGS=-L/tools/dynamic_gmp/lib --with-static-gmp=/tools/static_gmp/lib/libgmp.a --with-static-gmp-include-dir=/tools/static_gmp/include && + ./configure --host=x86_64-w64-mingw32 CPPFLAGS=-I/tools/dynamic_gmp/include LDFLAGS=-L/tools/dynamic_gmp/lib --with-static-gmp=/tools/static_gmp/lib/libgmp.a --with-static-gmp-include-dir=/tools/static_gmp/include && export LD_LIBRARY_PATH=/usr/local/lib/:${LD_LIBRARY_PATH} && make OPTION=mingw64 MODE=${{ matrix.mode }}