Update README.md.

[ci skip]
jamestiotio · Feb 28, 2016 · 4ddf1ec · 4ddf1ec
1 parent 17db745
commit 4ddf1ec
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -20,6 +20,10 @@ solver-aided DSLs.
   `$ raco link rosette`  
   `$ raco setup -l rosette`  
 
+* Create a `bin` subdirectory in the `rosette` directory:
+
+	`$ mkdir bin`
+
 * Download or build a copy of the [Z3](https://github.com/Z3Prover/z3) solver, version 4.4.2.  Copy the `z3` executable (with no filename extension) to the `rosette/bin` directory.
 
 ### Executing Rosette programs