add --no-planet option to setup-plt

svn: r7957
This commit is contained in:
Matthew Flatt 2007-12-11 13:19:23 +00:00
parent d2f12f294c
commit 487a71bf0d
5 changed files with 16 additions and 6 deletions

View File

@ -15,6 +15,7 @@
make-info-domain make-info-domain
make-launchers make-launchers
make-docs make-docs
make-planet
call-install call-install
call-post-install call-post-install
pause-on-errors pause-on-errors

View File

@ -20,6 +20,7 @@
(define make-launchers (make-parameter #t)) (define make-launchers (make-parameter #t))
(define make-info-domain (make-parameter #t)) (define make-info-domain (make-parameter #t))
(define make-docs (make-parameter #t)) (define make-docs (make-parameter #t))
(define make-planet (make-parameter #t))
(define call-install (make-parameter #t)) (define call-install (make-parameter #t))
(define call-post-install (make-parameter #t)) (define call-post-install (make-parameter #t))
(define pause-on-errors (make-parameter #f)) (define pause-on-errors (make-parameter #f))

View File

@ -52,6 +52,8 @@
(add-flags '((make-info-domain #f)))] (add-flags '((make-info-domain #f)))]
[("-D" "--no-docs") "Do not produce documentation" [("-D" "--no-docs") "Do not produce documentation"
(add-flags '((make-docs #f)))] (add-flags '((make-docs #f)))]
[("--no-planet") "Do not setup PLaneT packages"
(add-flags '((make-planet #f)))]
[("-e" "--extension") "Produce native code extensions" [("-e" "--extension") "Produce native code extensions"
(add-flags '((make-so #t)))] (add-flags '((make-so #t)))]
[("-v" "--verbose") "See names of compiled files and info printfs" [("-v" "--verbose") "See names of compiled files and info printfs"

View File

@ -44,6 +44,7 @@
all-users all-users
compile-mode compile-mode
make-docs make-docs
make-planet
doc-pdf-dest) doc-pdf-dest)
(specific-collections x-specific-collections) (specific-collections x-specific-collections)

View File

@ -96,7 +96,10 @@
;; - (list path[directory] string[owner] string[package-name] (listof string[extra package path]) Nat[maj] Nat[min]), or ;; - (list path[directory] string[owner] string[package-name] (listof string[extra package path]) Nat[maj] Nat[min]), or
;; - (list string[owner] string[package-name] string[maj as string] string[min as string]) ;; - (list string[owner] string[package-name] string[maj as string] string[min as string])
;; x-specific-planet-dir ::= (listof specific-planet-dir) ;; x-specific-planet-dir ::= (listof specific-planet-dir)
(define x-specific-planet-dirs (specific-planet-dirs)) (define x-specific-planet-dirs
(if (make-planet)
(specific-planet-dirs)
null))
(define (done) (define (done)
(setup-printf "Done setting up")) (setup-printf "Done setting up"))
@ -217,11 +220,13 @@
c))) c)))
(define planet-dirs-to-compile (define planet-dirs-to-compile
(remove-falses (if (make-planet)
(map (lambda (spec) (apply planet->cc spec)) (remove-falses
(if (and (null? x-specific-collections) (null? x-specific-planet-dirs)) (map (lambda (spec) (apply planet->cc spec))
(get-all-planet-packages) (if (and (null? x-specific-collections) (null? x-specific-planet-dirs))
(remove-falses (map planet-spec->planet-list x-specific-planet-dirs)))))) (get-all-planet-packages)
(remove-falses (map planet-spec->planet-list x-specific-planet-dirs)))))
null))
(define collections-to-compile (define collections-to-compile
(sort (sort