GNU bug report logs -
#47789
[PATCH 0/6] Add TLA+ Tools (tla2tools)
Previous Next
Reported by: Mike Gerwitz <mtg <at> gnu.org>
Date: Thu, 15 Apr 2021 04:24:01 UTC
Severity: normal
Tags: patch
Done: Ludovic Courtès <ludo <at> gnu.org>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
[Message part 1 (text/plain, inline)]
On Thu, Apr 15, 2021 at 10:13:03 +0200, Maxime Devos wrote:
> On Thu, 2021-04-15 at 00:26 -0400, Mike Gerwitz wrote:
>> + (add-after 'unpack 'patch-paths
>> + (lambda _
>> + (substitute* "terminal/src/main/java/org/jline/utils/OSUtils.java"
>> + (("= \"(s?tty|infocmp)\"" _ cmd)
>> + (string-append "= \"" (which cmd) "\"")))
>
> (which cmd) is most likely incorrect when cross-compiling,
> as when cross-compiling, only the inputs in "native-inputs" contribute
> towards PATH, and "inputs" does not contribute towards PATH (IIUC).
>
> You will need something like
> (lambda* (#:key inputs #:allow-other-keys)
> ...
> ... (string-append "= \"" (assoc-ref "ncurses" inputs) "/bin/ncurses")
Thanks. There are some other Java packages that do this as well. I'll
include these changes in the new series.
> (TODO to self: define a variant which/target which looks at the build inputs
> instead of native-inputs when cross-compiling.)
+1
--
Mike Gerwitz
[signature.asc (application/pgp-signature, inline)]
This bug report was last modified 4 years and 78 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.