diff options
Diffstat (limited to 'verismith.cabal')
-rw-r--r-- | verismith.cabal | 155 |
1 files changed, 155 insertions, 0 deletions
diff --git a/verismith.cabal b/verismith.cabal new file mode 100644 index 0000000..ef27082 --- /dev/null +++ b/verismith.cabal @@ -0,0 +1,155 @@ +name: verismith +version: 0.3.1.0 +synopsis: Random verilog generation and simulator testing. +description: + VeriSmith provides random verilog generation modules + implementing functions to test supported simulators. +homepage: https://github.com/ymherklotz/VeriSmith#readme +license: BSD3 +license-file: LICENSE +author: Yann Herklotz +maintainer: yann [at] yannherklotz [dot] com +copyright: 2018-2019 Yann Herklotz +category: Web +build-type: Custom +cabal-version: >=1.10 +extra-source-files: README.md + , data/*.v + +custom-setup + setup-depends: + base >= 4 && <5, + cabal-doctest >= 1 && <1.1, + Cabal >= 1.10 && <2.5 + +library + hs-source-dirs: src + default-language: Haskell2010 + build-tools: alex >=3 && <4 + other-modules: Paths_verismith + exposed-modules: VeriSmith + , VeriSmith.Circuit + , VeriSmith.Circuit.Base + , VeriSmith.Circuit.Gen + , VeriSmith.Circuit.Internal + , VeriSmith.Circuit.Random + , VeriSmith.Config + , VeriSmith.Fuzz + , VeriSmith.Generate + , VeriSmith.Internal + , VeriSmith.Reduce + , VeriSmith.Report + , VeriSmith.Result + , VeriSmith.Sim + , VeriSmith.Sim.Icarus + , VeriSmith.Sim.Identity + , VeriSmith.Sim.Internal + , VeriSmith.Sim.Quartus + , VeriSmith.Sim.Template + , VeriSmith.Sim.Vivado + , VeriSmith.Sim.XST + , VeriSmith.Sim.Yosys + , VeriSmith.Verilog + , VeriSmith.Verilog.AST + , VeriSmith.Verilog.BitVec + , VeriSmith.Verilog.CodeGen + , VeriSmith.Verilog.Eval + , VeriSmith.Verilog.Internal + , VeriSmith.Verilog.Lex + , VeriSmith.Verilog.Mutate + , VeriSmith.Verilog.Parser + , VeriSmith.Verilog.Preprocess + , VeriSmith.Verilog.Quote + , VeriSmith.Verilog.Token + build-depends: base >=4.7 && <5 + -- Cannot upgrade to 1.0 because of missing MonadGen instance for + -- StateT. + , hedgehog >= 0.5.3 && <0.7 + , fgl >=5.6 && <5.8 + , fgl-visualize >=0.1 && <0.2 + , lens >=4.16.1 && <4.18 + , random >=1.1 && <1.2 + , shakespeare >=2 && <2.1 + , shelly >=1.8.0 && <1.9 + , text >=1.2 && <1.3 + , bytestring >=0.10 && <0.11 + , filepath >=1.4.2 && <1.5 + , binary >= 0.8.5.1 && <0.9 + , cryptonite >=0.25 && <0.26 + , memory >=0.14 && <0.15 + , DRBG >=0.5 && <0.6 + , parsec >=3.1 && <3.2 + , transformers >=0.5 && <0.6 + , transformers-base >=0.4.5 && <0.5 + , tomland >=1.0 && <1.2 + , prettyprinter >=1.2.0.1 && <1.3 + , array >=0.5 && <0.6 + , recursion-schemes >=5.0.2 && <5.2 + , time >= 1.8.0.2 && <1.9 + , lifted-base >=0.2.3 && <0.3 + , monad-control >=1.0.2 && <1.1 + , gitrev >= 1.3.1 && <1.4 + , deepseq >= 1.4.3.0 && <1.5 + , template-haskell >=2.13.0 && <2.15 + , optparse-applicative >=0.14 && <0.15 + , exceptions >=0.10.0 && <0.11 + , blaze-html >=0.9.0.1 && <0.10 + , statistics >=0.14.0.2 && <0.16 + , vector >=0.12.0.1 && <0.13 + , unordered-containers >=0.2.10 && <0.3 + default-extensions: OverloadedStrings + +executable verismith + hs-source-dirs: app + main-is: Main.hs + default-language: Haskell2010 + ghc-options: -threaded + build-depends: base >= 4.7 && < 5 + , verismith + default-extensions: OverloadedStrings + +benchmark benchmark + default-language: Haskell2010 + type: exitcode-stdio-1.0 + hs-source-dirs: test + main-is: Benchmark.hs + build-depends: base >=4 && <5 + , verismith + , criterion >=1.5.5 && <1.6 + , lens >=4.16.1 && <4.18 + default-extensions: OverloadedStrings + +test-suite test + default-language: Haskell2010 + type: exitcode-stdio-1.0 + hs-source-dirs: test + main-is: Test.hs + other-modules: Unit + , Property + , Reduce + , Parser + build-depends: base >=4 && <5 + , verismith + , fgl >=5.6 && <5.8 + , tasty >=1.0.1.1 && <1.3 + , tasty-hunit >=0.10 && <0.11 + , tasty-hedgehog >=0.2 && <0.3 + , hedgehog >=0.5.3 && <0.7 + , hedgehog-fn >=0.5 && <0.7 + , lens >=4.16.1 && <4.18 + , shakespeare >=2 && <2.1 + , text >=1.2 && <1.3 + , parsec >= 3.1 && < 3.2 + default-extensions: OverloadedStrings + +--test-suite doctest +-- default-language: Haskell2010 +-- type: exitcode-stdio-1.0 +-- hs-source-dirs: test +-- main-is: Doctest.hs +-- other-modules: Build_doctests +-- build-depends: base >=4.7 && <5 +-- , doctest >=0.16 && <0.17 +-- , Glob >=0.9.3 && <0.11 +-- , verismith +-- default-extensions: OverloadedStrings |