liquidhaskell/cabal.project at develop · binary-star-systems/liquidhaskell · 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
45
46
47
48
49
50
51
52
53
54
55
56
57
with-compiler: ghc-9.12.2

packages: .
          ./liquid-fixpoint
          ./liquid-parallel
          ./liquid-prelude
          ./liquid-vector
          ./liquidhaskell-boot
          ./tests
          ./tests/benchmarks/popl18/lib
          ./benchmark-timings
          ./scripts/plot-performance
          ./scripts/profiling-driver

source-repository-package
    type: git
    location: https://github.com/qnikst/ghc-timings-report
    tag: 45ef3498e35897712bde8e002ce18df6d55f8b15

allow-newer:
  ghc-timings:base

  ,active:base
  ,Chart-diagrams:time
  ,diagrams-core:base
  ,diagrams-lib:base
  ,diagrams-postscript:base
  ,diagrams-svg:base
  ,dual-tree:base
  ,fsnotify:text
  ,monoid-extras:base
  ,statestack:base
  ,svg-builder:base

-- We could be using program-options here, but it would turn on parallelism
-- when building tests, and this interferes with benchmarking.
--
-- program-options
--   ghc-options: -j
package liquid-fixpoint
  ghc-options: -j
package liquidhaskell
  ghc-options: -j
package liquidhaskell-boot
  ghc-options: -j
package liquid-prelude
  ghc-options: -j
package liquid-vector
  ghc-options: -j
package liquid-parallel
  ghc-options: -j

flags: +devel

constraints:
  -- since 1.4.7 there's a clash between data-default-class and data-default-0.8 when building SVGFonts
  , diagrams-lib < 1.4.7