diff options
Diffstat (limited to 'debian/patches/0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch')
-rw-r--r-- | debian/patches/0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/patches/0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch b/debian/patches/0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch index 0b46c4a0..5d37598f 100644 --- a/debian/patches/0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch +++ b/debian/patches/0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch @@ -7,10 +7,10 @@ Subject: Fix adding of sys.path in yosys-smtbmc 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/backends/smt2/Makefile.inc b/backends/smt2/Makefile.inc -index dce82f0..f98e610 100644 +index 92941d4..2c0b7c6 100644 --- a/backends/smt2/Makefile.inc +++ b/backends/smt2/Makefile.inc -@@ -6,7 +6,7 @@ ifneq ($(CONFIG),emcc) +@@ -22,7 +22,7 @@ else TARGETS += yosys-smtbmc yosys-smtbmc: backends/smt2/smtbmc.py @@ -18,4 +18,4 @@ index dce82f0..f98e610 100644 + $(P) sed 's|##yosys-sys-path##|sys.path += ["/usr/share/yosys"]|;' < $< > $@.new $(Q) chmod +x $@.new $(Q) mv $@.new $@ - + endif |