diff options
| author | Sebastian Kuzminsky <seb@highlab.com> | 2016-02-28 22:26:24 -0700 |
|---|---|---|
| committer | Sebastian Kuzminsky <seb@highlab.com> | 2016-03-28 21:55:19 -0600 |
| commit | c3bbf19315067dc4dbc4aaf132a2b20d63f87da0 (patch) | |
| tree | 5b3a02204dbd8f2280e573b76f97bb66dddd27c9 | |
| parent | 1d78ebaf9b518d96230ae19c958aedf8873a31f6 (diff) | |
build the manual using headers from the source tree, not installed
| -rw-r--r-- | debian/patches/manual-build.patch | 16 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 17 insertions, 0 deletions
diff --git a/debian/patches/manual-build.patch b/debian/patches/manual-build.patch new file mode 100644 index 00000000..e6504174 --- /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@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 964a4a7f..9650677b 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 |