summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--hie.yaml3
1 files changed, 3 insertions, 0 deletions
diff --git a/hie.yaml b/hie.yaml
index d23f66c1c4..34dde0452a 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"}}