diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-09 20:34:06 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-09 20:34:06 +0000 |
| commit | 34f044c3f91a747186c3ea7f700049278b40678d (patch) | |
| tree | 753ce7e97801b6126b20fbe8f3a83bb4035abf92 /verifuzz.cabal | |
| parent | 178fc86634cd6d10fee44434de215509974d9f93 (diff) | |
| download | verismith-34f044c3f91a747186c3ea7f700049278b40678d.tar.gz verismith-34f044c3f91a747186c3ea7f700049278b40678d.zip | |
Improve cabal module
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index d807797..a5d48b6 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -13,14 +13,32 @@ build-type: Simple cabal-version: >=1.10 extra-source-files: README.md +library + hs-source-dirs: src + default-language: Haskell2010 + exposed-modules: Test.VeriFuzz + , Test.VeriFuzz.Types + , Test.VeriFuzz.CodeGen + , Test.VeriFuzz.Graph.Random + build-depends: base >= 4.7 && < 5 + , QuickCheck + , fgl + , text + , mwc-random + , random + executable verifuzz hs-source-dirs: src main-is: Main.hs default-language: Haskell2010 + other-modules: Test.VeriFuzz + , Test.VeriFuzz.Types + , Test.VeriFuzz.CodeGen + , Test.VeriFuzz.Graph.Random build-depends: base >= 4.7 && < 5 , QuickCheck , graphviz , fgl , text - , graph-generators , mwc-random + , random |