diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-17 19:19:14 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-17 19:19:14 +0100 |
commit | 56583318135a6a281d0f880637d5e0408ef690ee (patch) | |
tree | ca8c0a7ba0ac3ce7af2927c911b1457417813432 /src/VeriFuzz/Sim/Quartus.hs | |
parent | 3e78950eed93462bad170b70368cc41e47c4be3c (diff) | |
download | verismith-56583318135a6a281d0f880637d5e0408ef690ee.tar.gz verismith-56583318135a6a281d0f880637d5e0408ef690ee.zip |
Add Show instances to simulators
Diffstat (limited to 'src/VeriFuzz/Sim/Quartus.hs')
-rw-r--r-- | src/VeriFuzz/Sim/Quartus.hs | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/VeriFuzz/Sim/Quartus.hs b/src/VeriFuzz/Sim/Quartus.hs index bed20ed..0463009 100644 --- a/src/VeriFuzz/Sim/Quartus.hs +++ b/src/VeriFuzz/Sim/Quartus.hs @@ -24,7 +24,10 @@ import VeriFuzz.Verilog.AST import VeriFuzz.Verilog.CodeGen newtype Quartus = Quartus { quartusBin :: Maybe FilePath } - deriving (Eq, Show) + deriving (Eq) + +instance Show Quartus where + show _ = "quartus" instance Tool Quartus where toText _ = "quartus" @@ -42,8 +45,9 @@ runSynthQuartus sim (SourceInfo top src) outf = do liftSh $ do writefile inpf $ genSource src echoP "Running Quartus synthesis" - ex (exec "quartus_map") [top, "--source=" <> toTextIgnore inpf, "--family=Cyclone V"] - ex (exec "quartus_fit") [top, "--part=5CGXFC7D6F27C6"] + ex (exec "quartus_map") + [top, "--source=" <> toTextIgnore inpf, "--family=Cyclone V"] + ex (exec "quartus_fit") [top, "--part=5CGXFC7D6F31C6"] ex (exec "quartus_eda") [top, "--simulation", "--tool=vcs"] liftSh $ do cp (fromText "simulation/vcs" </> fromText top <.> "vo") outf |