diff options
author | jneira <atreyu.bbb@gmail.com> | 2020-05-02 23:32:03 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-24 01:54:42 -0400 |
commit | 63d30e60b9ab76ed48fa9539957e7b29a2a8c611 (patch) | |
tree | 04d8ae7a8143b525468d0cbf1ab1272df491e2b0 /hadrian/hie-bios.bat | |
parent | 7ae57afd7abee9dec1050d9feace254ac04800bc (diff) | |
download | haskell-63d30e60b9ab76ed48fa9539957e7b29a2a8c611.tar.gz |
Add hie-bios script for windows systems
It is a direct translation of the sh script
Diffstat (limited to 'hadrian/hie-bios.bat')
-rw-r--r-- | hadrian/hie-bios.bat | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/hadrian/hie-bios.bat b/hadrian/hie-bios.bat new file mode 100644 index 0000000000..bd7fe1a5aa --- /dev/null +++ b/hadrian/hie-bios.bat @@ -0,0 +1,5 @@ +set TERM=dumb +set CABFLAGS=-v0 +%CD%\hadrian\build-cabal.bat tool:%1 -q --build-root=_hie-bios --flavour=ghc-in-ghci > %HIE_BIOS_OUTPUT% +echo -ighc >> %HIE_BIOS_OUTPUT% +echo "ghc/Main.hs" >> %HIE_BIOS_OUTPUT%
\ No newline at end of file |