forked from GaloisInc/ivory-tower-stm32
-
Notifications
You must be signed in to change notification settings - Fork 0
/
stack-7.10.yaml
59 lines (48 loc) · 1.5 KB
/
stack-7.10.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
# For more information, see: http://docs.haskellstack.org/en/stable/yaml_configuration.html
# Specifies the GHC version and set of packages available (e.g., lts-3.5, nightly-2015-09-21, ghc-7.10.2)
resolver: lts-6.10
# Local packages, usually specified by relative directory name
packages:
- ivory-bsp-stm32/
- ivory-bsp-tests/
- ivory-freertos-bindings/
- tower-freertos-stm32/
- tower-echronos-stm32/
- tower-freertos-stm32-tests/
- location: ../ivory/
extra-dep: true
subdirs:
- ivory
- ivory-artifact
- ivory-backend-c
- ivory-hw
- ivory-opts
- ivory-serialize
- ivory-stdlib
- location: ../tower/
extra-dep: true
subdirs:
- tower
- tower-config
- tower-hal
- tower-aadl
# Packages to be pulled from upstream that are not in the resolver (e.g., acme-missiles-0.3)
extra-deps: []
# Override default flag values for local packages and extra-deps
flags: {}
# Extra package databases containing global packages
extra-package-dbs: []
install-ghc: true
# 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.0.0
# 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