commit 2bc28b2dd47d8a8910ab83782c59b5f31acf8be9
parent cbd9ffc005c42712c81f688f66b1c9d49d77aa6e
Author: Georges Dupéron <georges.duperon@gmail.com>
Date: Mon, 19 Jun 2017 19:45:57 +0200
Build in parallel, depend on recent versions of scribble, to have the short-title function
Diffstat:
2 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/.travis.yml b/.travis.yml
@@ -29,7 +29,8 @@ env:
#- RACKET_VERSION=6.5
#- RACKET_VERSION=6.6
#- RACKET_VERSION=6.7
- - RACKET_VERSION=6.8
+ #- RACKET_VERSION=6.8
+ - RACKET_VERSION=6.9
- RACKET_VERSION=HEAD DEPLOY=true
addons:
@@ -60,7 +61,7 @@ before_install:
- mv newunicodechar.sty "$latex_home/tex/latex/newunicodechar"
install:
- - raco pkg install -j 1 --deps search-auto
+ - raco pkg install -j 2 --deps search-auto
before_script:
diff --git a/info.rkt b/info.rkt
@@ -2,7 +2,7 @@
(define collection "phc-thesis")
(define deps '("base"
"rackunit-lib"))
-(define build-deps '("scribble-lib"
+(define build-deps '(("scribble-lib" #:version "1.20")
"racket-doc"
"typed-racket-lib"
"at-exp-lib"