diff options
author | Joey Hess <joey@kitenet.net> | 2012-03-15 12:00:19 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-03-15 12:00:19 -0400 |
commit | d2769cf7953657ac9ff6ba2acc27cb71a6543c5d (patch) | |
tree | cdd718a7accbd26e7544ff96ab26965e98a48cc5 /Makefile | |
parent | 7a65df32236df42d49758ee861237613f501e3c2 (diff) |
shave some 12 mb from the installed size
* git-annex now behaves as git-annex-shell if symlinked to and run by that
name. The Makefile sets this up, saving some 8 mb of installed size.
* git-union-merge is a demo program, so it is no longer built by default.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -9,8 +9,8 @@ endif GHCMAKE=ghc $(GHCFLAGS) --make -bins=git-annex git-annex-shell git-union-merge -mans=git-annex.1 git-annex-shell.1 git-union-merge.1 +bins=git-annex +mans=git-annex.1 git-annex-shell.1 sources=Build/SysConfig.hs Utility/StatFS.hs Utility/Touch.hs all=$(bins) $(mans) docs @@ -48,6 +48,7 @@ git-union-merge.1: doc/git-union-merge.mdwn install: all install -d $(DESTDIR)$(PREFIX)/bin install $(bins) $(DESTDIR)$(PREFIX)/bin + ln -sf git-annex $(DESTDIR)$(PREFIX)/bin/git-annex-shell install -d $(DESTDIR)$(PREFIX)/share/man/man1 install -m 0644 $(mans) $(DESTDIR)$(PREFIX)/share/man/man1 install -d $(DESTDIR)$(PREFIX)/share/doc/git-annex |