temporary fix for broken dist-specs
This commit is contained in:
parent
cbab512dd1
commit
90acf8a36f
|
@ -1,5 +1,13 @@
|
||||||
#lang reader meta/spec-reader
|
#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 -*-
|
;; -*- scheme -*-
|
||||||
|
|
||||||
;; ============================================================================
|
;; ============================================================================
|
||||||
|
@ -590,7 +598,9 @@ plt-extras :+= (collects: "combinator-parser")
|
||||||
|
|
||||||
;; -------------------- icons
|
;; -------------------- icons
|
||||||
dr-extras :+= (collects: "icons/*.{jpg|png|gif|bmp|xbm|xpm}")
|
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
|
;; -------------------- string
|
||||||
dr-extras :+= (package: "string-constants")
|
dr-extras :+= (package: "string-constants")
|
||||||
|
@ -626,7 +636,8 @@ plt-extras :+= (- (+ (package: "games/" #:executable "plt-games")
|
||||||
"paint-by-numbers/{hattori|solution-sets|raw-problems}")
|
"paint-by-numbers/{hattori|solution-sets|raw-problems}")
|
||||||
|
|
||||||
;; -------------------- texpict & slideshow
|
;; -------------------- texpict & slideshow
|
||||||
plt-extras :+= (collects: "texpict/")
|
;; TEMP-ICONS-FIX: was plt-extras
|
||||||
|
dr-extras :+= (collects: "texpict/")
|
||||||
(package: "slideshow")
|
(package: "slideshow")
|
||||||
|
|
||||||
;; -------------------- frtime
|
;; -------------------- frtime
|
||||||
|
|
Loading…
Reference in New Issue
Block a user