* gnu/packages/vpn.scm (vpnc): Fix cross-compilation.
[native-inputs]: Add conditional input of `this-package' (vpnc)
to reuse the man page and add `pkg-config'.
[arguments]: Use G-Expressions.
[arguments]: Make use of `make-flags' instead of using substitutions.
[arguments]: Remove unneeded deletion of `configure'.
[arguments]: Use `pkg-config' to search for libgcrypt.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Z3 developer recommends to use CMake to build Z3 except the OCaml bindings.
Use CMake also enable us to cross compile z3.
* gnu/packages/maths.scm (z3)[build-system]: Use cmake-build-system.
[arguments]<#:configure-flags>: Add flags for CMake.
<#:phases>: Remove stale phase 'fix-compatability'.
In phase 'check', build the z3 test binary and don't test when cross
compiling.
Add phase 'compile-python-modules' phase to generate python bytecode cache for
z3 python binding.
Add phase 'fix-z3-library-path' to help z3 pythong binding to find the z3
shared library.
(ocaml-z3)[build-system]: Override the inherited value with 'gnu-build-system'.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
The previous approach didn't support a simple alist.
* gnu/services/guix.scm (make-guix-build-coordinator-start-script): Fix
passing parallel-hooks in to the start gexp.
* gnu/packages/game-development.scm (python-renpy): Update to 8.0.0.
[source]: Revert back to url-fetch. Also patch module/setup.py to not refer
to missing sources.
* gnu/packages/game-development.scm (python-pygame-sdl2): Update to
2.1.0-for-renpy-8.0.0.
[source]: Revert to url-fetch.
Also add back the snippet to remove generated sources.
SB-SIMD gets enabled only on x86_64 CPUs supporting AVX2 instructions,
and some x86_64 CPUs don't.
Fixes <https://issues.guix.gnu.org/56353>.
Reported by Wensheng Xie <xiewensheng@hotmail.com>.
* gnu/packages/lisp.scm (sbcl)[arguments]: Disable SB-SIMD in the 'build' and
'build-doc' phases.
None of the patches seem to apply. The patches that are not used with binutils
are probably too new for the specific commit used here, and the patches that
were once applied have probably been removed, so just don't apply any patches.
* gnu/packages/embedded.scm (propeller-binutils)[source]: Remove patches that
don't apply.
The www.extreme.indiana.edu site is now serving a redirect:
This site has been deprecated. You can access an archive of this site at
https://web.archive.org/web/20210225153105/https://www.extreme.indiana.edu/.
Because this isn't a 404, as it probably should be, guix follows this redirect
and gets some content that isn't the file it asked for.
To avoid this incorrect behaviour, switch to using a ci.guix.gnu.org URL for
the file instead.
* gnu/packages/xml.scm (java-xpp3)[source]: Switch the uri to ci.guix.gnu.org.
* gnu/packages/curl.scm (curl-7.84.0)[source]: Add patch to work around
implicit function declaration.
* gnu/packages/patches/curl-easy-lock.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
Previously, 'guix challenge' without arguments would list live store
items that had been locally built. This was deemed confusing,
especially since 'list-live' is an expensive operation.
* guix/scripts/challenge.scm (guix-challenge): Warn and exit with 0 when
FILES is empty.
* doc/guix.texi (Invoking guix challenge): Update accordingly.
