diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-01 19:51:02 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-01 19:51:02 +0000 |
commit | fa77a4b1ad2400bce8a51dee7d41368fed653ed9 (patch) | |
tree | 0c151b7474d5d69b10a98767aba004f1c14fd0b1 /verifuzz.cabal | |
parent | cedff4da4ee36ed6b3b4c1c20012d96075a87a9f (diff) | |
download | verismith-fa77a4b1ad2400bce8a51dee7d41368fed653ed9.tar.gz verismith-fa77a4b1ad2400bce8a51dee7d41368fed653ed9.zip |
Fix modules in cabal file
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r-- | verifuzz.cabal | 34 |
1 files changed, 16 insertions, 18 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index 066e1f4..f99faaa 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -21,25 +21,23 @@ library hs-source-dirs: src default-language: Haskell2010 ghc-options: -Wall - other-modules: VeriFuzz.Internal.Gen - , VeriFuzz.Internal.Shared - , VeriFuzz.Simulator.Internal.Template - exposed-modules: VeriFuzz + other-modules: VeriFuzz.Internal + , VeriFuzz.Internal.Circuit + , VeriFuzz.Internal.Simulator + exposed-modules: VeriFuzz.ASTGen + , VeriFuzz.AST , VeriFuzz.Circuit - , VeriFuzz.Graph.ASTGen - , VeriFuzz.Graph.CodeGen - , VeriFuzz.Graph.Random - , VeriFuzz.Graph.RandomAlt - , VeriFuzz.Simulator - , VeriFuzz.Simulator.General - , VeriFuzz.Simulator.Icarus - , VeriFuzz.Simulator.Xst - , VeriFuzz.Simulator.Yosys - , VeriFuzz.Verilog - , VeriFuzz.Verilog.AST - , VeriFuzz.Verilog.CodeGen - , VeriFuzz.Verilog.Helpers - , VeriFuzz.Verilog.Mutate + , VeriFuzz.CodeGen + , VeriFuzz.Env + , VeriFuzz.General + , VeriFuzz.Gen + , VeriFuzz.Helpers + , VeriFuzz.Icarus + , VeriFuzz.Mutate + , VeriFuzz.RandomAlt + , VeriFuzz.Random + , VeriFuzz.XST + , VeriFuzz.Yosys build-depends: base >= 4.7 && < 5 , QuickCheck >=2.3 && <2.10 , fgl |