From 0d3c00e7447699383a0eb73d44c285af8657c6d7 Mon Sep 17 00:00:00 2001
From: Nathan Collins <conathan@galois.com>
Date: Tue, 30 Oct 2018 16:16:16 -0700
Subject: [PATCH] Move stack.yaml to stack-ghc-8.2.yaml

To avoid conflicting stack.yaml files when crucible is used a
submodule in another repo with a top level stack.yaml.

Also, update the README to include creating a stack.yaml symlink
before building with stack the first time.
---
 README.org                       | 12 ++++++++++++
 stack.yaml => stack-ghc-8.2.yaml |  0
 2 files changed, 12 insertions(+)
 rename stack.yaml => stack-ghc-8.2.yaml (100%)

diff --git a/README.org b/README.org
index 23274576..2b566cc9 100644
--- a/README.org
+++ b/README.org
@@ -32,6 +32,18 @@ The dependencies of this project that are not available on Hackage are tracked v
 
 #+END_SRC
 
+To build with ~stack~:
+
+#+BEGIN_SRC
+
+ $ git submodule update --init
+ # Choose one of the provided GHC version-specific
+ # stack-ghc-<version>.yaml files, e.g. stack-ghc-8.2.yaml.
+ $ ln -s stack-ghc-<version>.yaml stack.yaml
+ $ stack build
+
+#+END_SRC
+
 ** Code dependencies and related packages
 
   - macaw (binary code discovery)
diff --git a/stack.yaml b/stack-ghc-8.2.yaml
similarity index 100%
rename from stack.yaml
rename to stack-ghc-8.2.yaml