diff options
author | 2015-09-01 14:37:02 -0700 | |
---|---|---|
committer | 2015-09-01 14:51:14 -0700 | |
commit | 6d66a81ca98f8579bf06f7fb724ed733670d39b9 (patch) | |
tree | 1acad0170e35d49cc6ff732fbf539648de7073e7 /doc/users/dave.mdwn | |
parent | 6e4a1f7a771ca10ede528776ed126ef11f802dfd (diff) |
Fix Windows build to work with ghc 7.10
It was failing at link time, some problem with terminatePID.
Re-implemented that to not use a C wrapper function, which cleared up the
problem. Removed old EvilLinker hack with must have been related to the
same problem.
Note that I have not tested this with older ghc's. In
4f59f9439687cccfb7aac6aca62dbe97038179bf I mention having tried this
approach before, and getting segfaults.. So, who knows. It seems to work
fine with ghc 7.10 at least.
Diffstat (limited to 'doc/users/dave.mdwn')
0 files changed, 0 insertions, 0 deletions