Separate out mrlib/terminal from the rest of mrlib, dependencieswise
The mrlib/terminal library fits in the mrlib collection in that it is a random library that uses our GUI system that doesn't belong in racket/gui somewhere. It also doesn't really fit into the framework as the framework is supposed to be a colleciton of useful mixins for our racket/gui classes. It does, however, benefit from using the framework (and the string constants library) so the best option seems to be to think of mrlib as consisting of separate libraries that fit into two different layers of the dependency hierarchy. So that's what this commit does.
This commit is contained in:
parent
117819a5c9
commit
cfe3a7d5bf
|
@ -558,7 +558,8 @@ mz-extras :+= (package: "planet")
|
|||
mz-extras :+= (package: "pkg")
|
||||
|
||||
;; -------------------- mrlib
|
||||
mr-extras :+= (+ (package: "mrlib/")
|
||||
mr-extras :+= (+ (- (package: "mrlib/")
|
||||
(srcfile: "mrlib/terminal.rkt"))
|
||||
(collects: "hierlist/")
|
||||
(collects: "icons/turn-{up|down}{|-click}.png")
|
||||
(tests: "aligned-pasteboard/"))
|
||||
|
@ -582,6 +583,8 @@ dr-extras :+= (collects: "help") (doc: "help")
|
|||
(bin: "Racket Documentation")
|
||||
(bin: "plt-help") (man: "plt-help")
|
||||
|
||||
dr-extras :+= (srcfile: "mrlib/terminal.rkt")
|
||||
|
||||
;; -------------------- lang
|
||||
plt-extras :+= (package: "lang/" #:docs "htdp-langs/")
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user