Add addon-dir to the list of paths known by manager-skip-file-handler in DrRacket.

dyoo · dyoo · commit 3e3608ccb82d · 2013-02-04T11:54:00.000-07:00
Avoid zo-compiling user-specific Racket extensions with the DrRacket
compilation manager.  Otherwise, PLaneT2 packages will also get
indiscriminantly compiled.
diff --git 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))))))
 
