From e206dab087c02a8f967ae51b4343d5874b4c4904 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 9 Jan 2016 09:47:28 -0700 Subject: [PATCH] use `#:runtime?-id` for improved cross-build support --- gui-lib/info.rkt | 2 +- gui-lib/mred/private/wx/platform.rkt | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/gui-lib/info.rkt b/gui-lib/info.rkt index 5d534c90..9d3e8a37 100644 --- a/gui-lib/info.rkt +++ b/gui-lib/info.rkt @@ -4,7 +4,7 @@ (define deps '("srfi-lite-lib" "data-lib" - ["base" #:version "6.2.900.17"] + ["base" #:version "6.4"] "syntax-color-lib" ["draw-lib" #:version "1.11"] ["snip-lib" #:version "1.2"] diff --git a/gui-lib/mred/private/wx/platform.rkt b/gui-lib/mred/private/wx/platform.rkt index aa21f881..ca03d4a8 100644 --- a/gui-lib/mred/private/wx/platform.rkt +++ b/gui-lib/mred/private/wx/platform.rkt @@ -7,9 +7,10 @@ (protect-out (all-defined-out))) (define-runtime-module-path-index platform-lib + #:runtime?-id runtime? (let ([gtk-lib '(lib "mred/private/wx/gtk/platform.rkt")]) - (case (cross-system-type) + (case (if runtime? (system-type) (cross-system-type)) [(windows) (if (getenv "PLT_WIN_GTK") gtk-lib '(lib "mred/private/wx/win32/platform.rkt"))]