liquidhaskell/cabal.project at develop · Nilismith/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
with-compiler: ghc-9.8.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
  ,colonnade:bytestring
  ,colonnade:text
  ,blaze-colonnade:text
  ,blaze-svg:base

package liquid-fixpoint
  flags: +devel

package liquidhaskell
  ghc-options: -j

package liquidhaskell-boot
  ghc-options: -j