summaryrefslogtreecommitdiff
path: root/debian/patches/04_installpath.patch
blob: 9d0e4ab4de91fe0c65fc776e334dc1211990a13d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
Description: This makes sure that DESTDIR
  is not overwritten in the Makefile.
Forwarded: doesn't make sense upstream
Author: Ruben Undheim <ruben.undheim@gmail.com>
Index: yosys-0.3.0+20140906git652345c/Makefile
===================================================================
--- yosys-0.3.0+20140906git652345c.orig/Makefile	2014-09-27 09:34:46.987363882 +0000
+++ yosys-0.3.0+20140906git652345c/Makefile	2014-09-27 09:35:10.123393601 +0000
@@ -14,7 +14,7 @@
 # other configuration flags
 ENABLE_GPROF := 0
 
-DESTDIR := /usr/local
+#DESTDIR := /usr/local
 INSTALL_SUDO :=
 
 OBJS =
@@ -263,10 +263,10 @@
 	@echo ""
 
 install: $(TARGETS) $(EXTRA_TARGETS)
-	$(INSTALL_SUDO) mkdir -p $(DESTDIR)/bin
-	$(INSTALL_SUDO) install $(TARGETS) $(DESTDIR)/bin/
-	$(INSTALL_SUDO) mkdir -p $(DESTDIR)/share/yosys
-	$(INSTALL_SUDO) cp -r share/. $(DESTDIR)/share/yosys/.
+	$(INSTALL_SUDO) mkdir -p $(DESTDIR)/usr/bin
+	$(INSTALL_SUDO) install $(TARGETS) $(DESTDIR)/usr/bin/
+	$(INSTALL_SUDO) mkdir -p $(DESTDIR)/usr/share/yosys
+	$(INSTALL_SUDO) cp -r share/. $(DESTDIR)/usr/share/yosys/.
 
 manual: $(TARGETS) $(EXTRA_TARGETS)
 	cd manual && bash appnotes.sh