From e0584a769484a7b91a63840420986220df1734b2 Mon Sep 17 00:00:00 2001
From: Yann Herklotz Grave <git@yannherklotzgrave.com>
Date: Thu, 7 Mar 2019 17:37:17 +0000
Subject: Add more options to main app

---
 app/Main.hs | 24 ++++++++++++++++--------
 1 file changed, 16 insertions(+), 8 deletions(-)

(limited to 'app')

diff --git a/app/Main.hs b/app/Main.hs
index 3d80c86..f9ecb52 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -17,16 +17,17 @@ instance Show Tool where
   show XST    = "xst"
   show Icarus = "icarus"
 
-data Opts = Fuzz { fuzzOutput :: Text
+data Opts = Fuzz { fuzzOutput :: {-# UNPACK #-} !Text
                  }
-          | Rerun { tool :: Tool
+          | Rerun { tools :: [Tool]
+                  , input :: {-# UNPACK #-} !S.FilePath
                   }
-          | Generate { fileName :: S.FilePath
+          | Generate { fileName :: {-# UNPACK #-} !S.FilePath
                      }
-          | Parse { fileName :: S.FilePath
+          | Parse { fileName :: {-# UNPACK #-} !S.FilePath
                   }
-          | Reduce { fileName :: S.FilePath
-                   , top      :: Text
+          | Reduce { fileName :: {-# UNPACK #-} !S.FilePath
+                   , top      :: {-# UNPACK #-} !Text
                    }
 
 myForkIO :: IO () -> IO (MVar ())
@@ -65,7 +66,7 @@ fuzzOpts = Fuzz <$> textOption
 rerunOpts :: Parser Opts
 rerunOpts =
     Rerun
-        <$> (   option
+        <$> some (option
                     (optReader parseSynth)
                     (  long "synth"
                     <> metavar "SYNTH"
@@ -82,6 +83,13 @@ rerunOpts =
                     <> value Icarus
                     )
             )
+        <*> (S.fromText <$> textOption
+            ( long "input"
+              <> short 'i'
+              <> metavar "FILE"
+              <> help "Verilog file input."
+              <> showDefault
+              <> value "rtl.v"))
 
 genOpts :: Parser Opts
 genOpts = Generate . S.fromText <$> textOption
@@ -197,7 +205,7 @@ handleOpts (Parse f) = do
         Left  l -> print l
         Right v -> print $ V.GenVerilog v
     where file = T.unpack . S.toTextIgnore $ f
-handleOpts (Rerun _   ) = undefined
+handleOpts (Rerun _ _) = undefined
 handleOpts (Reduce f t) = do
     verilogSrc <- readFile file
     case V.parseVerilog file verilogSrc of
-- 
cgit