-
Notifications
You must be signed in to change notification settings - Fork 13
/
Copy pathfffuu.cabal
81 lines (77 loc) · 2.32 KB
/
fffuu.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
name: fffuu
version: 0.1.0.0
license: BSD2
license-file: LICENSE
author: Cornelius Diekmann
maintainer: [email protected]
copyright: 2016 Cornelius Diekmann
category: Network
build-type: Simple
homepage: http://iptables.isabelle.systems/
bug-reports: https://github.com/diekmann/Iptables_Semantics/issues
cabal-version: >= 1.22
-- ghc8 needs cabal >= 1.24 or some dependency fails to install
tested-with: GHC >= 7.8 && < 8.1
synopsis: A tool to verify and simplify iptables firewall rules
description: This library and tool statically checks properties about
your iptables firewall rules. Just dump `iptables-save' into the tool.
library
hs-source-dirs: lib
default-language: Haskell2010
exposed-modules:
Network.IPTables.Generated
, Data_Bits
, Network.IPTables.Ipassmt
, Network.IPTables.IpassmtParser
, Network.IPTables.IsabelleToString
, Network.IPTables.ParserHelper
, Network.IPTables.Parser
, Network.IPTables.Ruleset
, Network.IPTables.Analysis
, Network.IPTables.Main
, Network.RTbl.Parser
, Common.Util
build-depends:
base >=4.7 && <5
, containers >=0.5 && <0.6
, split >= 0.2.3 && <= 0.2.4
, parsec >=3.0 && <3.2
, optparse-generic >= 1.2.3 && < 1.3
executable fffuu
hs-source-dirs: src
main-is: Main.hs
default-language: Haskell2010
ghc-options: -W
build-depends:
base >=4.7 && <5
, fffuu
executable fffuu6
hs-source-dirs: src
main-is: Main6.hs
default-language: Haskell2010
ghc-options: -W
build-depends:
base >=4.7 && <5
, fffuu
test-suite test
hs-source-dirs: test
type: exitcode-stdio-1.0
default-language: Haskell2010
main-is: Main.hs
ghc-options: -W
other-modules:
Suites.FffuuBinary
, Suites.Parser
, Suites.ParserHelper
build-depends:
base >=4.7 && <5
, directory >=1.3 && <1.4
, containers >=0.5 && <0.6
, split >= 0.2.3 && <= 0.2.4
, parsec >=3.0 && <3.2
, fffuu
, tasty >=0.11.3
, tasty-hunit >=0.9
, tasty-golden >=2.3.1 && <2.4
, bytestring >=0.10.6.0 && <0.10.9
, process >=1.2.3 && < 1.7