From e7f57642f068650ea362201b239efad1c9a841d9 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 18 Oct 2019 14:29:07 +0100
Subject: Rename Sim to Tool

---
 src/Verismith/Sim/Vivado.hs | 71 ---------------------------------------------
 1 file changed, 71 deletions(-)
 delete mode 100644 src/Verismith/Sim/Vivado.hs

(limited to 'src/Verismith/Sim/Vivado.hs')

diff --git a/src/Verismith/Sim/Vivado.hs b/src/Verismith/Sim/Vivado.hs
deleted file mode 100644
index 2dad87d..0000000
--- a/src/Verismith/Sim/Vivado.hs
+++ /dev/null
@@ -1,71 +0,0 @@
-{-|
-Module      : Verismith.Sim.Vivado
-Description : Vivado Synthesiser implementation.
-Copyright   : (c) 2019, Yann Herklotz Grave
-License     : GPL-3
-Maintainer  : yann [at] yannherklotz [dot] com
-Stability   : experimental
-Portability : POSIX
-
-Vivado Synthesiser implementation.
--}
-
-module Verismith.Sim.Vivado
-    ( Vivado(..)
-    , defaultVivado
-    )
-where
-
-import           Control.DeepSeq           (NFData, rnf, rwhnf)
-import           Data.Text                 (Text, unpack)
-import           Prelude                   hiding (FilePath)
-import           Shelly
-import           Shelly.Lifted             (liftSh)
-import           Verismith.Sim.Internal
-import           Verismith.Sim.Template
-import           Verismith.Verilog.AST
-import           Verismith.Verilog.CodeGen
-
-data Vivado = Vivado { vivadoBin    :: !(Maybe FilePath)
-                     , vivadoDesc   :: {-# UNPACK #-} !Text
-                     , vivadoOutput :: {-# UNPACK #-} !FilePath
-                     }
-               deriving (Eq)
-
-instance Tool Vivado where
-    toText (Vivado _ t _) = t
-
-instance Show Vivado where
-    show t = unpack $ toText t
-
-instance Synthesiser Vivado where
-    runSynth = runSynthVivado
-    synthOutput = vivadoOutput
-    setSynthOutput (Vivado a b _) = Vivado a b
-
-instance NFData Vivado where
-    rnf = rwhnf
-
-defaultVivado :: Vivado
-defaultVivado = Vivado Nothing "vivado" "syn_vivado.v"
-
-runSynthVivado :: Vivado -> SourceInfo -> ResultSh ()
-runSynthVivado sim (SourceInfo top src) = do
-    dir <- liftSh pwd
-    liftSh $ do
-        writefile vivadoTcl . vivadoSynthConfig top . toTextIgnore $ synthOutput
-            sim
-        writefile "rtl.v" $ genSource src
-        run_
-            "sed"
-            [ "s/^module/(* use_dsp48=\"no\" *) (* use_dsp=\"no\" *) module/;"
-            , "-i"
-            , "rtl.v"
-            ]
-    let exec_ n = execute_
-            SynthFail
-            dir
-            "vivado"
-            (maybe (fromText n) (</> fromText n) $ vivadoBin sim)
-    exec_ "vivado" ["-mode", "batch", "-source", toTextIgnore vivadoTcl]
-    where vivadoTcl = fromText ("vivado_" <> top) <.> "tcl"
-- 
cgit