From 879e5a2848f978712a6ab91dd21c840b6ddd4319 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 d23f66c1c441..34dde0452ad1 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