diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 15 |
1 files changed, 14 insertions, 1 deletions
@@ -26,10 +26,14 @@ prefix?=/usr/local bindir=$(prefix)/bin mandir=$(prefix)/share/man man1dir=$(mandir)/man1 +infraexamplesdir=$(prefix)/share/doc/dgit-infrastructure/examples -PROGRAMS=dgit dgit-repos-server +PROGRAMS=dgit MAN1PAGES=dgit.1 +INFRA_PROGRAMS=dgit-repos-server dgit-ssh-dispatch +INFRA_EXAMPLES=get-dm-txt ssh-wrap + all: install: installdirs @@ -39,6 +43,15 @@ install: installdirs installdirs: $(INSTALL_DIR) $(DESTDIR)$(bindir) $(DESTDIR)$(man1dir) +install-infra: installdirs-infra + $(INSTALL_PROGRAM) $(addprefix infra/, $(INFRA_PROGRAMS)) \ + $(DESTDIR)$(bindir) + $(INSTALL_PROGRAM) $(addprefix infra/, $(INFRA_EXAMPLES)) \ + $(DESTDIR)$(infraexamplesdir) + +installdirs-infra: + $(INSTALL_DIR) $(DESTDIR)$(bindir) $(DESTDIR)$(infraexamplesdir) + check installcheck: clean distclean mostlyclean maintainer-clean: |