diff options
| author |  http://joeyh.name/ <http://joeyh.name/@web> | 2013-11-11 19:14:59 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2013-11-11 19:14:59 +0000 |
| commit | 13c91f1e7f72fabbe455c1b14b6c73135de76b2b (patch) | |
| tree | 4c4c48cef5f9fbac3c4ab4e0f17e30587efd8c0d /doc | |
| parent | 43fd4406e29bc741c0399d27d1c85d044a2070d9 (diff) | |
Added a comment
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/bugs/git-annex_broken_on_Android_4.3/comment_23_6398271f5cd9e94996202ef3bce6f6ed._comment | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/bugs/git-annex_broken_on_Android_4.3/comment_23_6398271f5cd9e94996202ef3bce6f6ed._comment b/doc/bugs/git-annex_broken_on_Android_4.3/comment_23_6398271f5cd9e94996202ef3bce6f6ed._comment new file mode 100644 index 000000000..05cb634e6 --- /dev/null +++ b/doc/bugs/git-annex_broken_on_Android_4.3/comment_23_6398271f5cd9e94996202ef3bce6f6ed._comment @@ -0,0 +1,20 @@ +[[!comment format=mdwn + username="http://joeyh.name/" + ip="209.250.56.246" + subject="comment 23" + date="2013-11-11T19:14:59Z" + content=""" +Script variation is ok. + +So, it's looking like perhaps a problem with the way cabal links the executable, which I notice is a two stage process, vs the way ghc links it with --make. + +To narrow down, here is hello built using cabal: + +<http://tmp.kitenet.net/hello-cabal> + +Here is git-annex built not using cabal: + +<http://tmp.kitenet.net/git-annex-byhand> + +(For my own reference, it's also built without WITH_CLIBS.) +"""]] |