From 616a991e21eba3ad57ab7038316d03a442eafc48 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Tue, 26 Nov 2019 09:54:45 +0000
Subject: [PATCH] Add installation instructions

---
 README.md | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/README.md b/README.md
index cb6f698..ca835f1 100644
--- a/README.md
+++ b/README.md
@@ -6,6 +6,7 @@ A set of tools and specifications related to the MiMa
 * [Tools](#tools)
   * [mima-run](#mima-run)
   * [mima-asm](#mima-asm)
+* [Install](#install)
 * [Specification](#specification)
   * [Instructions](#instructions)
   * [Registers](#registers)
@@ -40,6 +41,16 @@ files. It can also generate the corresponding `.mima-flags` and `.mima-symbols`
 
 Basic usage: `mima-asm <.mimasm file> [-o <.mima file>]`
 
+## Install
+
+This project uses [stack](https://haskellstack.org). Make sure you have at least
+stack version `2.1`.
+
+To install this project:
+1. Clone the repository
+2. `cd` into the working directory
+3. Run `stack install`
+
 ## Specification
 
 In the following sections, `<a>` means "the value at the address