From 90acf8a36f6f31e80c63e4690d31049b5a25f942 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Wed, 7 Dec 2011 23:36:55 -0700 Subject: [PATCH] temporary fix for broken dist-specs --- collects/meta/dist-specs.rkt | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index 17b67b480e..91828537e9 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -1,5 +1,13 @@ #lang reader meta/spec-reader +#| +Note: TEMP-ICONS-FIX marks a few spots where things that normally +belong to the "plt" (largest) distribution have been temporarily +changed to the "dr" distribution so the nightly builds can +proceed. The dist-spec changes should be undone when the underlying +problem is fixed. +|# + ;; -*- scheme -*- ;; ============================================================================ @@ -590,7 +598,9 @@ plt-extras :+= (collects: "combinator-parser") ;; -------------------- icons dr-extras :+= (collects: "icons/*.{jpg|png|gif|bmp|xbm|xpm}") -plt-extras :+= (package: "icons/") + +;; TEMP-ICONS-FIX: was plt-extras +dr-extras :+= (package: "icons/") ;; -------------------- string dr-extras :+= (package: "string-constants") @@ -626,7 +636,8 @@ plt-extras :+= (- (+ (package: "games/" #:executable "plt-games") "paint-by-numbers/{hattori|solution-sets|raw-problems}") ;; -------------------- texpict & slideshow -plt-extras :+= (collects: "texpict/") +;; TEMP-ICONS-FIX: was plt-extras +dr-extras :+= (collects: "texpict/") (package: "slideshow") ;; -------------------- frtime