Make test gives an error on Windows 10 msys2

idris-lang / Idris2

A purely functional programming language with first class types

https://idris-lang.org/

Other

2.48k stars 372 forks source link

Make test gives an error on Windows 10 msys2 #399

Open zenntenn opened 4 years ago

zenntenn commented 4 years ago

This issue comes up in the tests for the latest HEAD running on MinGW 64-Bit, as a part of make test, with idris2/perf003

Error message:

idris2/perf003: succesException in collect: cannot collect when multiple threads are active rm: cannot remove 'libmkalloc.dll': Device or resource busy make[2]: *** [Makefile:25: clean] Error 1

However, it still says at the end 264/264 tests successful

zenntenn commented 4 years ago

Note, make test only=idris2/perf003 and make test only=idris2/perf004 do not replicate the issue, neither does make test only=idris2/perf

andorp commented 3 years ago

Observed on a debian machine with

chez/chez031: success
Exception in collect: cannot collect when multiple threads are active

Versions

cat /etc/os-release
PRETTY_NAME="Debian GNU/Linux 10 (buster)"
NAME="Debian GNU/Linux"
VERSION_ID="10"
VERSION="10 (buster)"
VERSION_CODENAME=buster
ID=debian
HOME_URL="https://www.debian.org/"
SUPPORT_URL="https://www.debian.org/support"
BUG_REPORT_URL="https://bugs.debian.org/"

chezscheme9.5 --version
9.5