diff options
| author | Taylor Holberton <taylorcholberton@gmail.com> | 2016-11-03 16:49:24 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-03 16:49:24 -0400 |
| commit | 525890152b20f97d441d993032fb882bc1487fd1 (patch) | |
| tree | 1544970c83a3fc02749a8ae166092281165ca71c | |
| parent | 9cf0d77056c4d956bebf5d9aa39537d806869f96 (diff) | |
| parent | b4442f28b9af26a0b593e1966e2a0164931e086c (diff) | |
Merge pull request #82 from maximeh/master
doxygen/Makefile: test if doxygen is available
| -rw-r--r-- | doxygen/Makefile | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/doxygen/Makefile b/doxygen/Makefile index 5f8c5c0..dcc79e1 100644 --- a/doxygen/Makefile +++ b/doxygen/Makefile @@ -2,21 +2,28 @@ DESTDIR ?= PREFIX ?= /usr/local MANDIR ?= $(PREFIX)/share/man -DOXYGEN ?= doxygen +DOXYGEN := $(shell command -v doxygen 2> /dev/null) DOXYGENFLAGS = .PHONY: all all: +ifndef DOXYGEN + $(warning "doxygen is not available please install it") +else $(DOXYGEN) $(DOXYGENFLAGS) +endif .PHONY: clean clean: +ifdef DOXYGEN rm -Rf html rm -Rf man +endif .PHONY: install install: +ifdef DOXYGEN mkdir -p $(DESTDIR)$(MANDIR)/man3 cp -u man/man3/tinyalsa-pcm.3 $(DESTDIR)$(MANDIR)/man3 cp -u man/man3/tinyalsa-mixer.3 $(DESTDIR)$(MANDIR)/man3 - +endif |