diff options
-rwxr-xr-x | hadrian/hie-bios | 7 | ||||
-rw-r--r-- | hadrian/hie.yaml | 5 | ||||
-rw-r--r-- | hie.yaml | 5 |
3 files changed, 17 insertions, 0 deletions
diff --git a/hadrian/hie-bios b/hadrian/hie-bios new file mode 100755 index 0000000000..741537ea34 --- /dev/null +++ b/hadrian/hie-bios @@ -0,0 +1,7 @@ +#! /usr/bin/env bash + +# When run, this program will output a list of arguments which are necessary to +# load the GHC library component into GHCi. The program is used by `ghcide` in +# order to automatically set up the correct GHC API session for a project. +echo $(TERM=dumb CABFLAGS=-v0 $PWD/hadrian/build.cabal.sh tool-args -q --build-root=.hie-bios --flavour=ghc-in-ghci) -ighc ghc/Main.hs + diff --git a/hadrian/hie.yaml b/hadrian/hie.yaml new file mode 100644 index 0000000000..e9d68d4318 --- /dev/null +++ b/hadrian/hie.yaml @@ -0,0 +1,5 @@ +# This is a IDE configuration file which tells IDEs such as `ghcide` how +# to set up a GHC API session for this project. +# +# The format is documented here - https://github.com/mpickering/hie-bios +cradle: {cabal: {component: "exe:hadrian"}} diff --git a/hie.yaml b/hie.yaml new file mode 100644 index 0000000000..d23f66c1c4 --- /dev/null +++ b/hie.yaml @@ -0,0 +1,5 @@ +# This is a IDE configuration file which tells IDEs such as `ghcide` how +# to set up a GHC API session for this project. +# +# The format is documented here - https://github.com/mpickering/hie-bios +cradle: {bios: {program: "./hadrian/hie-bios"}} |