2010-10-10 00:18:16 -04:00
|
|
|
git-annex:
|
2010-10-14 03:46:34 -04:00
|
|
|
mkdir -p build
|
|
|
|
|
ghc -odir build -hidir build --make git-annex
|
2010-10-10 00:18:16 -04:00
|
|
|
|
2010-10-16 16:41:24 -04:00
|
|
|
install:
|
|
|
|
|
install -d $(DESTDIR)/usr/bin
|
|
|
|
|
install git-annex $(DESTDIR)/usr/bin
|
|
|
|
|
|
2010-10-10 00:18:16 -04:00
|
|
|
clean:
|
2010-10-14 03:46:34 -04:00
|
|
|
rm -rf build git-annex
|
2010-10-10 00:18:16 -04:00
|
|
|
|
|
|
|
|
.PHONY: git-annex
|
