[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#47789] [PATCH 6/6] gnu: Add tla2tools.
From: |
Mike Gerwitz |
Subject: |
[bug#47789] [PATCH 6/6] gnu: Add tla2tools. |
Date: |
Thu, 15 Apr 2021 21:12:15 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
On Thu, Apr 15, 2021 at 10:17:09 +0200, Maxime Devos wrote:
> On Thu, 2021-04-15 at 00:27 -0400, Mike Gerwitz wrote:
>> + "#!" (which "sh") "\n"
> Most likely incorrect when cross-compiling, as noted in a previous
> patch.
I ended up using "/bin/sh" in the new series because the
'patch-source-shebangs phase that runs as part of the build system
automatically fixes it for me. Please lmk if that's not okay.
Using `(assoc-ref inputs "bash-minimal")' feels wrong to me since that
makes assumptions about the underlying dependencies, but I'll leave that
decision to you. (It didn't seem to work when I tried it, but I could
try again.)
--
Mike Gerwitz
signature.asc
Description: PGP signature
- [bug#47789] [PATCH 1/6] gnu: Add java-gson-2.8.6., (continued)
- [bug#47789] [PATCH 4/6] gnu: Add java-jline-terminal., Mike Gerwitz, 2021/04/15
- [bug#47789] [PATCH 3/6] gnu: Add java-eclipse-lsp4j packages., Mike Gerwitz, 2021/04/15
- [bug#47789] [PATCH 6/6] gnu: Add tla2tools., Mike Gerwitz, 2021/04/15
- [bug#47789] [PATCH 1/6] gnu: Add java-gson-2.8.6., Mike Gerwitz, 2021/04/15
- [bug#47789] [PATCH 2/6] gnu: Add java-eclipse-xtext-xbase-lib., Mike Gerwitz, 2021/04/15
- [bug#47789] [PATCH 3/6] gnu: Add java-eclipse-lsp4j packages., Mike Gerwitz, 2021/04/15
- [bug#47789] [PATCH 4/6] gnu: Add java-jline-terminal., Mike Gerwitz, 2021/04/15
- [bug#47789] [PATCH 5/6] gnu: Add java-jline-reader., Mike Gerwitz, 2021/04/15
- [bug#47789] [PATCH 6/6] gnu: Add tla2tools., Mike Gerwitz, 2021/04/15
- [bug#47789] [PATCH 0/6] Add TLA+ Tools (tla2tools), Mike Gerwitz, 2021/04/15