diff options
| -rw-r--r-- | app/Yosys.hs | 18 | ||||
| -rw-r--r-- | verifuzz.cabal | 16 |
2 files changed, 32 insertions, 2 deletions
diff --git a/app/Yosys.hs b/app/Yosys.hs new file mode 100644 index 0000000..ff8239d --- /dev/null +++ b/app/Yosys.hs @@ -0,0 +1,18 @@ +{-| +Module : Main +Description : Main Yosys runner +Copyright : (c) Yann Herklotz Grave 2018 +License : GPL-3 +Maintainer : ymherklotz@gmail.com +Stability : experimental +Portability : POSIX + +Main Yosys runner +-} + +module Main where + +import Shelly + +main :: IO () +main = putStrLn "Hello" 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 |