From ed11938960f5336177bb606c8316de1187f99b74 Mon Sep 17 00:00:00 2001
From: Stefan de Konink <stefan@konink.de>
Date: Thu, 1 Aug 2019 21:03:11 +0200
Subject: [PATCH] Explain how the magma sources should be referenced

---
 README.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.txt b/README.txt
index ed1a08a..af0cbcf 100644
--- a/README.txt
+++ b/README.txt
@@ -54,7 +54,7 @@ Set up the root of the source code and the directory with compiled libraries. It
 3) Generate the project (Makefiles)
  mkdir build
  cd build
- cmake ..
+ cmake .. -DMAGMA_ROOT=/path/to/magma/sources
 4) Try the framework by calling
  uncertainty -in=./Release/in/01_Cube.jacob