stack.yaml

# 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-18.21             # 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-tdfa-0.95.1.4    # only needed for koka-test
- json-0.10                     # only needed for koka-test
- isocline-1.0.7

rebuild-ghc-options: true
allow-newer: true

# only for test with resolver 18.17+
flags:
  mintty:
    Win32-2-13-1: false