package.yaml 816 Bytes
Newer Older
Sven Keidel's avatar
Sven Keidel committed
1
name:         sturdy-lib
Sven Keidel's avatar
Sven Keidel committed
2
version:      0.3.0.0
Sven Keidel's avatar
Sven Keidel committed
3
4
5
6
7
synopsis:     A library for sound static analyses
maintainer:   Sven Keidel <svenkeidel@gmail.com>
license:      BSD3
github:       svenkeidel/sturdy
category:     Language
Sven Keidel's avatar
Sven Keidel committed
8
9

dependencies:
Sven Keidel's avatar
Sven Keidel committed
10
  - base >= 4.10 && < 4.14
11
  - comonad
12
13
14
  - containers
  - deepseq
  - fgl
15
  - ghc-prim
Sven Keidel's avatar
Sven Keidel committed
16
  - hashable
Sven Keidel's avatar
Sven Keidel committed
17
  - hashtables
Sven Keidel's avatar
Sven Keidel committed
18
  - mtl
19
20
  - prettyprinter
  - profunctors
Sven Keidel's avatar
Sven Keidel committed
21
  - random
22
  - sturdy-arrows
Sven Keidel's avatar
Sven Keidel committed
23
  - text
24
  - union-find
25
  - unordered-containers
Tomislav Pree's avatar
Tomislav Pree committed
26
  - aeson
Sven Keidel's avatar
Sven Keidel committed
27
28

library:
29
30
31
32
33
34
35
  ghc-options:
    -Wall
    -Wcompat
    -Widentities
    -Wincomplete-record-updates
    -Wincomplete-uni-patterns
    -Wredundant-constraints
Sven Keidel's avatar
Sven Keidel committed
36
37
38
39
40
41
42
43
  source-dirs:
    - src

tests:
  spec:
    main: Spec.hs
    source-dirs:
      - test
Sven Keidel's avatar
Sven Keidel committed
44
      - test-programs
Sven Keidel's avatar
Sven Keidel committed
45
    dependencies:
Sven Keidel's avatar
Sven Keidel committed
46
      - sturdy-lib
Sven Keidel's avatar
Sven Keidel committed
47
      - hspec
48
      - QuickCheck