From b84b6343590327fe2d366c93a5b0437f691273d9 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 29 Nov 2012 07:42:52 -0700 Subject: [PATCH] meta/planet2: fix module broken by removing a file Use `setup/unpack' instead of `planet2/util-plt'. --- collects/meta/planet2-index/planet-compat/main.rkt | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/collects/meta/planet2-index/planet-compat/main.rkt b/collects/meta/planet2-index/planet-compat/main.rkt index 8c3d24f465..65cba53712 100644 --- a/collects/meta/planet2-index/planet-compat/main.rkt +++ b/collects/meta/planet2-index/planet-compat/main.rkt @@ -10,7 +10,8 @@ planet/config racket/system racket/path - racket/list) + racket/list + setup/unpack) (module+ main (define-runtime-path root "root") @@ -269,8 +270,11 @@ (unless (directory-exists? dest-dir) (printf "Unpacking ~a\n" pkg-short) (make-directory dest-dir) - (local-require planet2/util-plt) - (unplt dest dest-dir)) + (unpack pkg pkg-dir + (lambda (x) (printf "~a\n" x)) + (lambda () dest-dir) + #f + (lambda (auto-dir main-dir file) dest-dir))) (define pkg/no-plt (format "~a~a"