From 3e3608ccb82de7e14b0b3aed223d95c7d5a500ba Mon Sep 17 00:00:00 2001 From: Danny Yoo Date: Sun, 3 Feb 2013 16:56:00 -0700 Subject: [PATCH] Add addon-dir to the list of paths known by manager-skip-file-handler in DrRacket. Avoid zo-compiling user-specific Racket extensions with the DrRacket compilation manager. Otherwise, PLaneT2 packages will also get indiscriminantly compiled. --- collects/drracket/private/eval-helpers.rkt | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/collects/drracket/private/eval-helpers.rkt b/collects/drracket/private/eval-helpers.rkt index 64a69ec5a0c..eb286331f1a 100644 --- a/collects/drracket/private/eval-helpers.rkt +++ b/collects/drracket/private/eval-helpers.rkt @@ -82,9 +82,8 @@ #:security-guard (and use-current-security-guard? (current-security-guard)))) (let* ([cd (find-collects-dir)] - [no-dirs (if cd - (list (CACHE-DIR) cd) - (list (CACHE-DIR)))]) + [ad (find-system-path 'addon-dir)] + [no-dirs (filter values (list (CACHE-DIR) cd ad))]) (manager-skip-file-handler (λ (p) (file-stamp-in-paths p no-dirs))))))