GitHub Actions CI for Windows

[Qian Yun]

Hi all,

I now have a working configuration for GitHub Actions CI to run on
Windows. ( https://github.com/oldk1331/fricas/runs/2030020327 )

I'd say the process was rather painful.

But there are a few "bugs" uncovered along the way. I'll break them
down in separate posts.

Now the CI script is as follows, comments are welcome.

- Qian

===========
https://github.com/oldk1331/fricas/blob/github-actions-windows/.github/workflows/windows.yml

name: FriCAS CI on Windows

on: [push, pull_request]

jobs:
build:

runs-on: windows-2019
defaults:
run:
shell: msys2 {0}

steps:
- uses: msys2/setup-msys2@v2
with:
install: make mingw-w64-x86_64-gcc autoconf
- name: download SBCL
run: wget
https://downloads.sourceforge.net/project/sbcl/sbcl/2.0.0/sbcl-2.0.0-x86-64-windows-binary.msi
- name: install SBCL
# for unknown reason, msiexec pops up a window under msys2, so
use cmd instead
shell: cmd
run: |
msiexec /a sbcl-2.0.0-x86-64-windows-binary.msi
TARGETDIR=C:\sbcl2 /qn
move "C:\sbcl2\PFiles\Steel Bank Common Lisp\2.0.0" C:\sbcl
- uses: actions/checkout@v2
- name: configure and make
run: |
export PATH=/c/sbcl:$PATH
export SBCL_HOME=/c/sbcl
mkdir ../build && cd ../build
../fricas/configure --with-lisp="/c/sbcl/sbcl.exe
--dynamic-space-size 4096"
cat config.log
make -j2 --output-sync
- name: make check
run: cd ../build && make check -j2 --output-sync

[Ralf Hemmecke]

Qian,

although I am not using Windows, I think your contribution is really great.

As a comment... I do not quite understand why you includ "cat
config.log". Is this just for safety, that you see the problem on the
github page in case the configure process fails?

Ralf

[Qian Yun]

On 3/4/21 7:20 PM, Ralf Hemmecke wrote:
> Qian,
>
> although I am not using Windows, I think your contribution is really great.
>
> As a comment... I do not quite understand why you includ "cat
> config.log". Is this just for safety, that you see the problem on the
> github page in case the configure process fails?
>
> Ralf

Good observation!

Actually, there were random failures that 'configure' says
"C compiler cannot create executables", but not always.
(e.g. https://github.com/oldk1331/fricas/runs/2029735913 )

So I'd like to leave this debug script here for a while
and rerun a few times to see what's really going on.

- Qian

[Qian Yun]

Thanks to everyone's effort, all problems regarding building FriCAS
on Windows is fixed or being fixed. We'll soon have a pain-free
building experience on Windows. Then I can simplify this CI script
and commit it into repo. And I plan to add support for downloading
nightly binaries for all platforms soon.

- Qian

[Qian Yun]

Now we have GitHub Actions CI available for both Linux/macOS/Windows!

Nightly binary download for all platform is on the way.

BTW, can Waldek please reconsider to verify the email address for GitHub?
Otherwise, I have to find other (hacky) ways to trigger the CI for HEAD
commit.

- Qian