This commit is contained in:
parent
a3f078330d
commit
2307f7a59a
1 changed files with 19 additions and 0 deletions
19
doc/todo/makefile:_respect___36__PREFIX.mdwn
Normal file
19
doc/todo/makefile:_respect___36__PREFIX.mdwn
Normal file
|
@ -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.
|
||||||
|
"""]]
|
Loading…
Add table
Add a link
Reference in a new issue