-
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
Cannot compile prelude with latest Idris, file read error #187
Comments
I believe this problem may occur if
|
If this is to do with the Mac chez test failures, perhaps it's okay now? |
I tried again today and here are my findings: It now fails at the Of course it works fine if I replace the However this fix only creates another, because compilation fail a bit later on compiling the c rts
|
For the record, I had the problem described in OP and @chrrasmussen's advice helped, thank you! |
Which commit were you using @ziman ? |
I'm on the latest |
Sorry, I forgot to mention that I'm on Linux; that's probably important. The part of this issue that manifests also on Linux is fixed by @chrrasmussen's trick. |
I have the same problem on win10. I've found that the prefix generated in |
What change dud you make? |
I hand-wrote the absolute prefix path into dist/idris2.c as: char* idris2_prefix = "C:\\Users\\Andy\\.idris2"; |
steps to reproduce (on Mac OS 10.15.2)
make install
Expected output
it works
Actual output
I can reproduce the problem with those steps as well:
make idris2
cd libs/prelude
../../idris2 --install prelude.ipkg
The error is the same.
I checked my permissions are correct (even with
chmod 777
) and tried running as sudo and the result is the same.Any ideas?
The text was updated successfully, but these errors were encountered: