diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-07 15:12:37 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-07 15:12:37 +0100 |
| commit | d52b98fb2672374c48f157aaa68483c39a46363d (patch) | |
| tree | be63ae6594727a7f6a50560cd3056092c1194f27 /src/VeriFuzz/Sim/XST.hs | |
| parent | e811ba886d9adaed746abe1c9f37c1a87e58a964 (diff) | |
| download | verismith-d52b98fb2672374c48f157aaa68483c39a46363d.tar.gz verismith-d52b98fb2672374c48f157aaa68483c39a46363d.zip | |
Rename some functions to use nicer names
Diffstat (limited to 'src/VeriFuzz/Sim/XST.hs')
| -rw-r--r-- | src/VeriFuzz/Sim/XST.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/VeriFuzz/Sim/XST.hs b/src/VeriFuzz/Sim/XST.hs index 324f227..92dcaa1 100644 --- a/src/VeriFuzz/Sim/XST.hs +++ b/src/VeriFuzz/Sim/XST.hs @@ -55,9 +55,9 @@ runSynthXST sim (SourceInfo top src) = do writefile xstFile $ xstSynthConfig top writefile prjFile [st|verilog work "rtl.v"|] writefile "rtl.v" $ genSource src - echoP "XST: run" + logger "XST: run" exec (xstPath sim) ["-ifn", toTextIgnore xstFile] - liftSh $ echoP "XST: netgen" + liftSh $ logger "XST: netgen" exec (netgenPath sim) [ "-w" @@ -67,14 +67,14 @@ runSynthXST sim (SourceInfo top src) = do , toTextIgnore $ synthOutput sim ] liftSh $ do - echoP "XST: clean" + logger "XST: clean" noPrint $ run_ "sed" [ "-i" , "/^`ifndef/,/^`endif/ d; s/ *Timestamp: .*//;" , toTextIgnore $ synthOutput sim ] - echoP "XST: done" + logger "XST: done" where modFile = fromText top xstFile = modFile <.> "xst" |