Merge branch 'master' into gnome-team
gnu: Add greatest.
* gnu/packages/check.scm (greatest): New variable.
Reviewed-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
gnu: python-scikit-build: Add more non-deterministic test failures.
* gnu/packages/python-xyz.scm (python-scikit-build)[#:phases]<check>: Also
exclude “test_cxx_compiler” and “test_fortran_compiler”.
gnu: python-telingo: Update to 2.1.3.
* gnu/packages/potassco.scm (python-telingo): Update to 2.1.3.
[source]: Drop obsolete patch.
* gnu/packages/patches/python-telingo-fix-comparison.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
gnu: python-plingo: Update to 1.1.0.
* gnu/packages/potassco.scm (python-plingo): Update to 1.1.0.
gnu: python-clorm: Update to 1.5.0.
* gnu/packages/potassco.scm (python-clorm): Update to 1.5.0.
gnu: python-clingo-dl: Fix build.
* gnu/packages/potassco.scm (python-clingo-dl)[#:configure-flags]: Add flag for
CMAKE_MODULE_PATH.
[native-inputs]: Add python-scikit-build.
gnu: python-clingo: Fix build.
* gnu/packages/potassco.scm (python-clingo)[#:configure-flags]: Add flag for
CMAKE_MODULE_PATH.
gnu: clingo-dl: Update to 1.5.0.
* gnu/packages/potassco.scm (clingo-dl): Update to 1.5.0.
gnu: clingo: Build from actual sources.
* gnu/packages/potassco.scm (clingo)[source]: Modify snippet to remove
generated sources.
[native-inputs]: Add bison and re2c.
gnu: clingo: Update to 5.7.1.
* gnu/packages/potassco.scm (clingo): Update to 5.7.1.
gnu: clasp: Update to 3.3.10.
* gnu/packages/potassco.scm (clasp): Update to 3.3.10.
gnu: libpotassco: Update to 0.0-2.69b677f.
* gnu/packages/potassco.scm (libpotassco): Update to 0.0-2.69b677f.
gnu: python-scikit-build: Install cmake modules.
* gnu/packages/python-xyz.scm (python-scikit-build)[#:phases]: Add
‘install-cmake’.
gnu: Add wide-integer.
* gnu/packages/cpp.scm (wide-integer): New variable.
gnu: nautilus: Update search path specification.
* gnu/packages/gnome.scm (nautilus) [native-search-paths]: Change the
extensions directory from lib/nautilus/site-extensions to
lib/nautilus/extensions-4.
Change-Id: I16ea81406b53c251e1dd6922fc8fcc0aab60ce96
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
gnu: gnome-terminal: Update to 3.48.3.
* gnu/packages/gnome.scm (gnome-terminal): Update to 3.48.3.
[source]: Use the git-fetch method.
Change-Id: I44dee8cec5afbd4f5e7e486b54f893ce6a3e1d06
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
gnu: c2ffi: Update to 16.0.0.0.
* gnu/packages/cpp.scm (c2ffi): Update to 16.0.0.0.
[native-inputs, inputs]: Replace clang-12 by clang-16.
Change-Id: I8b9562ea865347eafd2e098c3cf2b42611140aff
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
gnu: cl-ironclad: Update to 0.60.
* gnu/packages/lisp-xyz.scm (sbcl-ironclad): Update to 0.60.
Change-Id: I9a2d44b255343607a1a69b996bfb0f4a04e8917a