diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-11-07 17:02:06 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-11-07 17:02:06 -0400 |
commit | bbf1aa78232261df786377874c8652fa5ca85aa7 (patch) | |
tree | 60ec75e4f5a4a7109fa4f8755fd132bf44d7975b | |
parent | c065335d9d9e534c06ea58c25e4bf97223e9d907 (diff) |
followup
-rw-r--r-- | doc/install/fromsource/comment_68_059f1cd929228e131bf88d80aca0b573._comment | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/doc/install/fromsource/comment_68_059f1cd929228e131bf88d80aca0b573._comment b/doc/install/fromsource/comment_68_059f1cd929228e131bf88d80aca0b573._comment new file mode 100644 index 000000000..e1f96f95e --- /dev/null +++ b/doc/install/fromsource/comment_68_059f1cd929228e131bf88d80aca0b573._comment @@ -0,0 +1,24 @@ +[[!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. +"""]] |