-
Notifications
You must be signed in to change notification settings - Fork 130
/
stack.yaml
42 lines (39 loc) · 794 Bytes
/
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
flags:
liquidhaskell:
devel: true
tests:
stack: true
extra-package-dbs: []
ghc-options:
hscolour: -w
liquidhaskell-boot: -j
liquidhaskell: -j
packages:
- liquid-fixpoint
- liquid-prelude
- liquid-vector
- liquid-parallel
- liquidhaskell-boot
- tests
- tests/benchmarks/popl18/lib
- benchmark-timings
- .
extra-deps:
- rest-rewrite-0.4.3
- smtlib-backends-0.3@rev:2
- smtlib-backends-process-0.3@rev:2
- store-0.7.18
- store-core-0.4.4.6
- git: https://github.com/qnikst/ghc-timings-report
commit: 45ef3498e35897712bde8e002ce18df6d55f8b15
allow-newer: true
allow-newer-deps:
- ghc-timings
- colonnade
- blaze-colonnade
- blaze-svg
- store-core
resolver: nightly-2024-05-14
nix:
packages: [cacert, git, hostname, nix, stack, z3]
path: [nixpkgs=./nixpkgs.nix]