From 821f1b85343dab5105c55ce688ed2180c69bec54 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 14 Oct 2015 00:37:41 +0200
Subject: Added yosys-smtbmc

---
 backends/smt2/Makefile.inc | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'backends/smt2/Makefile.inc')

diff --git a/backends/smt2/Makefile.inc b/backends/smt2/Makefile.inc
index 4e0a393a..65cb6e3d 100644
--- a/backends/smt2/Makefile.inc
+++ b/backends/smt2/Makefile.inc
@@ -1,3 +1,17 @@
 
 OBJS += backends/smt2/smt2.o
 
+ifneq ($(CONFIG),mxe)
+ifneq ($(CONFIG),emcc)
+TARGETS += yosys-smtbmc
+
+yosys-smtbmc:
+	$(P) sed '3 { p; s|.*|sys.path += [os.path.dirname(__file__) + p for p in ["/share/python3", "/../share/yosys/python3"]]|; }' \
+			< backends/smt2/smtbmc.py > yosys-smtbmc.new
+	$(Q) chmod +x yosys-smtbmc.new
+	$(Q) mv yosys-smtbmc.new yosys-smtbmc
+
+$(eval $(call add_share_file,share/python3,backends/smt2/smtio.py))
+endif
+endif
+
-- 
cgit v1.2.3