aboutsummaryrefslogtreecommitdiffstats
path: root/verifuzz.cabal
diff options
context:
space:
mode:
authorYann Herklotz Grave <git@yannherklotzgrave.com>2019-03-01 12:31:55 +0000
committerYann Herklotz Grave <git@yannherklotzgrave.com>2019-03-01 12:31:55 +0000
commite7631d6561538e35eafb50ffb86066b97cbc0070 (patch)
tree2f1be7caca6d04773f64bde63bf5981016c1260b /verifuzz.cabal
parent6b88aa87051e63c93574b21eacfb653f29b77046 (diff)
downloadverismith-e7631d6561538e35eafb50ffb86066b97cbc0070.tar.gz
verismith-e7631d6561538e35eafb50ffb86066b97cbc0070.zip
Add missing modules to cabal
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r--verifuzz.cabal18
1 files changed, 9 insertions, 9 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal
index c9e64be..abbd4f9 100644
--- a/verifuzz.cabal
+++ b/verifuzz.cabal
@@ -20,25 +20,26 @@ extra-source-files: README.md
library
hs-source-dirs: src
default-language: Haskell2010
- ghc-options: -Wall -Werror
- other-modules: VeriFuzz.Internal
- , VeriFuzz.Internal.Circuit
- , VeriFuzz.Internal.Simulator
- , VeriFuzz.Internal.AST
+ ghc-options: -Wall -Werror -Wwarn=unused-imports
exposed-modules: VeriFuzz
- , VeriFuzz.ASTGen
, VeriFuzz.AST
+ , VeriFuzz.Internal
+ , VeriFuzz.Internal.AST
+ , VeriFuzz.Internal.Circuit
+ , VeriFuzz.Internal.Simulator
+ , VeriFuzz.Internal.Template
+ , VeriFuzz.ASTGen
, VeriFuzz.Circuit
, VeriFuzz.CodeGen
, VeriFuzz.Env
- , VeriFuzz.General
, VeriFuzz.Gen
, VeriFuzz.Icarus
, VeriFuzz.Lexer
, VeriFuzz.Mutate
, VeriFuzz.Parser
- , VeriFuzz.RandomAlt
, VeriFuzz.Random
+ , VeriFuzz.RandomAlt
+ , VeriFuzz.Reduce
, VeriFuzz.XST
, VeriFuzz.Yosys
build-depends: base >=4.7 && <5
@@ -53,7 +54,6 @@ library
, text >=1.2 && <1.3
, bytestring >=0.10 && <0.11
, hashable >=1.2 && <1.3
- , transformers >=0.5 && <0.6
, filepath >=1.4.2 && <1.5
, binary >= 0.8.6 && <0.9
, cryptonite >=0.25 && <0.26