search

semigroups / Semigroups

The GAP package Semigroups
https://semigroups.github.io/Semigroups/
Other
23 stars 35 forks source link

Fix for `HPCombi` #978

Closed james-d-mitchell closed 7 months ago

james-d-mitchell commented 7 months ago

@fingolfin @ChrisJefferson is seems that a few days ago the cygwin job started to fail with:

Error, LOAD_DYN: failed to load kernel module /tmp/gaproot/pkg/Semigroups//bin/x86_64\
-pc-cygwin-default64-kv9/semigroups.so, No such file or directory in
  LOAD_DYN( filename ) at /home/runneradmin/gap/lib/files.gd:619 called from

see, for example:

https://github.com/semigroups/Semigroups/actions/runs/7625232891/job/20769065765

Earlier in the log it can be seen that the executable /tmp/gaproot/pkg/Semigroups//bin/x86_64\ -pc-cygwin-default64-kv9/semigroups.so is built. This is not caused by anything in this PR (I don't think) since it appears to have started yesterday in the cron job:

https://github.com/semigroups/Semigroups/actions/runs/7606076562

If either of you have any ideas how to resolve this I'd be most grateful to hear about it.

ChrisJefferson commented 7 months ago

We always had to do some slightly special things to get files in the right place. I will investigate and get back to you.

james-d-mitchell commented 7 months ago

Thanks @ChrisJefferson !