From 7880e7f954759731a28f0ef05973b775d57a635a 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/rackunit-lib/info.rkt | 2 ++ pkgs/unstable-parameter-group-lib/info.rkt | 3 --- 2 files changed, 2 insertions(+), 3 deletions(-) delete mode 100644 pkgs/unstable-parameter-group-lib/info.rkt diff --git a/pkgs/rackunit-lib/info.rkt b/pkgs/rackunit-lib/info.rkt index b851188..ade8633 100644 --- a/pkgs/rackunit-lib/info.rkt +++ b/pkgs/rackunit-lib/info.rkt @@ -1,3 +1,5 @@ #lang setup/infotab (define collection 'multi) + +(define deps '("data-lib")) diff --git a/pkgs/unstable-parameter-group-lib/info.rkt b/pkgs/unstable-parameter-group-lib/info.rkt deleted file mode 100644 index b851188..0000000 --- a/pkgs/unstable-parameter-group-lib/info.rkt +++ /dev/null @@ -1,3 +0,0 @@ -#lang setup/infotab - -(define collection 'multi)