diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2015-02-09 21:03:31 +0100 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2015-02-09 21:04:36 +0100 |
commit | 27f7a6d0a4dcec9afd883c02384902a05dc5f5ea (patch) | |
tree | 82f95d2e227b01d068bc16170cdd38554c8bb602 /debian/patches | |
parent | ba0b650ad4dd08e0fb12ef35e06831a9c3c2ab12 (diff) |
Fixed paths returned by yosys-config
Diffstat (limited to 'debian/patches')
-rw-r--r-- | debian/patches/04_installpath.patch | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/debian/patches/04_installpath.patch b/debian/patches/04_installpath.patch index 0cb8cd8d..f2a00e24 100644 --- a/debian/patches/04_installpath.patch +++ b/debian/patches/04_installpath.patch @@ -4,9 +4,9 @@ Forwarded: doesn't make sense upstream Author: Ruben Undheim <ruben.undheim@gmail.com> Index: yosys/Makefile =================================================================== ---- yosys.orig/Makefile 2015-02-09 20:40:46.015385286 +0100 -+++ yosys/Makefile 2015-02-09 20:40:46.015385286 +0100 -@@ -17,7 +17,7 @@ +--- yosys.orig/Makefile 2015-02-09 21:02:20.979399175 +0100 ++++ yosys/Makefile 2015-02-09 21:02:45.515399438 +0100 +@@ -17,11 +17,11 @@ ENABLE_GPROF := 0 ENABLE_NDEBUG := 0 @@ -14,7 +14,13 @@ Index: yosys/Makefile +#DESTDIR := /usr/local INSTALL_SUDO := - TARGET_BINDIR := $(DESTDIR)/bin +-TARGET_BINDIR := $(DESTDIR)/bin +-TARGET_DATDIR := $(DESTDIR)/share/yosys ++TARGET_BINDIR := $(DESTDIR)/usr/bin ++TARGET_DATDIR := $(DESTDIR)/usr/share/yosys + + EXE = + OBJS = @@ -332,10 +332,10 @@ @echo "" |