From 0b13e415f99b49437d8524a284abf3059a70e398 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Sat, 2 Feb 2019 22:17:15 +0000
Subject: Reset Xst and Yosys default

---
 src/VeriFuzz/XST.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/VeriFuzz/XST.hs b/src/VeriFuzz/XST.hs
index b72d975..7e27120 100644
--- a/src/VeriFuzz/XST.hs
+++ b/src/VeriFuzz/XST.hs
@@ -35,7 +35,7 @@ instance Synthesize Xst where
 
 defaultXst :: Xst
 defaultXst =
-  Xst "/opt/Xilinx/14.7/ISE_DS/ISE/bin/lin64/xst" "/opt/Xilinx/14.7/ISE_DS/ISE/bin/lin64/netgen"
+  Xst "xst" "netgen"
 
 runSynthXst :: Xst -> ModDecl -> FilePath -> Sh ()
 runSynthXst sim m outf = do
-- 
cgit