diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-27 14:40:47 +0100 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-27 14:40:47 +0100 |
| commit | 0bbae2481444d02413df374ddde1a9bd8342b24a (patch) | |
| tree | 7b621126ad64bc312651231ce47bbd287511afae /verifuzz.cabal | |
| parent | 51da0af5f0bc7c08e0c8824b474384a7f2752f49 (diff) | |
| download | verismith-0bbae2481444d02413df374ddde1a9bd8342b24a.tar.gz verismith-0bbae2481444d02413df374ddde1a9bd8342b24a.zip | |
Add yosys shell script
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index 914b5fd..e4e3c06 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -33,10 +33,20 @@ library , text , random , lens + extensions: OverloadedStrings + +executable yosys + main-is: app/Yosys.hs + default-language: Haskell2010 + build-depends: base >= 4.7 && < 5 + , verifuzz + , text + , shakespeare + , shelly + extensions: OverloadedStrings executable verifuzz - hs-source-dirs: app - main-is: Main.hs + main-is: app/Main.hs default-language: Haskell2010 build-depends: base >= 4.7 && < 5 , verifuzz @@ -44,6 +54,7 @@ executable verifuzz , fgl , text , QuickCheck + extensions: OverloadedStrings test-suite verifuzz-test default-language: Haskell2010 @@ -60,3 +71,4 @@ test-suite verifuzz-test , tasty-quickcheck >= 0.10 , lens , text + extensions: OverloadedStrings |