-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathpatterns.cabal
86 lines (81 loc) · 3.66 KB
/
patterns.cabal
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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
name: patterns
version: 0.1.0.0
synopsis: Pattern matching program analysis
description: Please see README.md
homepage: https://github.com/githubuser/patterns#readme
license: OtherLicense
license-file: CRAPL-LICENSE.txt
author: Pavel Kalvoda and Tom Sydney Kerckhove
maintainer: [email protected]
copyright: 2016 Pavel Kalvoda and Tom Sydney Kerckhove
category: System
build-type: Simple
-- extra-source-files:
cabal-version: >=1.10
library
hs-source-dirs: src
ghc-options: -Wall -fno-warn-name-shadowing -fno-warn-orphans -fno-warn-type-defaults
exposed-modules: Lib
, Util
, ClauseProcessing
, DataDefs
, OptParse
, OptParse.Types
, Types
, Gatherer
, TH
, Oracle
, Oracle.SBVQueries
, Evaluatedness
build-depends: base >= 4.9 && < 5
, containers >= 0.5 && < 0.6
, haskell-src-exts >= 1.17 && < 1.18
, aeson-pretty >= 0.7 && < 0.8
, aeson >= 0.11 && < 0.12
, bytestring >= 0.10 && < 0.11
, sbv >= 5.12 && < 5.13
, optparse-applicative >= 0.12 && < 0.13
, mtl >= 2.2 && < 2.3
, transformers >= 0.5 && < 0.6
, template-haskell >= 2.11 && < 2.12
, pretty-show >= 1.6 && < 1.7
default-language: Haskell2010
executable patterns
hs-source-dirs: app
main-is: Main.hs
ghc-options: -Wall -fno-warn-name-shadowing -fno-warn-orphans -fno-warn-type-defaults
build-depends: base
, patterns
default-language: Haskell2010
test-suite patterns-test
type: exitcode-stdio-1.0
ghc-options: -Wall -fno-warn-name-shadowing -fno-warn-orphans -fno-warn-type-defaults
hs-source-dirs: test
main-is: MainTest.hs
other-modules: LibSpec
GathererSpec
ClauseProcessingSpec
OracleSpec
Oracle.SBVQueriesSpec
Oracle.TestUtils
TestUtils
build-depends: base
, patterns
, hspec >= 2.2 && < 2.3
, hspec-core >= 2.2 && < 2.3
, HUnit >= 1.3 && < 1.4
, QuickCheck >= 2.8 && < 2.9
, sbv >= 5.12 && < 5.13
, containers >= 0.5 && < 0.6
, directory >= 1.2.5 && < 1.3
, filepath >= 1.4 && < 1.5
, haskell-src-exts >= 1.17 && < 1.18
, aeson-pretty >= 0.7 && < 0.8
, mtl >= 2.2 && < 2.3
, aeson >= 0.11 && < 0.12
, bytestring >= 0.10 && < 0.11
ghc-options: -threaded -rtsopts -with-rtsopts=-N
default-language: Haskell2010
source-repository head
type: git
location: https://github.com/githubuser/patterns