-
Notifications
You must be signed in to change notification settings - Fork 0
/
stack.yaml
69 lines (58 loc) · 1.85 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
# 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-8.9
# Local packages, usually specified by relative directory name
packages:
- '.'
# Uncomment for local development, comment git, commit line
# - location: ../ivory-tower-stm32/
- location:
git: https://git.48.io/ivory-tower-stm32.git
commit: cce669b7493452e8e7c00c2f2218e037e8dbb3b2
extra-dep: true
subdirs:
- ivory-bsp-stm32
- ivory-bsp-tests
- ivory-freertos-bindings
- tower-freertos-stm32
- tower-echronos-stm32
# - location: ../ivory/
- location:
git: https://github.com/GaloisInc/ivory
commit: 1f2b3c4940c97fcb4f44f1dfbbec6e41d73843e5
extra-dep: true
subdirs:
- ivory
- ivory-artifact
- ivory-backend-c
- ivory-hw
- ivory-opts
- ivory-serialize
- ivory-stdlib
# - location: ../tower/
- location:
git: https://github.com/GaloisInc/tower
commit: f137547e4d50be03ab554c42253e4a7fb97b9821
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: []
# 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