-
Notifications
You must be signed in to change notification settings - Fork 134
Fix finding psa on Windows (#693) #740
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
Conversation
|
Waiting for CI tests. It's working for me in standard Windows/Cmd. |
f-f
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thank you @stkb!!
I left a small comment, but otherwise I think we're good to merge 🚀
Also CI seems to be failing because of some leftover import (we have --pedantic set when building PRs on GitHub Actions)
|
@ntwilson would you be able to verify that this works for you? (to try out this version of Spago it should be enough to checkout the branch and running |
In `getPurs` we were just using the standard `Directory.findExecutable` to look for `psa`, forgetting to check for `psa.cmd` too. In windows this was looking for `psa.exe`, which doesn't exist. To help prevent this happening again, a self-written `findExecutable` function in `Prelude` is added, instead of just exporting `Directory.findExecutable`. This new version will always first check for a `.cmd` version of the executable name on Windows.
Yes, it worked!! Thanks, @stkb! |
|
Thank you both! 🙂 |
In RunEnv.hs:getPurs we were just using the standard Directory.findExecutable to look for
psa, forgetting to check forpsa.cmdtoo. In windows this was looking forpsa.exe, which doesn't exist.To help prevent this happening again, a self-written
findExecutablefunction in Prelude is added, instead of just exportingDirectory.findExecutable. This new version always first checks for a.cmdversion of the given executable name on Windows.Fix #693