-
Notifications
You must be signed in to change notification settings - Fork 2
/
tptp.cabal
143 lines (136 loc) · 3.41 KB
/
tptp.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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
cabal-version: 2.4
name: tptp
version: 0.1.3.0
synopsis: Parser and pretty printer for the TPTP language
description:
<http://www.tptp.org TPTP> (Thousands of Problems for Theorem Provers)
is the standard language of problems, proofs, and models, used by automated
theorem provers.
.
This library provides definitions of data types, a
<https://hackage.haskell.org/package/prettyprinter pretty printer> and an
<https://hackage.haskell.org/package/attoparsec attoparsec> parser for the
CNF, FOF, TFF0 and TFF1 subsets of TPTP.
homepage: https://github.com/aztek/tptp
bug-reports: https://github.com/aztek/tptp/issues
license: GPL-3.0-only
license-file: LICENSE
author: Evgenii Kotelnikov
maintainer: evgeny.kotelnikov@gmail.com
category: Language, Parsing, Pretty Printer, Theorem Provers, Formal Methods
tested-with:
GHC == 7.8.4,
GHC == 7.10.3,
GHC == 8.0.2,
GHC == 8.2.2,
GHC == 8.4.4,
GHC == 8.6.5,
GHC == 8.8.4,
GHC == 8.10.3
extra-source-files:
CHANGELOG.md
test/*.hs
test/**/*.hs
test-data/szs/**/*.s
test-data/tptp/**/*.ax
test-data/tptp/**/*.p
test-data/tstp/**/*.s
source-repository head
type: git
location: git://github.com/aztek/tptp.git
flag Werror
default: False
manual: True
description: Build with -Werror
library
hs-source-dirs: src
default-language: Haskell2010
exposed-modules:
Data.TPTP
Data.TPTP.Parse.Combinators
Data.TPTP.Parse.Text
Data.TPTP.Parse.Text.Lazy
Data.TPTP.Pretty
ghc-options:
-Wall
if flag(Werror)
ghc-options: -Werror
build-depends:
base >= 4.7 && < 5.0,
text >= 1.2.3 && < 1.3,
attoparsec >= 0.13.2 && < 0.14,
scientific >= 0.3.1 && < 0.4,
prettyprinter >= 1.2.1 && < 1.5
if impl(ghc < 8)
ghc-options:
-fwarn-incomplete-record-updates -fwarn-incomplete-uni-patterns
build-depends:
semigroups >= 0.16.1 && < 1.0
if impl(ghc >= 8)
ghc-options:
-Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns
-Wredundant-constraints
test-suite quickcheck
type: exitcode-stdio-1.0
hs-source-dirs: test/QuickCheckSpec
default-language: Haskell2010
main-is: Main.hs
other-modules:
ArbitrarilyPretty
Generators
Normalizers
ghc-options:
-Wall -threaded
if flag(Werror)
ghc-options: -Werror
build-depends:
base,
text,
attoparsec,
scientific,
prettyprinter,
generic-random >= 1.2.0.0 && < 1.3,
QuickCheck >= 2.4 && < 3.0,
tptp
if impl(ghc < 8)
build-depends:
semigroups
if impl(ghc < 8.2)
build-depends:
bifunctors >= 3.0.1 && < 6
test-suite unit
type: detailed-0.9
hs-source-dirs: test
default-language: Haskell2010
test-module: UnitTests
ghc-options:
-Wall -threaded
if flag(Werror)
ghc-options: -Werror
-- TODO: Workaround the pesky bug in ghc 8.0
-- https://stackoverflow.com/q/39310043/1344648
if (impl(ghc >= 8.0.0)) && (impl(ghc < 8.1.0))
buildable: False
build-depends:
base,
text,
Cabal >= 1.16.0,
extra >= 1.4.4 && < 1.7,
directory >= 1.2.5 && < 1.4,
filepath >= 1.3 && < 1.5,
tptp
test-suite doctest
type: exitcode-stdio-1.0
hs-source-dirs: test/DocTests
default-language: Haskell2010
main-is: Main.hs
ghc-options:
-Wall -threaded
if flag(Werror)
ghc-options: -Werror
-- TODO: Make it work
buildable: False
build-depends:
base,
QuickCheck,
doctest