Require Racket 6.9; test on 7.0.

vcanumalla · Jul 28, 2018 · fd1e311 · fd1e311
1 parent 5bf0005
commit fd1e311
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 6 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -7,11 +7,10 @@ env:
     - CVC4_URL="http://cvc4.cs.stanford.edu/downloads/builds/x86_64-linux-opt/cvc4-1.5-x86_64-linux-opt"
     - BOOLECTOR_URL="http://fmv.jku.at/boolector/boolector-2.4.1-with-lingeling-bbc.tar.bz2"
   matrix:
-    - RACKET_VERSION=6.6
     - RACKET_VERSION=6.9
-    - RACKET_VERSION=6.12
+    - RACKET_VERSION=7.0
     - RACKET_VERSION=HEAD
-    - RACKET_VERSION=6.12 ALL_SOLVERS=1
+    - RACKET_VERSION=7.0 ALL_SOLVERS=1
 
 matrix:
   allow_failures:

diff --git a/README.md b/README.md
@@ -9,7 +9,7 @@ The Rosette Language
 
 The easiest way to install Rosette is from Racket's package manager:
 
-* Download and install Racket 6.6 from http://racket-lang.org
+* Download and install Racket 6.9 or later from http://racket-lang.org
 
 * Use Racket's `raco` tool to install Rosette:
 
@@ -19,7 +19,7 @@ The easiest way to install Rosette is from Racket's package manager:
 
 Alternatively, you can install Rosette from source:
 
-* Download and install Racket 6.6 from http://racket-lang.org
+* Download and install Racket 6.9 or later from http://racket-lang.org
 
 * Clone the rosette repository:
 

diff --git a/rosette/doc/guide/scribble/welcome/welcome.scrbl b/rosette/doc/guide/scribble/welcome/welcome.scrbl
@@ -22,7 +22,7 @@ The name "Rosette" refers both to the language and the whole system.
 
 To install Rosette, you will need to
 
-@itemlist[@item{Download and install @hyperlink["http://racket-lang.org"]{Racket} (version 6.6 or later).}
+@itemlist[@item{Download and install @hyperlink["http://racket-lang.org"]{Racket} (version 6.9 or later).}
            @item{Use Racket's @tt{raco} tool to install Rosette:
                  @nested{
                          @verbatim|{> raco pkg install rosette}|}}]