From d86cb8fd763e687cf2cd7ad40094d15ebba6bf87 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 7 Apr 2020 17:19:12 +0100 Subject: Remove shakespeare dependency --- src/Verismith/Tool/Yosys.hs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/Verismith/Tool/Yosys.hs') diff --git a/src/Verismith/Tool/Yosys.hs b/src/Verismith/Tool/Yosys.hs index 9f536b7..24b83fd 100644 --- a/src/Verismith/Tool/Yosys.hs +++ b/src/Verismith/Tool/Yosys.hs @@ -29,7 +29,6 @@ import Prelude hiding (FilePath) import Shelly (FilePath, ()) import qualified Shelly as S import Shelly.Lifted (liftSh, readfile) -import Text.Shakespeare.Text (st) import Verismith.CounterEg (parseCounterEg) import Verismith.Result import Verismith.Tool.Internal @@ -102,7 +101,7 @@ runEquivYosys yosys sim1 sim2 srcInfo = do runSynth sim1 srcInfo runSynth sim2 srcInfo liftSh $ S.run_ (yosysPath yosys) [S.toTextIgnore checkFile] - where checkFile = S.fromText [st|test.#{toText sim1}.#{toText sim2}.ys|] + where checkFile = S.fromText $ "test." <> toText sim1 <> "." <> toText sim2 <> ".ys" runEquiv :: (Synthesiser a, Synthesiser b) => Maybe Text -> FilePath -> a -> b -> (SourceInfo ann) -> ResultSh () -- cgit