diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2017-02-01 08:18:28 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2017-02-01 08:18:28 +0100 |
| commit | 19ba6b14e20738c82ad539b2a4b0690e7880e3cb (patch) | |
| tree | fa23bc0113f3a8f141e2ecd06a1d352665f408d7 /Makefile | |
| parent | 12d27922f7bb7f466b5d476fa2c1ddc08a300513 (diff) | |
| download | lualibs-19ba6b14e20738c82ad539b2a4b0690e7880e3cb.tar.gz | |
sync with Context as of 2017-02-01
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -125,3 +125,14 @@ mrproper: clean @$(RM) -r $(DISTDIR) merge: $(MERGED) + +ifndef DESTDIR +install: + $(error "in order to install you need to provide $$DESTDIR") +else +install: $(TDS_ZIP) + $(info installing to destination “$(DESTDIR)”) + install -dm755 "$(DESTDIR)" + unzip "$(TDS_ZIP)" -d "$(DESTDIR)" +endif + |