From 602cabe265cba8613fd56dee0ec9d82377345294 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 15 Dec 2018 20:18:33 +0000 Subject: Add AST generation to cabal --- verifuzz.cabal | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'verifuzz.cabal') diff --git a/verifuzz.cabal b/verifuzz.cabal index ab8e232..fcd5015 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -18,11 +18,12 @@ library default-language: Haskell2010 other-modules: Test.VeriFuzz.Internal.Shared exposed-modules: Test.VeriFuzz - , Test.VeriFuzz.Types + , Test.VeriFuzz.Circuit , Test.VeriFuzz.CodeGen - , Test.VeriFuzz.VerilogAST - , Test.VeriFuzz.Graph.Random + , Test.VeriFuzz.Graph.ASTGen , Test.VeriFuzz.Graph.CodeGen + , Test.VeriFuzz.Graph.Random + , Test.VeriFuzz.VerilogAST build-depends: base >= 4.7 && < 5 , QuickCheck , fgl -- cgit