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!

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.

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.

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/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.

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

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.

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

 disable pretty build

backends/simplec/simplec.cc | 2 1 + 1 - 0 !
backends/table/table.cc | 2 1 + 1 - 0 !
backends/verilog/verilog_backend.cc | 2 1 + 1 - 0 !
frontends/blif/blifparse.cc | 2 1 + 1 - 0 !
frontends/liberty/liberty.cc | 2 1 + 1 - 0 !
manual/CHAPTER_Overview.tex | 2 1 + 1 - 0 !
manual/command-reference-manual.tex | 2 1 + 1 - 0 !
passes/cmds/show.cc | 2 1 + 1 - 0 !
8 files changed, 8 insertions(+), 8 deletions(-)

 some spelling errors fixed

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

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

 fix adding of sys.path in yosys-smtbmc

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

 do not show g++ build flags in version string

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

 skip non-deterministic test causing random ftbfs on some
 architectures

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

 let dpkg-buildpackage handle stripping of binaries