diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-19 19:20:33 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-19 19:20:33 +0000 |
| commit | 4ba440d842e9a0502b429fbc04e2be41c8037a4c (patch) | |
| tree | fb6440ebe2905b4c2c820dece67ef430d92731af /src/VeriFuzz/Simulator/Xst.hs | |
| parent | 708e0b680a48e6eb21664a5f1de21815bebf91d2 (diff) | |
| download | verismith-4ba440d842e9a0502b429fbc04e2be41c8037a4c.tar.gz verismith-4ba440d842e9a0502b429fbc04e2be41c8037a4c.zip | |
Add brittany formatting instead of stylish-haskell
Diffstat (limited to 'src/VeriFuzz/Simulator/Xst.hs')
| -rw-r--r-- | src/VeriFuzz/Simulator/Xst.hs | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/VeriFuzz/Simulator/Xst.hs b/src/VeriFuzz/Simulator/Xst.hs index 16e9b97..3209caf 100644 --- a/src/VeriFuzz/Simulator/Xst.hs +++ b/src/VeriFuzz/Simulator/Xst.hs @@ -14,10 +14,10 @@ Xst (ise) simulator implementation. module VeriFuzz.Simulator.Xst where -import Control.Lens hiding ((<.>)) -import Prelude hiding (FilePath) +import Control.Lens hiding ( (<.>) ) +import Prelude hiding ( FilePath ) import Shelly -import Text.Shakespeare.Text (st) +import Text.Shakespeare.Text ( st ) import VeriFuzz.Simulator.General import VeriFuzz.Verilog.AST import VeriFuzz.Verilog.CodeGen @@ -33,8 +33,10 @@ instance Synthesize Xst where runSynth = runSynthXst defaultXst :: Xst -defaultXst = Xst "/opt/Xilinx/14.7/ISE_DS/ISE/bin/lin64/xst" "/opt/Xilinx/14.7/ISE_DS/ISE/bin/lin64/netgen" +defaultXst = Xst "/opt/Xilinx/14.7/ISE_DS/ISE/bin/lin64/xst" + "/opt/Xilinx/14.7/ISE_DS/ISE/bin/lin64/netgen" +-- brittany-disable-next-binding runSynthXst :: Xst -> ModDecl -> FilePath -> Sh () runSynthXst sim m outf = do writefile xstFile [st|run |