Add specific configuration for windows in hie.yaml

ghc · May 24, 2020 · 932dc54 · 932dc54
1 parent 59182b8
commit 932dc54
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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"}}