From 5aea51f7461e50c7183b8aeb2ec1d76f83ed0a2a Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 27 Jun 2013 21:36:51 -0600 Subject: [PATCH] link development-mode packages in a separate pkg database Use `PKGS' with the top-level makefile to select packages for a development-mode build. The default is "main-distribution", which includes all packages in "pkgs". original commit: d450ee97075ef92e3356b6ae27e8a53419dd9732 --- pkgs/gui-pkgs/gui-lib/info.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/pkgs/gui-pkgs/gui-lib/info.rkt b/pkgs/gui-pkgs/gui-lib/info.rkt index 29ed3ad4..955c932f 100644 --- a/pkgs/gui-pkgs/gui-lib/info.rkt +++ b/pkgs/gui-pkgs/gui-lib/info.rkt @@ -10,6 +10,7 @@ "string-constants-lib" "unstable-list-lib" ; for class-iop "unstable-options-lib" + "compatibility-lib" ("gui-i386-macosx" #:platform "i386-macosx") ("gui-x86_64-macosx" #:platform "x86_64-macosx") ("gui-win32-i386" #:platform "win32\\i386")