diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-10 17:40:57 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-10 17:40:57 +0100 |
commit | 8241ebad9374187b20ee0fdd43029a2a5ddfbb4e (patch) | |
tree | 5b1ef5dd36b07c1e4a29b9049f2bcbb15094a118 /verifuzz.cabal | |
parent | 06c61e705d952679a6200e7d18d2463723fe5878 (diff) | |
download | verismith-8241ebad9374187b20ee0fdd43029a2a5ddfbb4e.tar.gz verismith-8241ebad9374187b20ee0fdd43029a2a5ddfbb4e.zip |
Fix but remove the doctests for now
They were not working well with the current printing method. I have to find a
way to remove the spaces from the output.
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r-- | verifuzz.cabal | 24 |
1 files changed, 13 insertions, 11 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index 9a6b4d8..aaaac7e 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -58,6 +58,7 @@ library , VeriFuzz.Verilog.Mutate , VeriFuzz.Verilog.Parser , VeriFuzz.Verilog.Preprocess + , VeriFuzz.Verilog.Quote , VeriFuzz.Verilog.Token build-depends: base >=4.7 && <5 , hedgehog >= 0.6 && <0.7 @@ -87,6 +88,7 @@ library , monad-control >=1.0.2 && <1.1 , gitrev >= 1.3.1 && <1.4 , deepseq >= 1.4.4.0 && <1.5 + , template-haskell >=2.14.0 && <2.15 default-extensions: OverloadedStrings executable verifuzz @@ -125,14 +127,14 @@ test-suite test , 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 - , verifuzz - 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 +-- , verifuzz +-- default-extensions: OverloadedStrings |