diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-17 12:37:46 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-17 12:37:46 +0000 |
commit | 928a54419aeac611555b3c15493db00010cbb46e (patch) | |
tree | 576f1ca4ba287f03700b9526032126302c0474c1 /src/VeriFuzz/XST.hs | |
parent | 0ea6e208f2c3c41922f8334174fc8e81a21d67f4 (diff) | |
download | verismith-928a54419aeac611555b3c15493db00010cbb46e.tar.gz verismith-928a54419aeac611555b3c15493db00010cbb46e.zip |
Indent by 4
Diffstat (limited to 'src/VeriFuzz/XST.hs')
-rw-r--r-- | src/VeriFuzz/XST.hs | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/src/VeriFuzz/XST.hs b/src/VeriFuzz/XST.hs index 337294a..22720cd 100644 --- a/src/VeriFuzz/XST.hs +++ b/src/VeriFuzz/XST.hs @@ -38,20 +38,20 @@ defaultXst = Xst "xst" "netgen" runSynthXst :: Xst -> ModDecl -> FilePath -> Sh () runSynthXst sim m outf = do - dir <- pwd - writefile xstFile $ xstSynthConfig m - writefile prjFile [st|verilog work "rtl.v"|] - writefile "rtl.v" $ genSource m - echoP "XST: run" - _ <- logger dir "xst" $ timeout (xstPath sim) ["-ifn", toTextIgnore xstFile] - echoP "XST: netgen" - _ <- logger dir "netgen" $ run - (netgenPath sim) - ["-w", "-ofmt", "verilog", toTextIgnore $ modFile <.> "ngc", toTextIgnore outf] - echoP "XST: clean" - noPrint $ run_ "sed" ["-i", "/^`ifndef/,/^`endif/ d; s/ *Timestamp: .*//;", toTextIgnore outf] - echoP "XST: done" - where - modFile = fromText $ modName m - xstFile = modFile <.> "xst" - prjFile = modFile <.> "prj" + dir <- pwd + writefile xstFile $ xstSynthConfig m + writefile prjFile [st|verilog work "rtl.v"|] + writefile "rtl.v" $ genSource m + echoP "XST: run" + _ <- logger dir "xst" $ timeout (xstPath sim) ["-ifn", toTextIgnore xstFile] + echoP "XST: netgen" + _ <- logger dir "netgen" $ run + (netgenPath sim) + ["-w", "-ofmt", "verilog", toTextIgnore $ modFile <.> "ngc", toTextIgnore outf] + echoP "XST: clean" + noPrint $ run_ "sed" ["-i", "/^`ifndef/,/^`endif/ d; s/ *Timestamp: .*//;", toTextIgnore outf] + echoP "XST: done" + where + modFile = fromText $ modName m + xstFile = modFile <.> "xst" + prjFile = modFile <.> "prj" |