computational-algebra/stack-prof.yaml at master · konn/computational-algebra · GitHub

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
resolver: lts-17.3

flags:
  computational-algebra:
    profile: true
  halg-factor:
    profile: true

work-dir: .stack-prof

build:
  executable-profiling: true
  library-profiling: true

apply-ghc-options: everything
rebuild-ghc-options: true
ghc-options:
  "$everything": -fno-prof-auto
  "$locals": -fprof-auto

packages:
- 'computational-algebra'
- 'algebraic-prelude'
- 'halg-algebraic'
- 'halg-algorithms'
- 'halg-bridge-singular'
- 'halg-core'
- 'halg-core-test'
- 'halg-factor'
- 'halg-galois-fields'
- 'halg-heaps'
- 'halg-matrices'
- 'halg-polyn-parser'
- 'halg-polynomials'

extra-deps:
- algebra-4.3.1@rev:2
- control-monad-loop-0.1
- unamb-0.2.7
- process-extras-0.7.4
- ghc-typelits-presburger-0.4.0.0
- singletons-presburger-0.4.0.0
- sized-0.9.0.0@rev:1
- type-natural-0.9.0.0@rev:1