Allow setting of installation destination via DESTDIR variable in Makefile

This is useful when packaging yosys, as some Linux distributions do not
allow the package management system to install files in /usr/local [1][2].

[1] https://wiki.archlinux.org/index.php/Arch_Packaging_Standards
[2] http://fedoraproject.org/wiki/Packaging:Guidelines

Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>

diff --git a/Makefile b/Makefile
index 312225ef1dbe3ce2bd620f6a39d6070102de0350..c11f84f55cb31dd81915fd25d39af7461c9c8ef0 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -8,6 +8,8 @@ ENABLE_QT4 := 1
 ENABLE_MINISAT := 1
 ENABLE_GPROF := 0
 
+DESTDIR = "/usr/local"
+
 OBJS =
 GENFILES =
 EXTRA_TARGETS =
@@ -105,12 +107,13 @@ test: yosys
        cd tests/asicworld && bash run-test.sh
 
 install: $(TARGETS)
-       install $(TARGETS) /usr/local/bin/
-       mkdir -p /usr/local/share/yosys
-       cp -r share/. /usr/local/share/yosys/.
+       mkdir -p $(DESTDIR)/bin
+       install $(TARGETS) $(DESTDIR)/bin/
+       mkdir -p $(DESTDIR)/share/yosys
+       cp -r share/. $(DESTDIR)/share/yosys/.
 
 install-abc:
-       install yosys-abc /usr/local/bin/
+       install yosys-abc $(DESTDIR)/bin/
 
 manual:
        cd manual && bash make.sh