Update docs for Racket package support.

jamestiotio · Mar 25, 2016 · 911f61c · 911f61c
1 parent 9e0bdcb
commit 911f61c
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 8 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -20,7 +20,7 @@ before_install:
   - rm z3.zip
 
 install: 
-  - raco pkg install --auto $TRAVIS_BUILD_DIR/rosette
+  - raco pkg install
 
 script:
   - raco test 

diff --git a/README.md b/README.md
@@ -8,18 +8,33 @@ solver-aided DSLs.
 
 ## Installing Rosette
 
-To install Rosette from source:
+The easiest way to install Rosette is from Racket's package manager:
+
+* Download and install Racket 6.4 from http://racket-lang.org
+
+* Use Racket's `raco` tool to install Rosette:
+
+  `$ raco pkg install rosette`   
+
+### Installing from source
+
+Alternatively, you can install Rosette from source:
 
 * Download and install Racket 6.4 from http://racket-lang.org
 
 * Clone the rosette repository:
 
   `$ git clone https://github.com/emina/rosette.git`
+
+* Uninstall any previous versions of Rosette:
+
+  `$ raco pkg remove rosette`
 
 * Use Racket's `raco` tool to install Rosette as one of your Racket collections:
 
   `$ cd rosette`  
-  `$ raco pkg install ./rosette`  
+  `$ raco link rosette`  
+  `$ raco setup -l rosette`  
 
 ## Executing Rosette programs
 

diff --git a/rosette/doc/guide/scribble/welcome/welcome.scrbl b/rosette/doc/guide/scribble/welcome/welcome.scrbl
@@ -23,13 +23,9 @@ 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.4).}
-           @item{Obtain the Rosette source code from GitHub:
-                 @nested{
-                         @verbatim|{> git clone https://github.com/emina/rosette.git}|}}
            @item{Use Racket's @tt{raco} tool to install Rosette:
                  @nested{
-                         @verbatim|{> cd rosette
-                                    > raco pkg install ./rosette}|}}]
+                         @verbatim|{> raco pkg install rosette}|}}]
 
 @section[#:tag "sec:run"]{Interacting with Rosette}