From 932dc54e13a8e2f60ea90af98682cc1011b9533e Mon Sep 17 00:00:00 2001
From: jneira <atreyu.bbb@gmail.com>
Date: Sun, 3 May 2020 14:08:24 +0200
Subject: [PATCH] Add specific configuration for windows in hie.yaml

---
 hie.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/hie.yaml b/hie.yaml
index d23f66c1c44..34dde0452ad 100644
--- a/hie.yaml
+++ b/hie.yaml
@@ -1,5 +1,8 @@
 # This is a IDE configuration file which tells IDEs such as `ghcide` how
 # to set up a GHC API session for this project.
 #
+# To use it in windows systems replace the config with
+# cradle: {bios: {program: "./hadrian/hie-bios.bat"}}
+#
 # The format is documented here - https://github.com/mpickering/hie-bios
 cradle: {bios: {program: "./hadrian/hie-bios"}}
-- 
GitLab