From b6d0eacfb6e9b08f7beb41c37060db8a66eb6562 Mon Sep 17 00:00:00 2001 From: Sam Elliott Date: Sat, 25 Jul 2015 19:14:28 +0100 Subject: [PATCH] Add Stackage Configuration for easy building Using a nightly stackage config to build on GHC 7.10, and there are some dependencies that are more advanced than the most recent LTS stackage config. This should just build using `stack build` in the Idris-dev root. --- .gitignore | 1 + stack.yaml | 6 ++++++ 2 files changed, 7 insertions(+) create mode 100644 stack.yaml diff --git a/.gitignore b/.gitignore index f878bf613..448ce4e18 100644 --- a/.gitignore +++ b/.gitignore @@ -28,3 +28,4 @@ test/*[0-9][0-9][0-9]/*.exe tags TAGS src/Version_idris.hs +.stack-work diff --git a/stack.yaml b/stack.yaml new file mode 100644 index 000000000..d3a80865c --- /dev/null +++ b/stack.yaml @@ -0,0 +1,6 @@ +flags: {} +packages: +- '.' +extra-deps: +- cheapskate-0.1.0.4 +resolver: nightly-2015-07-24