Re: [racket-dev] Compiling a Debuggable Windows Build

2015-01-20 Thread Matthew Flatt
We don't have build products handy on a server, but it shouldn't be difficult to build yourself using Visual Studio 10. I recommend setting up the command line using vcvarsall.bat x86_amd64, and then build from the Git repo using nmake win32-in-place. That process will give you debugging

Re: [racket-dev] Compiling a Debuggable Windows Build

2015-01-20 Thread Christian Eitner
Thanks, that should put me on the right track... The build currently fails because raco is not aware of our mandatory http proxy, but that is another topic. Cheers, Christian On 20 January 2015 at 15:03, Matthew Flatt mfl...@cs.utah.edu wrote: We don't have build products handy on a server,