As far as I can tell, yes. I've confirmed that the install script is getting Racket from https://mirror.racket-lang.org/installers/7.2/racket-7.2-x86_64-win32.exe
-Philip On Tue, Feb 12, 2019 at 2:01 AM Alex Harsanyi <alexharsa...@gmail.com> wrote: > Do you have x64 Racket installed? This is an error that usually comes up > when a 32 bit application tries to load a 64 bit DLL. > > Alex. > > On Tuesday, February 12, 2019 at 2:18:55 PM UTC+8, Philip McGrath wrote: >> >> I'm encountering an issue using `ffi-lib` to load a DLL on Windows. The >> problem appears to be specific to Racket, as I seem to be able to load the >> same DLL from Python. >> >> Specifically, I'm trying to build platform-specific packages for libgit2. >> I can build the library and run its test suite successfully, but when I try >> to load the DLL with `ffi-lib`, using an absolute path to avoid any search >> issues, it fails with the message "%1 is not a valid Win32 application.; >> errid=193". The AppVeyor build log is here >> <https://ci.appveyor.com/project/philipmcgrath/native-libgit2-pkgs/build/job/urfo34x53oh0fr4l>, >> and this is the Racket script >> <https://github.com/LiberalArtist/native-libgit2-pkgs/blob/linker-errors/tmp-w64-test.rkt> >> that fails to load the DLL. As I mentioned, I can load the DLL successfully >> with this Python script >> <https://github.com/LiberalArtist/native-libgit2-pkgs/blob/linker-errors/py-w64-test-tmp.py> >> . >> >> I'm not much of a Windows person, and I'm not sure what else to do to >> debug this. >> >> -Philip >> > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
