liquid-haskell/cabal.project at develop · RobinWebbers/liquid-haskell · 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
with-compiler: ghc-9.2.5

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

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

source-repository-package
    type: git
    location: https://github.com/timbod7/haskell-chart/
    tag: ba85444d3c81774a43b8c2b046084e92869914f4
    subdir: chart

allow-newer: ghc-timings:base, rest-rewrite:time

package liquid-fixpoint
  flags: +devel

package liquidhaskell
  ghc-options: -j

package liquidhaskell-boot
  ghc-options: -j

package liquid-platform
  flags: +devel