24 lines
1.1 KiB
Text
24 lines
1.1 KiB
Text
[[!comment format=mdwn
|
|
username="joey"
|
|
subject="""comment 68"""
|
|
date="2017-11-07T20:42:14Z"
|
|
content="""
|
|
@erics, thanks for the useful feedback about stack. I've applied your
|
|
patch to avoid the Build/InstallDesktopFile problem. And, I made it
|
|
automatically set GHC when BUILDER=stack.
|
|
|
|
Using the Makefile is documented, up in the "building from source on
|
|
Debian" section. But there's a set of users who want to use stack,
|
|
and don't want to mess around with Makefiles (including users on Windows
|
|
without a "make"), and that's who the stack instructions are kind of
|
|
targeted at. It's an unfortunate problem with stack that it doesn't provide
|
|
any way to make the git-annex-shell symlink.
|
|
|
|
I am doubtful that --allow-different-user is a good idea. I sometimes
|
|
use stack to build git-annex for testing purposes, but I have never
|
|
built it with stack and installed that with `sudo make install`.
|
|
And it may well be that there's not a reasonable way to make that work;
|
|
and the install target is mostly intended for use by distributions that
|
|
are creating a package of git-annex, who probably set PREFIX and don't run
|
|
it as root.
|
|
"""]]
|