Skip to content
Snippets Groups Projects
Commit 932dc54e authored by Javier Neira 's avatar Javier Neira Committed by Marge Bot
Browse files

Add specific configuration for windows in hie.yaml

parent 59182b88
No related branches found
No related tags found
No related merge requests found
# 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"}}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment