Error with install on Windows

Question

Error with install on Windows

Closed this issue 5 years ago · 4 comments

watashiwa-toki commented 6 years ago

Idris 1.3.1 (precompiled binary with FFI support), Java 8, C:\Idris;C:\Idris\mingw\bin in system PATH variable.

Answer 1 · 2019-03-13T03:22:44.000Z

Thank you for trying out idris-jvm. I will look into this issue.

Answer 2 · 2019-05-26T14:51:23.000Z

Hi,

This should be fixed now. Please try it again and reopen this issue if you still have issues.

Answer 3 · 2019-05-26T15:53:00.000Z

Everything works fine, thanks! Is it possible to use java code with JNI (java + inline assembler, for example) instead of pure java in idris ffi? вс, 26 мая 2019 г., 21:51 Marimuthu Madasamy <notifications@github.com>:

…

Hi, This should be fixed now. Please try it again and reopen this issue if you still have issues. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#96?email_source=notifications&email_token=AH5ICWJAQ5732J57AZHXJ5LPXKPW3A5CNFSM4G444BFKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODWIHLBY#issuecomment-496006535>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AH5ICWICXGAXKEKH67WEZLLPXKPW3ANCNFSM4G444BFA> .

Answer 4 · 2019-05-26T16:08:19.000Z

Thank you for confirming that the fix works. Native methods are not supported yet. It looks like we need to support static blocks to load native libraries and a way to declare native methods in the exported classes from Idris. I will create an issue for this.