Skip to content
Snippets Groups Projects
Commit 879e5a28 authored by Javier Neira 's avatar Javier Neira
Browse files

Add specific configuration for windows in hie.yaml

parent 8a578a91
No related branches found
No related tags found
No related merge requests found
Pipeline #18894 passed with warnings
# 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