Package: yosys / 0.8+20190328git32bd0f2-1~exp1

Metadata

Package Version Patches format
yosys 0.8+20190328git32bd0f2-1~exp1 3.0 (quilt)

Patch series

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

Makefile | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 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 | 8 4 + 4 - 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 | 2 1 + 1 - 0 !
passes/cmds/cover.cc | 2 1 + 1 - 0 !
6 files changed, 12 insertions(+), 12 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.


0007 Disable pretty build.patch | (download)

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

 disable pretty build


0009 Some spelling errors fixed.patch | (download)

frontends/ast/genrtlil.cc | 2 1 + 1 - 0 !
manual/CHAPTER_Overview.tex | 2 1 + 1 - 0 !
manual/command-reference-manual.tex | 2 1 + 1 - 0 !
techlibs/xilinx/synth_xilinx.cc | 4 2 + 2 - 0 !
4 files changed, 5 insertions(+), 5 deletions(-)

 some spelling errors fixed


0010 Fix reproducibility of PDF documents in yosys doc.patch | (download)

Makefile | 6 3 + 3 - 0 !
manual/appnotes.sh | 5 4 + 1 - 0 !
manual/manual.sh | 6 4 + 2 - 0 !
manual/presentation.sh | 11 9 + 2 - 0 !
manual/presentation.tex | 1 1 + 0 - 0 !
5 files changed, 21 insertions(+), 8 deletions(-)

 fix reproducibility of pdf documents in yosys-doc


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


0011 Do not show g build flags in Version string.patch | (download)

Makefile | 7 4 + 3 - 0 !
1 file changed, 4 insertions(+), 3 deletions(-)

 do not show g++ build flags in version string


0012 Skip non deterministic test causing random FTBFS on .patch | (download)

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

 skip non-deterministic test causing random ftbfs on some
 architectures


0013 Let dpkg buildpackage handle stripping of binaries.patch | (download)

Makefile | 4 0 + 4 - 0 !
1 file changed, 4 deletions(-)

 let dpkg-buildpackage handle stripping of binaries