[yosys] 05/15: build the manual using headers from the source tree, not installed

[Sebastian Kuzminsky]

This is an automated email from the git hooks/post-receive script.

seb_kuzminsky-guest pushed a commit to branch doc-dev-debs
in repository yosys.

commit 9a9a2dbb8093db153fa6cafd2e706e60fbafda92
Author: Sebastian Kuzminsky <seb at highlab.com>
Date:   Sun Feb 28 22:26:24 2016 -0700

    build the manual using headers from the source tree, not installed
---
 debian/patches/manual-build.patch | 16 ++++++++++++++++
 debian/patches/series             |  1 +
 2 files changed, 17 insertions(+)

diff --git a/debian/patches/manual-build.patch b/debian/patches/manual-build.patch
new file mode 100644
index 0000000..e650417
--- /dev/null
+++ b/debian/patches/manual-build.patch
@@ -0,0 +1,16 @@
+Description: build the manual using the headers from the source tree, not
+ the installed ones.
+Author: Sebastian Kuzminsky <seb at highlab.com>
+Index: yosys/manual/PRESENTATION_Prog/Makefile
+===================================================================
+--- yosys.orig/manual/PRESENTATION_Prog/Makefile	2016-02-28 22:25:29.557021857 -0700
++++ yosys/manual/PRESENTATION_Prog/Makefile	2016-02-28 22:25:36.096960466 -0700
+@@ -2,7 +2,7 @@
+ all: test0.log test1.log test2.log
+ 
+ my_cmd.so: my_cmd.cc
+-	../../yosys-config --exec --cxx --cxxflags --ldflags -o my_cmd.so -shared my_cmd.cc --ldlibs
++	../../yosys-config --exec --cxx --cxxflags -I../.. --ldflags -o my_cmd.so -shared my_cmd.cc --ldlibs
+ 
+ test0.log: my_cmd.so
+ 	../../yosys -Ql test0.log_new -m ./my_cmd.so -p 'my_cmd foo bar' absval_ref.v
diff --git a/debian/patches/series b/debian/patches/series
index 964a4a7..9650677 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -4,3 +4,4 @@
 05_abc_executable.patch
 spelling-fixes.patch
 switch-to-free-font.patch
+manual-build.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git