2010-10-10 04:18:16 +00:00
|
|
|
git-annex:
|
2010-10-14 07:46:34 +00:00
|
|
|
mkdir -p build
|
|
|
|
ghc -odir build -hidir build --make git-annex
|
2010-10-10 04:18:16 +00:00
|
|
|
|
2010-10-16 20:41:24 +00:00
|
|
|
install:
|
|
|
|
install -d $(DESTDIR)/usr/bin
|
|
|
|
install git-annex $(DESTDIR)/usr/bin
|
|
|
|
|
2010-10-10 04:18:16 +00:00
|
|
|
clean:
|
2010-10-14 07:46:34 +00:00
|
|
|
rm -rf build git-annex
|
2010-10-19 18:37:19 +00:00
|
|
|
rm -rf doc/.ikiwiki html
|
|
|
|
|
|
|
|
# Build static html docs suitable for being shipped in the software
|
|
|
|
# package. This depends on ikiwiki being installed to build the docs.
|
|
|
|
ifeq ($(shell which ikiwiki),)
|
|
|
|
IKIWIKI=echo "** ikiwiki not found" >&2 ; echo ikiwiki
|
|
|
|
else
|
|
|
|
IKIWIKI=ikiwiki
|
|
|
|
endif
|
|
|
|
|
|
|
|
docs:
|
|
|
|
$(IKIWIKI) doc html -v --wikiname git-annex --plugin=goodstuff
|
2010-10-10 04:18:16 +00:00
|
|
|
|
|
|
|
.PHONY: git-annex
|