From 4081ff01555a53f0e7480bc62a5669556e7f005c Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Tue, 20 Aug 2013 11:00:08 -0600 Subject: [PATCH] Fixing PR13973 --- pkgs/plt-services/meta/pkg-index/planet-compat/main.rkt | 3 ++- pkgs/plt-services/meta/pkg-index/sync.sh | 7 ++++++- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/pkgs/plt-services/meta/pkg-index/planet-compat/main.rkt b/pkgs/plt-services/meta/pkg-index/planet-compat/main.rkt index 677d987cd4..db7ae43467 100644 --- a/pkgs/plt-services/meta/pkg-index/planet-compat/main.rkt +++ b/pkgs/plt-services/meta/pkg-index/planet-compat/main.rkt @@ -338,6 +338,7 @@ (build-path pkg-dir "info.rkt") (lambda (o) (fprintf o "#lang info\n") + (write `(define collection 'multi) o) (write `(define deps ',deps) o))))) @@ -348,7 +349,7 @@ (unless (file-exists? pkg-pth) (printf "Packaging ~a\n" pkg-short) (parameterize ([current-directory work]) - (system (format "raco pkg create --format plt ~a" pkg-name)) + (system (format "raco pkg create --format plt \"~a\"" pkg-name)) (rename-file-or-directory (build-path work pkg-name.plt) pkg-pth) diff --git a/pkgs/plt-services/meta/pkg-index/sync.sh b/pkgs/plt-services/meta/pkg-index/sync.sh index 9727dd9a78..6b06ca3d7e 100755 --- a/pkgs/plt-services/meta/pkg-index/sync.sh +++ b/pkgs/plt-services/meta/pkg-index/sync.sh @@ -1,12 +1,17 @@ #!/bin/sh +# planet-compat +rsync -a --progress -h --delete --exclude root --exclude compiled --exclude doc ../../meta/pkg-index/ plt-etc:local/new-plt/pkgs/plt-services/meta/pkg-index/ +rsync -a --progress -h --delete plt-etc:local/galaxy-roots/planet-compat/ planet-compat/root/ + +# official rsync -a --progress -h --delete --exclude root --exclude compiled --exclude doc ../../meta/pkg-index/ plt-etc:local/galaxy/meta/pkg-index/ rsync -a --progress -h --delete --exclude root --exclude compiled --exclude doc ../../../../racket/collects/pkg/ plt-etc:local/galaxy/pkg/ rsync -a --progress -h --delete --exclude root --exclude compiled --exclude doc ../../../../pkgs/racket-pkgs/racket-test/tests/pkg plt-etc:local/galaxy/tests/pkg/ -for i in official planet-compat ; do +for i in official ; do rsync -a --progress -h --delete plt-etc:local/galaxy/meta/pkg-index/$i/root/ $i/root/ done