From d65c5c3eb8761e63cb81cb1aaa61473ba797effb Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Thu, 7 Jul 2016 09:56:08 +0200
Subject: [PATCH] Added short README

Former-commit-id: d29257f192276d5fb1e6f1931faede457346c026
---
 README | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 README

diff --git a/README b/README
new file mode 100644
index 000000000..d44ccec2e
--- /dev/null
+++ b/README
@@ -0,0 +1,4 @@
+mkdir build
+cd build
+cmake ..
+make storm-main