From 94e7cacafcba49b2ad9758ae9bcab38b87a6007c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 9 Oct 2010 08:55:03 -0600 Subject: [PATCH] Windows: use PLT_WIN_GTK for gtk; fix manifest embedding original commit: 815278fe432335ab131db5086aeaf4c1ea706999 --- collects/mred/private/wx/platform.rkt | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/collects/mred/private/wx/platform.rkt b/collects/mred/private/wx/platform.rkt index 14d6f126..2e067897 100644 --- a/collects/mred/private/wx/platform.rkt +++ b/collects/mred/private/wx/platform.rkt @@ -3,10 +3,14 @@ (provide (all-defined-out)) (define-runtime-path platform-lib - (case (system-type) - [(#;windows) '(lib "mred/private/wx/win32/platform.rkt")] - [(macosx) '(lib "mred/private/wx/cocoa/platform.rkt")] - [(windows unix) '(lib "mred/private/wx/gtk/platform.rkt")])) + (let ([gtk-lib + '(lib "mred/private/wx/gtk/platform.rkt")]) + (case (system-type) + [(windows) (if (getenv "PLT_WIN_GTK") + gtk-lib + '(lib "mred/private/wx/win32/platform.rkt"))] + [(maxcosx) '(lib "mred/private/wx/cocoa/platform.rkt")] + [(unix) gtk-lib]))) (define-values (button% canvas%