forked from koka-lang/koka
-
Notifications
You must be signed in to change notification settings - Fork 0
/
stack.yaml
49 lines (43 loc) · 1.9 KB
/
stack.yaml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
# Build as:
# $ stack update
# $ stack build
# $ stack exec koka
#
# Note: if stack fails on your platform, try to install the build tools as a package:
# $ sudo apt install ghc cabal-install haskell-stack
# and invoke stack with an older resolver that matches the system ghc version:
# $ stack --resolver lts-14 --system-ghc build # ubuntu 20, ghc 8.6.5
# $ stack --resolver lts-14 --system-ghc exec koka
# Otherwise, try to use `cabal` directly:
# $ cabal new-build koka
# $ cabal new-run koka
# See also <https://github.com/koka-lang/koka#build-notes>.
# resolver: lts-22.34 # ghc 9.6.6 -- on windows set the codepage to utf-8: `chcp 65001` on the first run
resolver: lts-22.20 # ghc 9.6.4 -- on windows set the codepage to utf-8: `chcp 65001` on the first run
# resolver: lts-21.24 # ghc 9.4.8 -- works on older macOS/x64
# resolver: lts-21.0 # ghc 9.4.5
# resolver: lts-19.7 # ghc 9.0.2
# resolver: lts-18.28 # ghc 8.10.7 -- works for M1
# resolver: lts-18.6 # ghc 8.10.4
# resolver: lts-14.27 # ghc 8.6.5
# resolver: lts-9.21 # ghc 8.0.2 -- works for older linux-arm64
# system-ghc: true # uncomment to use the system installed GHC
packages:
- '.'
extra-deps:
- regex-compat-0.95.2.1 # only needed for koka-test (use 0.95.1.4 for pre lts-21.0)
- json-0.11 # only needed for koka-test
- isocline-1.0.9
- lsp-2.5.0.0 # only needed for language server
- lsp-types-2.2.0.0 # only needed for language server
- text-rope-0.2 # needed for lsp
- co-log-core-0.3.2.1 # needed for lsp
- FloatingHex-0.5 # not really needed, but nice in the language server
- hashable-1.4.3.0
- async-2.2.5
rebuild-ghc-options: true
allow-newer: true
# only for test with resolver 18.17+
flags:
mintty:
Win32-2-13-1: false