* 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>
This reverses removing this phase in
a24562af52, which is still needed by some
slower machines.
* gnu/packages/glib.scm (glib)[arguments]: Add 'increase-test-timeout
phase to ensure tests which don't hang also don't timeout.
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.
The resulting packages are bit-identical, sans for a missing empty "uapi"
directory in versions < 5.3.
* gnu/packages/commencement.scm (rsync-boot0): Remove variable.
(linux-libre-headers-boot0)[native-inputs]: Remove RSYNC-BOOT0.
* gnu/packages/linux.scm (make-linux-libre-headers*)[native-inputs]: Remove
RSYNC.
[arguments]: For newer kernel versions, run "make headers" instead of
"make headers_check" before installing. Use FIND-FILES and INSTALL-FILE
instead of calling "make headers_install". Remove ".install" files workaround.
Recent changes made to gtkmm (2a0d8cfaae),
are not applicable to gtkmm@2, as the latter does not use meson.
* gnu/packages/gtk.scm (gtkmm-2)[build-system]: New field.
[arguments]: New field.
Switch to meson-build-system, as its preferred by the project.
Preserve building of documentation.
* gnu/packages/gtk.scm (gtkmm)[build-system]: Change from glib-or-gtk
to meson.
[configure-flags](build-documentation): New flag.
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>
Tobias Geerinckx-Rice
Pierre Neidhardt
Efraim Flashner
Alexey Abramov
Simon Josefsson via Guix-patches via
Timothy Sample
Marius Bakke
Ludovic Courtès
Xinglu Chen
Raghav Gururajan
Maxim Cournoyer
Mike Gerwitz