blob: 1b36cb36f007a283caa710aa1a6558835ff2119a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- sv2v/Makefile.orig 2023-05-10 12:48:15 UTC
+++ sv2v/Makefile
@@ -4,7 +4,7 @@ all: sv2v
sv2v:
mkdir -p bin
- stack install --install-ghc --local-bin-path bin
+ stack config set system-ghc --global true && stack build --system-ghc --no-install-ghc
clean:
stack clean
|