From 08f2731b97abb6d502422a701276d38e316021ab Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 7 May 2019 21:20:19 +0100 Subject: Add configuration options for all simulators --- src/VeriFuzz/Sim/Quartus.hs | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) (limited to 'src/VeriFuzz/Sim/Quartus.hs') diff --git a/src/VeriFuzz/Sim/Quartus.hs b/src/VeriFuzz/Sim/Quartus.hs index 5f3c18c..88bb6c9 100644 --- a/src/VeriFuzz/Sim/Quartus.hs +++ b/src/VeriFuzz/Sim/Quartus.hs @@ -16,6 +16,7 @@ module VeriFuzz.Sim.Quartus ) where +import Data.Text (Text, unpack) import Prelude hiding (FilePath) import Shelly import Shelly.Lifted (liftSh) @@ -24,23 +25,24 @@ import VeriFuzz.Verilog.AST import VeriFuzz.Verilog.CodeGen data Quartus = Quartus { quartusBin :: !(Maybe FilePath) + , quartusDesc :: {-# UNPACK #-} !Text , quartusOutput :: {-# UNPACK #-} !FilePath } deriving (Eq) -instance Show Quartus where - show _ = "quartus" - instance Tool Quartus where - toText _ = "quartus" + toText (Quartus _ t _) = t + +instance Show Quartus where + show t = unpack $ toText t instance Synthesiser Quartus where runSynth = runSynthQuartus synthOutput = quartusOutput - setSynthOutput (Quartus a _) = Quartus a + setSynthOutput (Quartus a b _) = Quartus a b defaultQuartus :: Quartus -defaultQuartus = Quartus Nothing "syn_quartus.v" +defaultQuartus = Quartus Nothing "quartus" "syn_quartus.v" runSynthQuartus :: Quartus -> SourceInfo -> ResultSh () runSynthQuartus sim (SourceInfo top src) = do -- cgit