* gnu/packages/python-web.scm (gunicorn): Update to 2.1.0.
[arguments]: Ignore one test that cannot run in the build container.
[native-inputs]: Add PYTHON-GEVENT.
* gnu/packages/web.scm (nginx)[inputs]: Add libxml2 and libxslt.
[arguments]: Add "--with-http_xslt_module" to the configure flags.
Set up CFLAGS to find libxml2 headers.
* gnu/packages/web-browsers.scm (nyxt): Update to 2-pre-release-7.
[arguments]: Set GI_TYPELIB_PATH to the value in the build environment, not
just gsettings-desktop-schemas since we also need the typelibs of GTK, Pango,
etc.
[inputs]: Add sbcl-cl-gobject-introspection, gtk+, webkitgtk,
gobjectintrospection. There are all needed for the new GI-based renderer.
* gnu/packages/dictionaries.scm (translate-shell)[arguments]: Replace
custom 'emacs-install phase with the 'install phase from the
emacs-build-system. Also add 'emacs-make-autoload and
'emacs-autoloads-completion phases from the emacs-build-system. Adjust
modules and imported modules accordingly.
* gnu/services/mail.scm (protocol-configuration): Add an ‘imap-metadata?’
setting to enable IMAP METADATA support in the ‘imap’ protocol.
* doc/guix.texi (Mail Services): Document it.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
* gnu/packages/authentication.scm (oath-toolkit)[arguments]:
Add "--enable-pskc" and "--with-xmlsec-crypto-engine=openssl"
to #:configure-flags.
[native-inputs]: Add libltdl.
[inputs]: Add openssl and xmlsec-openssl.
[description]: Document the two new features.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
* gnu/packages/linux.scm (rasdaemon)[description]: Use @acronym with
1 comma only (@comma is not yet supported).
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
Normal error reporting was disrupted by the introduction of
Disarchive in commit fbc2a52a32. In
particular, running 'guix download' would succeed with a partially
downloaded file.
* guix/build/download.scm (disarchive-fetch/any): Return '#f' when
Disarchive cannot be found, the specification cannot be found, or
Disarchive fails due to an error.
* gnu/packages/shells.scm (loksh): Update to 6.9.
[source]: Check out recursively.
[build-systems]: Switch to Meson.
[inputs]: Remove libbsd.
[arguments]: Remove the old build system's #:make-flags and #:phases
customisation.
* gnu/packages/django.scm (python-django)[arguments]: Delete 'wrap' phase.
[native-inputs]: Move PYTHON-JINJA2 ...
[propagated-inputs]: ... here. While at it, add a comment about which inputs
are optional and adjust order accordingly.
Regression introduced in 58805da44d.
* gnu/packages/linux.scm (rasdaemon)[description]: Avoid @acronym since
Guile's Texinfo module doesn't currently support @comma{}.
* doc/guix.texi (Linux Services): Use @comma{} within @acronym.
This introduces tla2tools.jar, which contains the TLA+ model checker
and simulator (TLC); a TLA+ REPL; a semantic analyzer (SANY); the TLATeX
typesetting system; PlusCal translator; and more. I have added five
wrapper scripts for convenience, rather than invoking `java' manually.
The wrapper scripts are not comprehensive; users who are familiar with
tla2tools.jar, or have read the book Specifying Systems, may still
invoke the commands in the traditional way.
The minimum JDK version is 11. I chose to stick with that rather than
bumping it to 14 (which is the largest version currently in Guix)
because each OpenJDK version in Guix depends on the version before it,
and so it needlessly results in many 100s of MiB of unnecessary
dependencies.
Note that this is _not_ the TLA+ Toolbox, which is the GUI commonly used
with TLA+.
* gnu/packages/java.scm (tla2tools): New variable.
* gnu/packages/patches/tla2tools-build-xml.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This is part of JLine 3.
I was able to get this working properly under Guix by providing ncurses'
infocmp, as well as ensuring the *.caps files were present in the JAR,
but similar methods didn't work for the tests; if you have Java
knowledge, I'd appreciate the help getting those tests enabled.
* gnu/packages/java.scm (java-jline-terminal): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
All of these packages are components of java-eclipse-lsp4j, packaged
independently. This contains only what was needed for tla2tools, and so
there are parts of java-eclipse-lsp4j that are not packaged.
Note that this does not package the latest version (0.12.0 at the time
of writing)---it depends on the Xtend language, which is a huge
packaging effort. 0.10.0 is the version expected by tla2tools, for
which this dependency was introduced.
* gnu/packages/java.scm (java-eclipse-lsp4j-common): New variable.
(java-eclipse-lsp4j-jsonrpc): New variable.
(java-eclipse-lsp4j-jsonrpc-debug): New variable.
(java-eclipse-lsp4j-generator): New variable.
(java-eclipse-lsp4j-debug): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
