* gnu/packages/lean.scm (lean4)[inputs]: Remove cadical-2.1
and llvm-13; add cadical and llvm.

* gnu/packages/llvm.scm (libomp, llvm, clang-runtime, clang, clang-toolchain):
Switch to llvm-22 version.
(ocaml-llvm): Use llvm-13.
(wllvm)[native-inputs]: Remove clang; add clang-13.
(emacs-clang-format)[arguments]: Use #:lisp-directory, Adjust configure
phase. Add #:test-command.
* gnu/packages/bioinformatics.scm (alignoth)[native-inputs]: Remove clang; add
clang-13.
(lammps)[inputs]: Remove libomp; add libomp-13.
* gnu/packages/bootloaders.scm (make-grub)[inputs]: Remove clang; add
clang-13.
* gnu/packages/c.scm (libdispatch)[native-inputs]: Remove clang and llvm; add
clang-13 and llvm-13.
* gnu/packages/check.scm (pedansee)[native-inputs]: Remove clang; add
clang-13.
(python-lit)[native-inputs]: Remove llvm; add llvm-13.
* gnu/packages/codex.scm (codex, codex-acp)[native-inputs]: Remove clang; add
clang-13.
* gnu/packages/compression.scm (cmix)[native-inputs]: Remove clang; add
clang-13.
* gnu/packages/cpp.scm (ccls)[native-inputs]: Remove clang and llvm; add
clang-13 and llvm-13.
* gnu/packages/darwin.scm (cctools)[inputs]: Remove clang-toolchain; add
clang-toolchain-13.
[native-inputs]: Remove clang-toolchain; add clang-toolchain-13.
* gnu/packages/debug.scm (c-vise)[inputs]: Remove clang and llvm; add clang-13
and llvm-13.
(fandango)[native-inputs]: Remove clang; add clang-13.
* gnu/packages/diffoscope.scm (diffoscope)[native-inputs]: Remove llvm; add
llvm-13.
* gnu/packages/electronics.scm (nvc)[inputs]: Remove llvm; add llvm-13.
(openroad)[inputs]: Remove libomp; add libomp-13.
* gnu/packages/emacs-xyz.scm (emacs-irony-mode-server)[inputs]: Remove clang;
add clang-13.
* gnu/packages/file-systems.scm (bcachefs-tools-minimal)[native-inputs]:
Remove clang; add clang-13.
* gnu/packages/freedesktop.scm (waypipe)[native-inputs]: Remove clang; add
clang-13.
* gnu/packages/fusion.scm (fusion)[native-inputs]: Remove clang; add clang-13.
* gnu/packages/games.scm (hedgewars)[native-inputs]: Remove clang; add
clang-13.
* gnu/packages/gnome.scm (gnome-builder)[inputs]: Remove clang and llvm; add
clang-13 and llvm-13.
* gnu/packages/gnustep.scm (libobjc2)[inputs]: Remove clang; add clang-13.
* gnu/packages/gnuzilla.scm (mozjs)[native-inputs]: Remove llvm; add llvm-13.
* gnu/packages/graphics.scm (openshadinglanguage)[native-inputs]: Remove clang
and llvm; add clang-13 and llvm-13.
(skia)[native-inputs]: Remove clang-toolchain; add clang-toolchain-13.
(tinygltf)[native-inputs]: Remove clang; add clang-13.
* gnu/packages/kde-sdk.scm (kdevelop)[inputs]: Remove clang; add clang-13.
* gnu/packages/language.scm (liblouis)[native-inputs]: Remove clang; add
clang-13.
* gnu/packages/lean.scm (lean4)[inputs]: Remove llvm; add llvm-13.
* gnu/packages/lisp.scm (carp, picolisp)[inputs]: Remove clang; add clang-13.
* gnu/packages/machine-learning.scm (ctranslate2)[native-inputs]: Remove
libomp; add libomp-13.
* gnu/packages/mail.scm (stalwart)[native-inputs]: Remove clang; add clang-13.
* gnu/packages/maths.scm (python-mathics-core)[inputs]: Remove llvm; add
llvm-13.
* gnu/packages/ocaml.scm (bap)[inputs]: Remove llvm; add llvm-13.
[native-inputs]: Remove clang; add clang-13.
[arguments]: Use this-package-input to get llvm version.
* gnu/packages/photo.scm (darktable)[inputs]: Remove libomp; add libomp-13.
[native-inputs]: Remove llvm; add llvm-13.
(ansel)[native-inputs]: Remove llvm; add llvm-13.
(photoflare)[inputs]: Remove libomp; add libomp-13.
* gnu/packages/physics.scm (cytnx)[inputs]: Remove libomp; add libomp-13.
* gnu/packages/qt.scm (clazy)[inputs]: Remove clang and llvm; add clang-13 and
llvm-13.
* gnu/packages/rust-apps.scm (c2rust, helvum, ouch, pwmenu)
(soundcloud-tui)[native-inputs]: Remove clang; add clang-13.
* gnu/packages/rust-sources.scm (rust-ring-0.17)[native-inputs]: Remove clang;
add clang-13.
* gnu/packages/sequoia.scm (sequoia-chameleon-gnupg)
(sequoia-sq, sequoia-sqv, sequoia-wot-tools)[native-inputs]: Remove clang; add
clang-13.
* gnu/packages/text-editors.scm (parinfer-rust, parinfer-rust-emacs)[inputs]:
Remove clang; add clang-13.
* gnu/packages/virtualization.scm (xen-guest-agent)[native-inputs]: Remove
clang; add clang-13.
* gnu/packages/wm.scm (niri)[inputs]: Remove clang; add clang-13.
* gnu/packages/xorg.scm (xf86-video-vmware)[inputs]: Remove llvm; add llvm-13.
(xwayland-satellite)[inputs]: Remove clang; add clang-13.

