diff options
author | Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at> | 2013-11-04 11:15:15 +0100 |
---|---|---|
committer | Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at> | 2013-11-04 11:40:07 +0100 |
commit | 58cfce6c5af48748e17e390ca190f2cf5426db32 (patch) | |
tree | 03d78dbe3599f6c6561b8a12f1052995877364a6 | |
parent | ba305a7ca6f5d380d4cb2ead12c5bed5444b8423 (diff) | |
download | yosys-58cfce6c5af48748e17e390ca190f2cf5426db32.tar.gz yosys-58cfce6c5af48748e17e390ca190f2cf5426db32.tar.bz2 yosys-58cfce6c5af48748e17e390ca190f2cf5426db32.zip |
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>
-rw-r--r-- | Makefile | 11 |
1 files changed, 7 insertions, 4 deletions
@@ -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 |