-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathstack.yaml
156 lines (148 loc) · 4.65 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
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
# 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-8.22
# compiler: ghc-7.10.3
# User packages to be built.
# Various formats can be used as shown in the example below.
#
packages:
- logic-function-tables
- latex-function-tables
- location:
git: https://github.com/unitb/literate-unitb-complete
commit: ab2e9bccb694f92c56d5d43c84dea5175df08d2b
subdirs:
- literate-unitb-logic
- literate-unitb-utils
- literate-unitb-config
- literate-unitb-latex
# - literate-unitb-scripts
- syntax-error
- unitb-testing
- libs/bipartite-graph
- libs/classy-lens-hierarchy
- libs/generic-instances
- libs/string-lenses
- libs/pretty-printable
- libs/lens-extra
- libs/data-packaged
- libs/show-with
- libs/transformer-lenses
- libs/partial-order
- location:
git: https://github.com/unitb/tex2png-hs.git
commit: acbee0fd843af1c48bca44b86a4f61c45db3d83e
- location:
git: https://github.com/unitb/serialize-instances.git
commit: ff3faa9cf976e68be8d769b5960a1b4db3b9bf63
- location:
git: https://github.com/unitb/quickcheck-report.git
commit: 1bcc8cd5a91bc660346d1df7eb6ebb1a8152e865
- location:
git: https://github.com/unitb/axiomatic-classes.git
commit: 24ce269668f39a74ba1fe0628c4f6d65e092870c
- location:
git: https://github.com/unitb/invariants.git
commit: e644470ef8c16d5b1631b23ff3a127f8596955b8
- location:
git: https://github.com/unitb/existential.git
commit: c3ebd7b2b0d20a471c51bcd391dab649a9693606
# - 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:
# - '.'
# Dependency packages to be pulled from upstream that are not in the resolver
# (e.g., acme-missiles-0.3)
extra-deps:
- assert-0.0.1.2
# # - axiomatic-classes-0.1.0.0
# # - control-invariants-0.1.0.0
- equational-reasoning-0.4.1.1
- ghc-typelits-natnormalise-0.4.6
- ghc-typelits-presburger-0.1.1.0
- monomorphic-0.0.3.3
- portable-lines-0.1
- portable-template-haskell-lens-0.1.0.0
- pseudomacros-0.0.2
# # - quickcheck-report-0.1.0.0
# # - serialize-instances-0.1.0.0
- sized-vector-1.4.3.1
- type-natural-0.4.1.1
- zlib-0.6.1.1
# # - primitive-0.6.1.0
# - process-listlike-1.0
- th-printf-0.3.1
- constraints-0.8
# # - directory-1.2.7.1
# # - process-1.2.2.0
# - axiomatic-classes-0.1.0.0
# # - latex-function-tables-0.1.0.0
# - control-invariants-0.1.0.0
# # - existential-0.2.0.0
# - pseudomacros-0.0.2
# - quickcheck-report-0.1.0.0
# - assert-0.0.1.2
# - portable-template-haskell-lens-0.1.0.0
# - serialize-instances-0.1.0.0
# - portable-lines-0.1
# # - th-printf-0.3.1
# # - primitive-0.6.1.0
# - zlib-0.6.1.1
# - HaTeX-3.17.0.2
# # - base-orphans-0.5.4
# - bifunctors-5.2
# # - mmorph-1.0.9
# - semigroupoids-5.0.1
# - shelly-1.6.8.1
# # - vector-0.11.0.0
# # - cereal-text-0.1.0.2
# # - cryptohash-sha256-0.11.100.1
# # - optparse-text-0.1.1.0
# - sized-vector-1.4.3.1
# - equational-reasoning-0.4.1.1
# - monomorphic-0.0.3.3
# - type-natural-0.4.1.1
# - ghc-typelits-presburger-0.1.1.0
# - ghc-typelits-natnormalise-0.4.6
# Override default flag values for local packages and extra-deps
flags: {}
# 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