| Age | Commit message (Collapse) | Author |
|---|
|
* 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>
|
|
* gnu/packages/lean.scm (lean4): New variable.
Change-Id: I9f51b7475eabdecd98fb05378a2cf91ed516c5ed
|
|
* gnu/packages/lean.scm (lean): Update to 3.51.1.
[home-page]: Use new home page.
[arguments]<#:phases>: Remove stale phase 'patch-tests-shebangs'.
[inputs]: Remove bash-minimal.
Change-Id: Ib90a124b4a6b06fb30223ad4b9254249e56dd086
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/lean.scm (lean)[arguments]: Use G-expressions.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/lean.scm (python-mathlibtools): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/lean.scm (lean): Update to 3.41.0.
[phases]: Remove trailing #t.
[tests?] Set to #false when cross-compiling.
[inputs]: Add bash-minimal.
Co-authored-by: Maxime Devos <maximedevos@telenet.be>
|
|
This commit was obtained by running:
./pre-inst-env guix style
without any additional argument.
|
|
* gnu/packages/lean.scm (lean)[synopsis]: Remove article & package name.
|
|
* gnu/packages/lean.scm (lean): Update to 3.23.0.
|
|
* gnu/packages/lean.scm (lean)[arguments]: Individual test cases are currently
failing for 32-bit architectures. Disable them temporarily pending further
investigation as to resolution.
|
|
* gnu/packages/lean.scm (lean): Update to 3.17.1.
|
|
* .mailmap, gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm,
gnu/packages/fonts.scm, gnu/packages/fpga.scm, gnu/packages/lean.scm,
gnu/packages/maths.scm, gnu/packages/pulseaudio.scm: Update my email address.
* build-aux/git-authenticate.scm: Update my Savannah handle.
|
|
* .mailmap: Add name and email addresses for Amin Bandali.
* gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm,
gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm:
Update email address for Amin Bandali.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
|
|
* gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm.
* gnu/packages/lean.scm: New file.
Signed-off-by: Brett Gilio <brettg@gnu.org>
|
