* 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>
* 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.
Reported by Maxime Devos <maximedevos@telenet.be>.
* gnu/packages/package-management.scm (guile2.2-guix)[inputs]
[propagated-inputs]: Add GUILE2.2-LIB, GUILE2.2-ZLIB, and
GUILE2.2-LZLIB.
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.
* gnu/services/spice.scm (spice-vdagent-activation): Update runtime directory
from /var/run/spice-vdagentd to /run/spice-vdagentd.
(spice-vdagent-service-type): Specify a default value and fix indentation.
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>
Marius Bakke