diff options
| author |  https://id.koumbit.net/anarcat <https://id.koumbit.net/anarcat@web> | 2013-09-12 17:48:56 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2013-09-12 17:48:56 +0000 |
| commit | 8174efd1612b4b9bbb618117f0a7c5230771b9ca (patch) | |
| tree | 35558aa43171b7aad97d6cd76ceb658c5b99c256 /doc/todo | |
| parent | 8915265212011c0b60b161261cd76af4702c13b0 (diff) | |
Diffstat (limited to 'doc/todo')
| -rw-r--r-- | doc/todo/makefile:_respect___36__PREFIX.mdwn | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/doc/todo/makefile:_respect___36__PREFIX.mdwn b/doc/todo/makefile:_respect___36__PREFIX.mdwn new file mode 100644 index 000000000..bcaa5b73a --- /dev/null +++ b/doc/todo/makefile:_respect___36__PREFIX.mdwn @@ -0,0 +1,19 @@ +The `Makefile` should respect a `PREFIX` passed on the commandline so git-annex can be installed in (say) `$HOME`. + +Simple patch: + +[[!format diff """ +diff --git a/Makefile b/Makefile +index b8995b2..5b1a6d4 100644 +--- a/Makefile ++++ b/Makefile +@@ -3,7 +3,7 @@ all=git-annex $(mans) docs + + GHC?=ghc + GHCMAKE=$(GHC) $(GHCFLAGS) --make +-PREFIX=/usr ++PREFIX?=/usr + CABAL?=cabal # set to "./Setup" if you lack a cabal program + + # Am I typing :make in vim? Do a fast build. +"""]] |