Revert docs to old installation instructions.

vcanumalla · Mar 25, 2016 · a726199 · a726199
1 parent a5e5fd1
commit a726199
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 18 deletions.
diff --git a/README.md b/README.md
@@ -8,33 +8,18 @@ solver-aided DSLs.
 
 ## Installing Rosette
 
-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:
+To 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 link rosette`  
-  `$ raco setup -l rosette`  
+  `$ raco pkg install ./rosette`  
 
 ## Executing Rosette programs
 

diff --git a/rosette/doc/guide/scribble/welcome/welcome.scrbl b/rosette/doc/guide/scribble/welcome/welcome.scrbl
@@ -23,9 +23,13 @@ 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|{> raco pkg install rosette}|}}]
+                         @verbatim|{> cd rosette
+                                    > raco pkg install ./rosette}|}}]
 
 @section[#:tag "sec:run"]{Interacting with Rosette}