diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-05-21 15:24:45 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-21 15:24:45 +0100 |
commit | 238ef567f11c0f07f6b9834ef2199117485ba273 (patch) | |
tree | be4c1a311dafc247d72dd4e81c893634a9c12aae /src/VeriFuzz/Sim/XST.hs | |
parent | 57e33ccdefd25619facddb4ba4a247ff14158380 (diff) | |
download | verismith-238ef567f11c0f07f6b9834ef2199117485ba273.tar.gz verismith-238ef567f11c0f07f6b9834ef2199117485ba273.zip |
Remove logging from within tools
Diffstat (limited to 'src/VeriFuzz/Sim/XST.hs')
-rw-r--r-- | src/VeriFuzz/Sim/XST.hs | 17 |
1 files changed, 6 insertions, 11 deletions
diff --git a/src/VeriFuzz/Sim/XST.hs b/src/VeriFuzz/Sim/XST.hs index 11be094..71a4e1b 100644 --- a/src/VeriFuzz/Sim/XST.hs +++ b/src/VeriFuzz/Sim/XST.hs @@ -64,9 +64,7 @@ runSynthXST sim (SourceInfo top src) = do writefile xstFile $ xstSynthConfig top writefile prjFile [st|verilog work "rtl.v"|] writefile "rtl.v" $ genSource src - logger "XST: run" exec "xst" ["-ifn", toTextIgnore xstFile] - liftSh $ logger "XST: netgen" exec "netgen" [ "-w" @@ -75,15 +73,12 @@ runSynthXST sim (SourceInfo top src) = do , toTextIgnore $ modFile <.> "ngc" , toTextIgnore $ synthOutput sim ] - liftSh $ do - logger "XST: clean" - noPrint $ run_ - "sed" - [ "-i" - , "/^`ifndef/,/^`endif/ d; s/ *Timestamp: .*//;" - , toTextIgnore $ synthOutput sim - ] - logger "XST: done" + liftSh . noPrint $ run_ + "sed" + [ "-i" + , "/^`ifndef/,/^`endif/ d; s/ *Timestamp: .*//;" + , toTextIgnore $ synthOutput sim + ] where modFile = fromText top xstFile = modFile <.> "xst" |