diff options
Diffstat (limited to 'dot/local/bin/ghc')
-rwxr-xr-x | dot/local/bin/ghc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/dot/local/bin/ghc b/dot/local/bin/ghc new file mode 100755 index 0000000..36c3656 --- /dev/null +++ b/dot/local/bin/ghc | |||
@@ -0,0 +1,7 @@ | |||
1 | #!/bin/sh | ||
2 | prog=${0##*/} | ||
3 | case "$prog" in | ||
4 | ghc|runghc|ghci) exec stack --no-system-ghc $prog;; | ||
5 | esac | ||
6 | echo "Not a stack command: $prog" >&2 | ||
7 | exit -1 | ||