diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-18 23:42:48 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-18 23:42:48 +0100 |
commit | 72ca7b273a8adf421d481e0caa97caa8a565187a (patch) | |
tree | 7b243629884be5104a61f7378973d6b38e22a998 /src/VeriFuzz/Sim/Quartus.hs | |
parent | 97398438902d42b33aef475e3e357781582bec16 (diff) | |
download | verismith-72ca7b273a8adf421d481e0caa97caa8a565187a.tar.gz verismith-72ca7b273a8adf421d481e0caa97caa8a565187a.zip |
Add output information to Type
Diffstat (limited to 'src/VeriFuzz/Sim/Quartus.hs')
-rw-r--r-- | src/VeriFuzz/Sim/Quartus.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/VeriFuzz/Sim/Quartus.hs b/src/VeriFuzz/Sim/Quartus.hs index beb7f10..5bda0be 100644 --- a/src/VeriFuzz/Sim/Quartus.hs +++ b/src/VeriFuzz/Sim/Quartus.hs @@ -37,13 +37,13 @@ instance Tool Quartus where instance Synthesiser Quartus where runSynth = runSynthQuartus synthOutput = quartusOutput - setSynthOutput (Quartus a _) f = Quartus a f + setSynthOutput (Quartus a _) = Quartus a defaultQuartus :: Quartus -defaultQuartus = Quartus Nothing "quartus/syn_quartus.v" +defaultQuartus = Quartus Nothing "syn_quartus.v" -runSynthQuartus :: Quartus -> SourceInfo -> FilePath -> ResultSh () -runSynthQuartus sim (SourceInfo top src) outf = do +runSynthQuartus :: Quartus -> SourceInfo -> ResultSh () +runSynthQuartus sim (SourceInfo top src) = do dir <- liftSh pwd let ex = execute_ SynthFail dir "quartus" liftSh $ do @@ -54,7 +54,7 @@ runSynthQuartus sim (SourceInfo top src) outf = do 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 + cp (fromText "simulation/vcs" </> fromText top <.> "vo") $ synthOutput sim echoP "Quartus synthesis done" where inpf = "rtl.v" |