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
This commit is contained in:
Matthew Flatt 2013-06-27 21:36:51 -06:00
parent a5476d6ba0
commit 7880e7f954
2 changed files with 2 additions and 3 deletions

View File

@ -1,3 +1,5 @@
#lang setup/infotab
(define collection 'multi)
(define deps '("data-lib"))

View File

@ -1,3 +0,0 @@
#lang setup/infotab
(define collection 'multi)