Change-Id: Ifb8f13908a9e7112466b2e966200670ddcc2f162

* gnu/packages/lean.scm (lean4): Update to 4.29.0.

Merges guix/guix!9116

Change-Id: I401a8ec2beb6c2166b0f69e52f2a162628547a8e

With the latest 2.2.X version of cadical, lean4's test suite fails.
This can be mitigated by packaging the old version as cadical-2.1.

* gnu/packages/maths.scm (cadical-2.1): New variable.
* gnu/packages/lean.scm (lean4)[inputs]: Replace cadical with cadical-2.1.

Change-Id: Id5e4a06266e0688454040caf0766bf8d769bbd10
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>

* gnu/packages/lean.scm (lean): Delete variable.

Fixes: guix/guix#6239
Change-Id: I373c7d5c22de924fbc5d1db6967954173403c92e

* gnu/packages/lean.scm (python-mathlibtools): Update to 1.3.2.

Change-Id: I02e3a9c141519bc375eafeddafb7bf11354f9cef

* gnu/packages/lean.scm (lean4): Update to 4.28.0.
[phases]{pre-populate-mimalloc}: New phase, use mimalloc source.
{check}: Skip more tests.

Merges: https://codeberg.org/guix/guix/pulls/6621
Change-Id: Idd529f1650c41d8b3bdd512e957f9b8972ab042c
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>

* gnu/packages/lean.scm (python-mathlibtools):
  [phases]{fix-home-directory}: Remove phase.
  {set-home-env}: New phase

Relates-to: guix/guix#5892
Change-Id: If791942e8c8053b00ec82737ef2ad8e1581d7e3c

The lean4 package currently builds and installs without a visible
failure, but fails to effectvely provide its output, such as the "lean"
binary.

This is due to the install phase of the derivation failing silently as
it tries to access a bash shell using an absolute path that expects an
FHS compliant system.

To fix the issue, the relevant path in "src/stdlib.make.in", which is
used during the install phase of the of the project, is now patched out
by the package definition.

* gnu/packages/lean.scm (lean4):
[arguments] Add substitution for FHS path in "src/stdlib.make.in"

Change-Id: Ib3db9ce1fbb46175130f9b46c58c55cd65a4a1ae
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>

* gnu/packages/lean.scm (python-mathlibtools):
[source]: Switch to git-fetch.
[build-system]: Switch to pyproject-build-system.
[arguments]<#:test-flags>: Disable failing tests.
[native-inputs]: Add python-pytest, python-setuptools.

Change-Id: I48805383c0dd6fc4d033cbe7fe3e039cf388eb12
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>