From 210dda286f234db1c9a25acb6ca0be6e3c159358 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 24 Jan 2014 15:52:16 +0100
Subject: [PATCH] Use techmap -share_map in btor scripts

---
 backends/btor/btor.ys         | 2 +-
 backends/btor/verilog2btor.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/backends/btor/btor.ys b/backends/btor/btor.ys
index 7f3882b57..20bce87e1 100644
--- a/backends/btor/btor.ys
+++ b/backends/btor/btor.ys
@@ -2,7 +2,7 @@ proc;
 opt; opt_const -mux_undef; opt;
 rename -hide;;;
 #converting pmux to mux
-techmap -map techlibs/common/pmux2mux.v;;
+techmap -share_map pmux2mux.v;;
 memory -nomap;;
 #flatten design
 flatten;;
diff --git a/backends/btor/verilog2btor.sh b/backends/btor/verilog2btor.sh
index ef0134e07..a2f9ebc7e 100755
--- a/backends/btor/verilog2btor.sh
+++ b/backends/btor/verilog2btor.sh
@@ -24,7 +24,7 @@ hierarchy -check;
 proc; 
 opt; opt_const -mux_undef; opt;
 rename -hide;;;
-techmap -map $YOSYS_HOME/techlibs/common/pmux2mux.v;;
+techmap -share_map pmux2mux.v;;
 memory -nomap;;
 flatten;;
 memory_unpack; 
-- 
2.30.2