diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2017-02-04 13:50:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-04 13:50:34 +0100 |
| commit | 42f669beab39df38d2f4955b651541272126a04e (patch) | |
| tree | f68d918629725f9306698bf0641910d1f714714b /Makefile | |
| parent | 144f6d16fd79bd0496b3ae379b69227e0d9bbfa9 (diff) | |
| parent | 1b2f8c0355210dbfd34b10ed4ff7f0c90fda062d (diff) | |
| download | lualibs-42f669beab39df38d2f4955b651541272126a04e.tar.gz | |
v2.5
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 + |