diff options
Diffstat (limited to 'src/VeriFuzz/Env.hs')
-rw-r--r-- | src/VeriFuzz/Env.hs | 52 |
1 files changed, 0 insertions, 52 deletions
diff --git a/src/VeriFuzz/Env.hs b/src/VeriFuzz/Env.hs deleted file mode 100644 index 6448bdf..0000000 --- a/src/VeriFuzz/Env.hs +++ /dev/null @@ -1,52 +0,0 @@ -{-| -Module : VeriFuzz.Env -Description : Environment to run the simulator and synthesisers in a matrix. -Copyright : (c) 2019, Yann Herklotz -License : GPL-3 -Maintainer : ymherklotz [at] gmail [dot] com -Stability : experimental -Portability : POSIX - -Environment to run the simulator and synthesisers in a matrix. --} - -module VeriFuzz.Env where - -import Prelude hiding (FilePath) -import Shelly -import VeriFuzz.Icarus -import VeriFuzz.Internal -import VeriFuzz.XST -import VeriFuzz.Yosys - -data SynthTool = XstSynth {-# UNPACK #-} !Xst - | YosysSynth {-# UNPACK #-} !Yosys - deriving (Eq, Show) - -instance Tool SynthTool where - toText (XstSynth xst) = toText xst - toText (YosysSynth yosys) = toText yosys - -instance Synthesisor SynthTool where - runSynth (XstSynth xst) = runSynth xst - runSynth (YosysSynth yosys) = runSynth yosys - -newtype SimTool = IcarusSim Icarus - deriving (Eq, Show) - -instance Tool SimTool where - toText (IcarusSim icarus) = toText icarus - -instance Simulator SimTool where - runSim (IcarusSim icarus) = runSim icarus - runSimWithFile (IcarusSim icarus) = runSimWithFile icarus - -data SimEnv = SimEnv { simTools :: [SimTool] - , simDir :: FilePath - } - -data SynthEnv = SynthEnv { synthTools :: [SynthTool] - , synthDir :: FilePath - } - - |