From 0bbae2481444d02413df374ddde1a9bd8342b24a Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 27 Dec 2018 14:40:47 +0100 Subject: Add yosys shell script --- verifuzz.cabal | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) (limited to 'verifuzz.cabal') 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 -- cgit