search

idris-lang / Idris-dev

A Dependently Typed Functional Programming Language
http://idris-lang.org
Other
3.43k stars 644 forks source link

Idris on Windows#Stack (haskell platform tool) installation is not working for me #3834

Open fnmdx111 opened 7 years ago

fnmdx111 commented 7 years ago

The instructions provided at https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Windows#stack-haskell-platform-tool-installation is not working for me. stack build fails when trying to configure libffi: pkg-config >=0.9.0 is required but the version of C:\Users\wo\AppData\Local\Programs \stack\x86_64-windows\msys2-20150512\usr\bin\pkg-config.exe could not be de termined.

With that said, however, by replacing the command in step 7 with stack exec -- pacman -S make binutils msys2-w32api-runtime mingw-w64-x86_64-g cc mingw-w64-x86_64-pkg-config mingw-w64-x86_64-libffi (copied from step 4 in https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Windows#installation), I was able to build Idris successfully.

I don't know exactly how that fixes the issue. But maybe it will be helpful if you guys could update the instructions accordingly. Thanks!

ahmadsalim commented 7 years ago

@qwert42 Thanks for reporting the issue. I am not familiar with Windows installation. Have you tried the binary version?

fnmdx111 commented 7 years ago

Sorry but I have not tried the binary version. I wasn't aware there was such a thing when I was able to figure out the problem myself.

Ahmad Salim Al-Sibahi notifications@github.com于2017年5月30日周二 下午1:20写道：

@qwert42 https://github.com/qwert42 Thanks for reporting the issue. I am not familiar with Windows installation, but have you tried the binary version?

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/idris-lang/Idris-dev/issues/3834#issuecomment-304996220, or mute the thread https://github.com/notifications/unsubscribe-auth/ABUsIkI1vAuztsBsUu-GRtF1ShCeZPtPks5r_HoQgaJpZM4NomYc .