-
Notifications
You must be signed in to change notification settings - Fork 58
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
WSL1 install error #266
Comments
I recall a similar issue for macOS which was fixed in this PR - https://github.com/edwinb/Idris2/pull/210/files. I'm wondering whether the Makefile is getting confused and producing a Could you check the output of I think |
|
With the new test suite it becomes
It's still erroring but looks nicer |
Master version of Idris2, getting this:
Where should I obtain
libcb.so
andlibstruct.so
? I'm using Chez scheme 9.5The text was updated successfully, but these errors were encountered: