GNU bug report logs - #47789
[PATCH 0/6] Add TLA+ Tools (tla2tools)

Previous Next

Full log

Message #41 received at 47789 <at> debbugs.gnu.org (full text, mbox):

From: Mike Gerwitz <mtg <at> gnu.org>
To: Maxime Devos <maximedevos <at> telenet.be>
Cc: 47789 <at> debbugs.gnu.org
Subject: Re: [bug#47789] [PATCH 4/6] gnu: Add java-jline-terminal.
Date: Thu, 15 Apr 2021 20:55:54 -0400

[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)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.