-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathstack.yaml
92 lines (85 loc) · 2.67 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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
# This file was automatically generated by 'stack init'
#
# Some commonly used options have been documented as comments in this file.
# For advanced use and comprehensive documentation of the format, please see:
# http://docs.haskellstack.org/en/stable/yaml_configuration/
# Resolver to choose a 'specific' stackage snapshot or a compiler version.
# A snapshot resolver dictates the compiler version and the set of packages
# to be used for project dependencies. For example:
#
# resolver: lts-3.5
# resolver: nightly-2015-09-21
# resolver: ghc-7.10.2
# resolver: ghcjs-0.1.0_ghc-7.10.2
# resolver:
# name: custom-snapshot
# location: "./custom-snapshot.yaml"
# resolver: lts-22.34 # ghc 9.6.5 as of 2024-09-21
# resolver: lts-21.25 # ghc 9.4.8 (final?)
resolver: lts-20.25 # ghc 9.2.8 (final?)
system-ghc: true # needed for GHCUP
# User packages to be built.
# Various formats can be used as shown in the example below.
#
# packages:
# - some-directory
# - https://example.com/foo/bar/baz-0.0.2.tar.gz
# - location:
# git: https://github.com/commercialhaskell/stack.git
# commit: e7b331f14bcffb8367cd58fbfc8b40ec7642100a
# - location: https://github.com/commercialhaskell/stack/commit/e7b331f14bcffb8367cd58fbfc8b40ec7642100a
# extra-dep: true
# subdirs:
# - auto-update
# - wai
#
# A package marked 'extra-dep: true' will only be built if demanded by a
# non-dependency (i.e. a user package), and its test suites and benchmarks
# will not be run. This is useful for tweaking upstream packages.
packages:
# - 'aern2-bench-chart'
- 'aern2-mp'
# - 'aern2/aern2-affarith'
- 'aern2-real'
# - 'aern2-linear'
# - 'aern2-erc'
# - 'aern2-net'
# - 'aern2-fun'
# - 'aern2-fun-univariate'
# - 'aern2-fnreps'
# - 'aern2-mfun'
# Dependency packages to be pulled from upstream that are not in the resolver
# (e.g., acme-missiles-0.3)
extra-deps:
- cdar-mBound-0.1.0.4
- collect-errors-0.1.6.0
- mixed-types-num-0.6.1
# - memoize-0.8.1
# - rounded-0.1.0.1
# - long-double-0.1
# - hgmp-0.1.1
# Override default flag values for local packages and extra-deps
# flags: {}
# flags:
# aern2-mp:
# UseCDAR: true
# UseCDAR: false
# Extra package databases containing global packages
extra-package-dbs: []
# Control whether we use the GHC we find on the path
# system-ghc: true
#
# Require a specific version of stack, using version ranges
# require-stack-version: -any # Default
# require-stack-version: ">=1.1"
#
# Override the architecture used by stack, especially useful on Windows
# arch: i386
# arch: x86_64
#
# Extra directories used by stack for building
# extra-include-dirs: [/path/to/dir]
# extra-lib-dirs: [/path/to/dir]
#
# Allow a newer minor version of GHC than the snapshot specifies
# compiler-check: newer-minor