diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2014-09-14 12:46:26 +0200 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2014-09-14 12:46:26 +0200 |
commit | 0660ff40b6d5a07cbfe7c83c8151f706c253665f (patch) | |
tree | 8bc939a560af59a66e742902242ec1187f6f88a6 /debian/patches | |
parent | f58fc30b1d38faa8fc794fb7407f55f21e525989 (diff) |
Small fix
Diffstat (limited to 'debian/patches')
-rw-r--r-- | debian/patches/06_cflags_ldflags.patch | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/debian/patches/06_cflags_ldflags.patch b/debian/patches/06_cflags_ldflags.patch index 02367691..46773c4e 100644 --- a/debian/patches/06_cflags_ldflags.patch +++ b/debian/patches/06_cflags_ldflags.patch @@ -4,8 +4,8 @@ Forwarded: will do Author: Ruben Undheim <ruben.undheim@gmail.com> Index: yosys/Makefile =================================================================== ---- yosys.orig/Makefile 2014-09-14 12:27:43.000000000 +0200 -+++ yosys/Makefile 2014-09-14 12:28:36.066660204 +0200 +--- yosys.orig/Makefile 2014-09-14 12:45:33.658671118 +0200 ++++ yosys/Makefile 2014-09-14 12:46:06.098671466 +0200 @@ -27,8 +27,8 @@ all: top-all @@ -30,3 +30,12 @@ Index: yosys/Makefile kernel/version_$(GIT_REV).cc: Makefile $(P) rm -f kernel/version_*.o kernel/version_*.d kernel/version_*.cc +@@ -206,7 +206,7 @@ + $(CXX) --version | tr ' ()' '\n' | grep '^[0-9]' | head -n1` $(filter -f% -m% -O% -DNDEBUG,$(CXXFLAGS)))\";" > kernel/version_$(GIT_REV).cc + + yosys-config: yosys-config.in +- $(P) $(SED) -e 's,@CXX@,$(CXX),;' -e 's,@CXXFLAGS@,$(CXXFLAGS),;' -e 's,@LDFLAGS@,$(LDFLAGS),;' -e 's,@LDLIBS@,$(LDLIBS),;' \ ++ $(P) $(SED) -e 's,@CXX@,$(CXX),;' -e 's/@CXXFLAGS@/$(CXXFLAGS)/;' -e 's/@LDFLAGS@/$(LDFLAGS)/;' -e 's,@LDLIBS@,$(LDLIBS),;' \ + -e 's,@BINDIR@,$(DESTDIR)/bin,;' -e 's,@DATDIR@,$(DESTDIR)/share/yosys,;' < yosys-config.in > yosys-config + $(Q) chmod +x yosys-config + |