~ruther/guix-local

ed726598 — Sören Tempel 1 year, 10 months ago 
gnu: klee: Only build on x86_64 Linux.

* gnu/packages/check.scm (klee): Add supported-systems.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
84251747 — Sören Tempel 1 year, 10 months ago 
gnu: klee: Only strip bin directory.

This avoid several warnings to be emitted by strip(1) when attempting
to strip .bca (i.e. LLVM bitcode) files shipped in /lib/klee/runtime/.

* gnu/packages/check.scm (klee): Set #:strip-directories.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
187b6df6 — Sören Tempel 1 year, 10 months ago 
gnu: klee: Enable the test suite.

* gnu/packages/check.scm (klee): Enable all tests.
[arguments]: Patch lit configuration and set #:test-target.
<#:configure-flags?>: Enable system and unit tests, configure gtest.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
661d5eeb — Sören Tempel 1 year, 10 months ago 
gnu: klee: Wrap klee-stats for Python dependencies.

* gnu/packages/check.scm (klee): Wrap klee-stats.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
0acc1c68 — Liliana Marie Prikler 1 year, 10 months ago 
gnu: lager: Update to 0.1.1.

* gnu/packages/cpp.scm (lager): Update to 0.1.1.

Change-Id: Ied19cc6d5371cee9d97aa4dfb21a78f6d1582f10
e165382c — Liliana Marie Prikler 1 year, 10 months ago 
gnu: zug: Update to 0.1.1.

* gnu/packages/cpp.scm (zug): Update to 0.1.1.

Change-Id: I0e86256f986bab5d97081ddd9ef85375643a6997
009fb462 — Liliana Marie Prikler 1 year, 10 months ago 
gnu: Add python-clingox.

* gnu/packages/potassco.scm (python-clingox): New variable.
d3e2b68e — Liliana Marie Prikler 1 year, 10 months ago 
gnu: Add python-asprin.

* gnu/packages/potassco.scm (python-asprin): New variable.

gnu: trealla: Update to 2.55.10.

* gnu/packages/prolog.scm (trealla): Update to 2.55.10.

Change-Id: I2545a6d3ac5bf740c4ceb9e8bcd33d60707e67b9

gnu: trealla: Update to 2.55.9.

* gnu/packages/prolog.scm (trealla): Update to 2.55.9.

Change-Id: I29b5500da8e6acc382397662d4c44cf1c6e1fdf9

gnu: trealla: Update to 2.55.8.

* gnu/packages/prolog.scm (trealla): Update to 2.55.8.

Change-Id: Ia938a79d35948d56a97a8933b312916f264c31b7
862a9b5b — Leo Famulari 1 year, 10 months ago 
gnu: wfetch: Give the executable the expected name.

Fixes a problem reported by bdju on #guix:

https://logs.guix.gnu.org/guix/2024-07-26.log#221323

* gnu/packages/python-xyz.scm (wfetch)[arguments]: Rename the executable in the
custom 'install' phase.

Change-Id: I0e8dd41195ef716618b9dd5fd196f392a546272a
72e586fc — Timotej Lazar 1 year, 11 months ago 
gnu: gtk: Fix build on aarch64.

* gnu/packages/gtk.scm (gtk)[arguments]<#:test-options>: Rename failing
test suite to match upstream change on aarch64-linux.

Change-Id: Ibdf03a94e71f72283a093cba6d5a328004defa5c
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
9db34c41 — Ludovic Courtès 1 year, 10 months ago 
build-system/meson: #:test-options can be a gexp.

* guix/build-system/meson.scm (meson-build, meson-cross-build): Accept
gexps for #:test-options.

Change-Id: I9cfec616f067a5c9928f65892e370f90f23f4352
4bc49e21 — Rodion Goritskov 1 year, 11 months ago 
services: agate: Update options for compatibility with the current Agate version.

* gnu/services/web.scm (<agate-configuration>)[certs]: Add.
[cert]: Remove.
[key]: Remove.
[hostname]: Change from string to list.
[silent?]: Remove.
[only-tls13?]: Add.
[central-conf?]: Add.
[ed25519?]: Add.
[skip-port-check?]: Add.
(agate-shepherd-service): Change handling of addr and hostname, add new
options handling.
* doc/guix.texi (Web Services): Update.

Change-Id: Ifb4968d704627344913bb69f20636d710a4fe738
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

file-systems: Allow specifying CIFS credentials in a file.

As files in the store and /etc/fstab are world readable, specifying the
password in the file-system record is suboptimal.  To mitigate this,
`mount.cifs' supports reading `username', `password' and `domain' options from
a file named by the `credentials' or `cred' option.

* gnu/build/file-systems.scm (mount-file-system): Read mount options from the
file specified via the `credentials' or `cred' option if specified.

Change-Id: I786c5da373fc26d45fe7a876c56a8c4854d18532
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
b631640f — Richard Sent 1 year, 11 months ago 
home: Set 700 permissions on .gnupg with home-gpg-agent-service

* gnu/home/services/gnupg.scm (gpg-agent-activation): New variable.
(home-gpg-agent-service-type) [extensions]: Extend
home-activation-service-type.

Change-Id: If3365c6cade2b03ee53a466ce1d63a5cdf654d6c
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: petsc: Build reproducibly.

* gnu/packages/maths.scm (petsc)[arguments]: In ‘configure’ phase, add
‘sorted’ call in ‘gmakegen.py’.
In ‘clean-local-references’, remove substitution of “Libraries compiled
on”, which is unnecessary since  PETSc 3.9
(<https://gitlab.com/petsc/petsc/-/commit/a970bd748978a4e12790be7c36b10e832ec0149f>).
Add substitution for “Machine characteristics” bit.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
Change-Id: Ibb846c1ae368af94b46d5ce789b1263e0bc78a13
4c8997c1 — Ludovic Courtès 1 year, 10 months ago 
gnu: rr: Add ‘supported-systems’ field.

* gnu/packages/debug.scm (rr)[supported-systems]: New field.

Change-Id: I6d93b1eae91fbe6c963e737afd6e5d2a30160ac1
c1907b39 — Andrew Tropin 1 year, 10 months ago 
gnu: emacs-kbd: Update to 0.0.1-1.b9048e9.

* gnu/packages/emacs-xyz.scm (emacs-kbd): Update to 0.0.1-1.b9048e9.

Change-Id: Ib73c4440c7db42ef60f851cf19359a6c01db1f50
Next