From 7a0a896180ceaa627fecfca14a4b57762fb1b9cc 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/profile-pkgs/profile-doc/info.rkt | 2 ++ pkgs/profile-pkgs/profile-lib/info.rkt | 2 ++ pkgs/profile-pkgs/profile/info.rkt | 2 ++ 3 files changed, 6 insertions(+) diff --git a/pkgs/profile-pkgs/profile-doc/info.rkt b/pkgs/profile-pkgs/profile-doc/info.rkt index 84638b4..601cf98 100644 --- a/pkgs/profile-pkgs/profile-doc/info.rkt +++ b/pkgs/profile-pkgs/profile-doc/info.rkt @@ -1,4 +1,6 @@ #lang setup/infotab +(define collection 'multi) + (define build-deps '("profile-lib" "racket-doc")) diff --git a/pkgs/profile-pkgs/profile-lib/info.rkt b/pkgs/profile-pkgs/profile-lib/info.rkt index c14a2ca..b851188 100644 --- a/pkgs/profile-pkgs/profile-lib/info.rkt +++ b/pkgs/profile-pkgs/profile-lib/info.rkt @@ -1 +1,3 @@ #lang setup/infotab + +(define collection 'multi) diff --git a/pkgs/profile-pkgs/profile/info.rkt b/pkgs/profile-pkgs/profile/info.rkt index 920b500..96bd309 100644 --- a/pkgs/profile-pkgs/profile/info.rkt +++ b/pkgs/profile-pkgs/profile/info.rkt @@ -1,4 +1,6 @@ #lang setup/infotab +(define collection 'multi) + (define deps '("profile-lib" "profile-doc"))