diff options
| author | Andrew Cady <d@jerkface.net> | 2015-10-04 15:27:32 +0200 |
|---|---|---|
| committer | Andrew Cady <d@jerkface.net> | 2015-10-04 15:27:32 +0200 |
| commit | 2ea5eb5415341de3e5b0a92ffb9779207e2bfdaf (patch) | |
| tree | df18d957f4c95913eed8404558f6233f634dc63d | |
| parent | 67e126f27a11913578b0e521ba8ca5c75b5869d0 (diff) | |
wrappers to use ghc from stack
| -rwxr-xr-x | dot/local/bin/ghc | 7 | ||||
| l--------- | dot/local/bin/ghci | 1 | ||||
| l--------- | dot/local/bin/runghc | 1 |
3 files changed, 9 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 | ||
diff --git a/dot/local/bin/ghci b/dot/local/bin/ghci new file mode 120000 index 0000000..a064d26 --- /dev/null +++ b/dot/local/bin/ghci | |||
| @@ -0,0 +1 @@ | |||
| ghc \ No newline at end of file | |||
diff --git a/dot/local/bin/runghc b/dot/local/bin/runghc new file mode 120000 index 0000000..a064d26 --- /dev/null +++ b/dot/local/bin/runghc | |||
| @@ -0,0 +1 @@ | |||
| ghc \ No newline at end of file | |||