Without the attached patch, Nim is broken on Guix as it searches
for its stdlib in /lib while it was placed in /lib/nim.
* gnu/packages/nim.scm (nim): Update to 1.6.12.
[arguments]: In 'patch-installer phase install stdlib source to the
right directory. In 'patch-more-shebangs phase edit substitute* to
point to the new osproc source.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu/packages/package-management.scm (python-anaconda-client)[build-system]:
Use pyproject-bulid-system.
[arguments]: Move contents of 'remove-network-tests phase to #:test-flags;
drop trailing #T from 'set-HOME phase; add phase 'python3.10-compatibility;
disable test_conda_root and test_conda_root_outside_root_environment.
* gnu/packages/embedded.scm (openocd): Update to 0.12.0.
[inputs]: Remove libusb-compat as openocd dropped support for libusb0.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu/packages/embedded (jimtcl): Update to 0.82.
[arguments]: Use G-Expressions and update failing test, TTY test doesn't
fail anymore.
[inputs]: Add openssl as an input as now by default jimtcl enables the
SSL configuration option.
* gnu/packages/embedded (openocd): Support jimtcl 0.82.
[arguments]: Link against libssl and libcrypto.
[inputs]: Add openssl.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu/packages/cpp.scm (cpp-httplib): Update to 0.12.5.
[arguments]: Adjust configure-flags to build the tests. Add a make-flag
to set CXX. Adjust custom 'disable-network-tests phase to skip more
network tests. Remove custom 'check phase.
[native-inputs]: Add googletest.
* gnu/packages/patches/proj-7-initialize-memory.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/geo.scm (proj-7)[source]: Add it.
* gnu/packages/mail.scm (urlscan): Update to 1.0.0.
[arguments]: Skip the test phase.
[build-system]: Switch to the pyproject-build-system.
[native-inputs]: Add python-hatch-vcs, python-hatchling.
* gnu/packages/image.scm (jpegoptim)[arguments]: When cross-compiling t
riscv64, add phase to update-config-scripts.
[native-inputs]: When cross-compiling to riscv64, add config.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu/packages/image.scm (libicns)[arguments]: When cross-compiling to
riscv64, add phase to update-config-scripts.
[native-inputs]: When cross-compiling to riscv64, add config.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu/packages/xdisorg.scm (mtdev)[arguments]: When cross-compiling to
riscv64 add a phase to update config.{guess,sub}.
[native-inputs]: When cross-compiling to riscv64 add config.
* gnu/packages/xorg.scm (libxtst)[arguments]: When cross-compiling to
riscv64, add phase to update config.{guess,sub}.
[native-inputs]: When cross-compiling to riscv64, add config.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu/packages/patches/agda-categories-use-find.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/agda.scm: New variable agda-categories.
* gnu/packages/patches/agda-stdlib-use-runhaskell.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/agda.scm: New variable agda-stdlib.
* gnu/packages/agda.scm (emacs-agda2-mode): Remove it. Made no sense, as we only
need the source, which we can refer to without inheriting the whole thing.
* gnu/packages/agda.scm (agda): Update to 2.6.3, switch to fetching using git so
that doc files are included, and add new dependency ghc-vector-hashtables.
Gruruya
Ricardo Wurmus
Navid Afkhami
Guillaume Le Vaillant
Jean-Pierre De Jesus DIAZ
Z572
Leo Famulari
Efraim Flashner
Timotej Lazar
Josselin Poiret