From f9a8f87c150b28757be9954bfbc5be2aca7dd428 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 25 Jun 2013 22:17:38 +0200 Subject: [PATCH] a step toward single-collection packages as default A package's "info.rkt" file should define `collection' as a string to name a single-collection package's collection, or as the symbol 'multi to declare the package as multi-collection. If `collection' is 'same-as-pkg, then the package name is used as the collection name. The default for `collection' is 'multi for now, but the intent is to change the default to 'same-as-pkg after a conversion period. Also, support for a `single-collection' definition remains in place, but it wil be removed. original commit: c738a6aa3eee89a82d577dd35c70eca8ed32f5b4 --- pkgs/gui-pkgs/gui-doc/info.rkt | 2 ++ pkgs/gui-pkgs/gui-lib/info.rkt | 2 ++ pkgs/gui-pkgs/gui/info.rkt | 2 ++ 3 files changed, 6 insertions(+) diff --git a/pkgs/gui-pkgs/gui-doc/info.rkt b/pkgs/gui-pkgs/gui-doc/info.rkt index 494e6d16..159e38c7 100644 --- a/pkgs/gui-pkgs/gui-doc/info.rkt +++ b/pkgs/gui-pkgs/gui-doc/info.rkt @@ -1,4 +1,6 @@ #lang setup/infotab +(define collection 'multi) + (define build-deps '("gui-lib" "racket-doc")) diff --git a/pkgs/gui-pkgs/gui-lib/info.rkt b/pkgs/gui-pkgs/gui-lib/info.rkt index 2cae670d..6e6a2e78 100644 --- a/pkgs/gui-pkgs/gui-lib/info.rkt +++ b/pkgs/gui-pkgs/gui-lib/info.rkt @@ -1,5 +1,7 @@ #lang setup/infotab +(define collection 'multi) + (define deps '("draw-lib" "snip-lib" "wxme-lib" diff --git a/pkgs/gui-pkgs/gui/info.rkt b/pkgs/gui-pkgs/gui/info.rkt index 190161ba..e3367747 100644 --- a/pkgs/gui-pkgs/gui/info.rkt +++ b/pkgs/gui-pkgs/gui/info.rkt @@ -1,4 +1,6 @@ #lang setup/infotab +(define collection 'multi) + (define deps '("gui-lib" "gui-doc"))