diff options
| author | Maxime Hadjinlian <maxime.hadjinlian@gmail.com> | 2016-11-03 11:22:20 +0100 |
|---|---|---|
| committer | Maxime Hadjinlian <maxime.hadjinlian@gmail.com> | 2016-11-03 11:23:42 +0100 |
| commit | b4442f28b9af26a0b593e1966e2a0164931e086c (patch) | |
| tree | 1544970c83a3fc02749a8ae166092281165ca71c | |
| parent | 9cf0d77056c4d956bebf5d9aa39537d806869f96 (diff) | |
doxygen/Makefile: test if doxygen is available
On some machine doxygen is not available, instead of having the build
error out, display a warning message to the user.
Signed-off-by: Maxime Hadjinlian <maxime.hadjinlian@gmail.com>
| -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 |