Package: yosys / 0.7-2+deb9u1

Metadata

Package Version Patches format
yosys 0.7-2+deb9u1 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
01_gitrevision.patch | (download)

Makefile | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 compilation from the upstream code depends on being in the git
 repository to get the correct git-revision to be shown when running the
 program. This patch puts in the git revision from the correct upstream. It
 must be updated every time upstream changes!

02_removeabc.patch | (download)

Makefile | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 don't build abc when building yosys. it is built as a separate
 source package.

05_abc_executable.patch | (download)

passes/techmap/abc.cc | 6 1 + 5 - 0 !
1 file changed, 1 insertion(+), 5 deletions(-)

 the dependency abc is built with the name yosys-abc upstream. since
 it is available as a separate package independently of yosys,
 it is not called yosys-abc in debian. This patch changes the name of the
 command that yosys looks for.

switch to free font.patch | (download)

manual/APPNOTE_010_Verilog_to_BLIF.tex | 2 1 + 1 - 0 !
manual/APPNOTE_011_Design_Investigation.tex | 2 1 + 1 - 0 !
manual/APPNOTE_012_Verilog_to_BTOR.tex | 2 1 + 1 - 0 !
manual/manual.tex | 2 1 + 1 - 0 !
manual/presentation.tex | 2 1 + 1 - 0 !
5 files changed, 5 insertions(+), 5 deletions(-)

 switch the yosys manual font from luximono (non-free) to inconsolata
 (free)

===================================================================

manual build.patch | (download)

manual/PRESENTATION_Prog/Makefile | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 build the manual using the headers from the source tree,
 not the installed ones.

===================================================================

kfreebsd support.patch | (download)

kernel/driver.cc | 6 3 + 3 - 0 !
kernel/log.cc | 6 3 + 3 - 0 !
kernel/log.h | 2 1 + 1 - 0 !
kernel/yosys.cc | 4 2 + 2 - 0 !
libs/minisat/System.cc | 4 2 + 2 - 0 !
libs/minisat/System.h | 2 1 + 1 - 0 !
passes/cmds/cover.cc | 2 1 + 1 - 0 !
7 files changed, 13 insertions(+), 13 deletions(-)

 change yosys to look for the #define constant "__unix__" instead of
 "__linux__",
 to select code appropriate for Unix-like systems. This has been tested with
 Clang 3.5 and GCC 4.6, 4.8, and 4.9 on Linux,
 and Clang 3.5 and GCC 4.9 on kFreeBSD.


0010 Fix adding of sys.path in yosys smtbmc.patch | (download)

backends/smt2/Makefile.inc | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 fix adding of sys.path in yosys-smtbmc