aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/Tool/XST.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Verismith/Tool/XST.hs')
-rw-r--r--src/Verismith/Tool/XST.hs3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Verismith/Tool/XST.hs b/src/Verismith/Tool/XST.hs
index 2bec7d9..1e37149 100644
--- a/src/Verismith/Tool/XST.hs
+++ b/src/Verismith/Tool/XST.hs
@@ -23,7 +23,6 @@ import Data.Text (Text, unpack)
import Prelude hiding (FilePath)
import Shelly
import Shelly.Lifted (liftSh)
-import Text.Shakespeare.Text (st)
import Verismith.Tool.Internal
import Verismith.Tool.Template
import Verismith.Verilog.AST
@@ -62,7 +61,7 @@ runSynthXST sim (SourceInfo top src) = do
(maybe (fromText n) (</> fromText n) $ xstBin sim)
liftSh $ do
writefile xstFile $ xstSynthConfig top
- writefile prjFile [st|verilog work "rtl.v"|]
+ writefile prjFile "verilog work \"rtl.v\""
writefile "rtl.v" $ genSource src
exec "xst" ["-ifn", toTextIgnore xstFile]
exec