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-10 04:18:16 +00:00
|
|
|
|
|
|
|
|
.PHONY: git-annex
|
