From d41a94b95927a47279e335821ce1728c07f6ea3e Mon Sep 17 00:00:00 2001
From: Daniel Harvey <danieljamesharvey@gmail.com>
Date: Wed, 22 Jun 2022 12:36:30 +0100
Subject: [PATCH] tooling: provide optional `use_ghcup` in `.envrc`

PR-URL: https://github.com/hasura/graphql-engine-mono/pull/4774
GitOrigin-RevId: 9b0877543dd23f2b5e2782f793ae927a78f1986e
---
 .envrc.local.example | 3 +++
 .ghcversion          | 1 +
 2 files changed, 4 insertions(+)
 create mode 100644 .ghcversion

diff --git a/.envrc.local.example b/.envrc.local.example
index e81b9b39622..ca22110f487 100644
--- a/.envrc.local.example
+++ b/.envrc.local.example
@@ -8,3 +8,6 @@
 
 # Enable providing NodeJS versions with `nvm`
 # use_nvm
+
+# Enable providing GHC versions with `ghcup`
+# use_ghcup
diff --git a/.ghcversion b/.ghcversion
new file mode 100644
index 00000000000..c85bebbd177
--- /dev/null
+++ b/.ghcversion
@@ -0,0 +1 @@
+8.10.7