summaryrefslogtreecommitdiff
path: root/hadrian
diff options
context:
space:
mode:
authorjneira <atreyu.bbb@gmail.com>2020-05-02 23:32:03 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-05-24 01:54:42 -0400
commit63d30e60b9ab76ed48fa9539957e7b29a2a8c611 (patch)
tree04d8ae7a8143b525468d0cbf1ab1272df491e2b0 /hadrian
parent7ae57afd7abee9dec1050d9feace254ac04800bc (diff)
downloadhaskell-63d30e60b9ab76ed48fa9539957e7b29a2a8c611.tar.gz
Add hie-bios script for windows systems
It is a direct translation of the sh script
Diffstat (limited to 'hadrian')
-rw-r--r--hadrian/hie-bios.bat5
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