diff options
Diffstat (limited to 'make_deb.sh')
| -rwxr-xr-x | make_deb.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/make_deb.sh b/make_deb.sh index 639d7b930..68b0bae7f 100755 --- a/make_deb.sh +++ b/make_deb.sh @@ -17,11 +17,12 @@ DEST=$DIST/usr ME=$(whoami) COPYRIGHT=$DEST/share/doc/pandoc/copyright +# We need this for hsb2hs: +PATH=$LOCAL/bin:$PATH + stack setup stack clean which hsb2hs || stack install --stack-yaml stack.hsb2hs.yaml -# We need this for hsb2hs: -PATH=$LOCAL/bin:$PATH stack install --stack-yaml deb/stack.yaml |