From 9d5937d4a56be1101a744476bae079fde9f95abe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?F=C3=A1bio=20Pakk=20Selmi-Dei?= <fabio.pakk@inf.ethz.ch>
Date: Thu, 15 Nov 2018 16:16:22 +0000
Subject: [PATCH] Added brief installation instructions in README.md.

---
 README.md | 21 ++++++++++++++++++++-
 1 file changed, 20 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 0d3dcea..239d486 100644
--- a/README.md
+++ b/README.md
@@ -26,4 +26,23 @@ Viper Server
 ### Who do I talk to? ###
 
 * Repo owner or admin
-* Other community or team contact
\ No newline at end of file
+* Other community or team contact
+
+### Installation Instructions:
+
+* Clone [silver](https://bitbucket.org/viperproject/silver/), [silicon](https://bitbucket.org/viperproject/silicon/) and [carbon](https://bitbucket.org/viperproject/carbon/) repositories in your computer, in separate directories.
+* Clone **viperserver** (this repository) in your computer, in another directory.
+* From within the directory where you installed viperserver, create a symbolic links to the directories where you installed silver, silicon and carbon.
+* On Linux/Mac OS X:  
+```
+ln -s <relative path to diretory where you installed silver> silver  
+ln -s <relative path to diretory where you installed silicon> silicon  
+ln -s <relative path to diretory where you installed carbon> carbon  
+```
+* On Windows:  
+```
+mklink /D silver <relative path to diretory where you installed silver>  
+mklink /D silicon <relative path to diretory where you installed silicon>  
+mklink /D carbon <relative path to diretory where you installed carbon>  
+```
+* Compile by typing: ```sbt compile```
\ No newline at end of file