Commit graph

83249 commits

Author SHA1 Message Date
Efraim Flashner
8832df0412
gnu: julia-compat: Update to 3.31.0.
* gnu/packages/julia-xyz.scm (julia-compat): Update to 3.31.0.
2021-07-28 16:05:33 +03:00
Efraim Flashner
a8977845cd
gnu: global: Update to 6.6.7.
* gnu/packages/code.scm (global): Update to 6.6.7.
2021-07-28 16:05:33 +03:00
Efraim Flashner
cbee534391
gnu: julia-jllwrappers: Add julia-preferences.
* gnu/packages/julia-jll.scm (julia-jllwrappers)[propagated-inputs]: Add
julia-preferences.
2021-07-28 16:05:33 +03:00
Efraim Flashner
f7eaa69dc2
gnu: Add julia-preferences.
* gnu/packages/julia-xyz.scm (julia-preferences): New variable.
2021-07-28 16:05:33 +03:00
Efraim Flashner
6886c4960d
gnu: julia: Skip tests on aarch64-linux.
* gnu/packages/julia.scm (julia)[arguments]: Skip tests when building
for aarch64-linux.
2021-07-28 16:05:32 +03:00
Efraim Flashner
cc85829fb9
gnu: llvm-julia: Overide build-type.
* gnu/packages/julia.scm (llvm-julia)[arguments]: Move CMAKE_BUILD_TYPE
config from configure-flags to build-type.
2021-07-28 16:05:32 +03:00
Efraim Flashner
6adea67cb0
gnu: libuv-julia: Clean up package definition.
* gnu/packages/julia.scm (libuv-julia)[source]: Use git-file-name.
[build-system]: Remove field.
[arguments]: Remove field.
2021-07-28 16:05:32 +03:00
Jean-Baptiste Volatier
55bb794248
gnu: julia: Update to 1.6.1.
* gnu/packages/julia.scm (julia): Update to 1.6.1.
[arguments]: Adjust custom 'prepare-deps phase. Remove custom
'fix-precompile phase. Add new 'shared-objects-path phase to fix paths
to shared objects. Add new 'adjust-test-suite phase to adjust for
differences in bundled vs packaged libraries. Adjust custom
'disable-broken-tests phase for new version. Add symlinks to libs in
'symlink-libraries phase. In make-flags add more finegrained compilation
targets for x86_64-linux. Update make-flags for changes since last
version.
[inputs]: Add nghttp2:lib, gfortran:lib, curl-ssh. Remove arpack-ng,
curl. Sort alphabetically.
[native-inputs]: Add nss-certs. Sort alphabetically.

(libuv-julia): Update to newer revision.
(libunwind-julia)[source]: Add new patch.
(llvm-julia): Inherit from llvm-11.
[source]: Update patch list.
[arguments]: Apply minority of the Julia specific patches in
'julia-patches phase.
[inputs]: Add julia patches.

Co-Authored-By: Nicolò Balzarotti <nicolo@nixo.xyz>.
Co-Authored-By: zimoun <zimon.toutoune@gmail.com>.
Co-Authored-By: Efraim Flashner <efraim@flashner.co.il>.
2021-07-28 16:05:32 +03:00
Jean-Baptiste Volatier
0faf5f1dd6
gnu: Add curl-ssh.
* gnu/packages/curl.scm (curl-ssh): New hidden package.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-07-28 16:05:32 +03:00
Jean-Baptiste Volatier
2d4fa647b7
gnu: julia-staticarrays: Update to 1.2.5
* gnu/packages/julia-xyz.scm (julia-staticarrays): Update to 1.2.5

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-07-28 16:05:32 +03:00
Jean-Baptiste Volatier
1978d716a9
gnu: openlibm: Fix cross-compiling.
* gnu/packages/maths.scm (openlibm)[arguments]: Add configure-flag to
use cc-for-target.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-07-28 16:05:31 +03:00
Jean-Baptiste Volatier
4709b74bc8
gnu: openlibm: Update to 0.7.4.
* gnu/packages/maths.scm (openlibm): Update to 0.7.4.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-07-28 16:05:31 +03:00
Jean-Baptiste Volatier
7db9573e86
gnu: Add pcre2-10.36.
* gnu/packages/pcre.scm (pcre2-10.36): New variable.

Co-Authored-By: zimoun <zimoun.toutoune@gmail.com>.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-07-28 16:05:31 +03:00
Jean-Baptiste Volatier
2459cff9ae
gnu: Add utf8proc-2.6.1.
* gnu/packages/textutils.scm (utf8proc-2.6.1): New variable.

Co-Authored-By: zimoun <zimon.toutoune@gmail.com>.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-07-28 16:05:31 +03:00
Franz Josef
7d93b21ab1
gnu: glibc-for-bootstrap: Update patch.
There was/is something funny going on with the bootstrap glibc. The
symbol for posix_spawnp points to getopt_r. Which in turn leads to a
lot of crashed in tests later on. I extended the glibc-bootstrap patch
to work around this bug.

* gnu/packages/patches/glibc-bootstrap-system.patch: Adjust patch to
work correctly with new architectures.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-07-28 16:05:31 +03:00
Efraim Flashner
8afd85538a
gnu: global: Fix lisp install dir.
* gnu/packages/code.scm (global)[arguments]: Adjust custom 'post-install
phase to move emacs files to the correct directory.
2021-07-28 16:05:31 +03:00
Nicolas Goaziou
b07c7f0da6
gnu: python-pikepdf: Update to 2.16.0.
* gnu/packages/python-xyz.scm (python-pikepdf): Update to 2.16.0.
2021-07-27 21:35:52 +02:00
cage
d0ec73907c
gnu: telescope: Update to 0.4.1.
* gnu/packages/web-browsers.scm (telescope): Update to 0.4.1.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-07-27 19:36:22 +02:00
Alexandr Vityazev
f87f60a8b5
gnu: emacs-link-hint: Update to 0.1-3.9fbf196.
* gnu/packages/emacs-xyz.scm (emacs-link-hint): Update to 0.1-3.9fbf196.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-07-27 19:10:28 +02:00
Simon South
f62c140f47
gnu: emacs-elpher: Update to 2.10.3.
* gnu/packages/emacs-xyz.scm (emacs-elpher): Update to 2.10.3.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-07-27 19:10:28 +02:00
Morgan Smith
4c4cf3d692
gnu: emacs-typit: Update to 0.2.1-2.fa125bf.
* gnu/packages/emacs-xyz.scm (emacs-typit): Update to 0.2.1-2.fa125bf.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-07-27 19:10:28 +02:00
Morgan Smith
143d21fa95
gnu: emacs-typit: Fix dictionary location.
Move the dictionary directory to be next to the lisp files, where it is
expected to be.

* gnu/packages/emacs-xyz.scm (emacs-typit)[arguments]
<#:phases>: Remove install-dictionaries phase.
<#:include>: Include dictionaries.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-07-27 19:10:27 +02:00
Vinicius Monego
3968134a4d
gnu: emacs-org-roam-bibtex: Update to 0.6.0.
* gnu/packages/emacs-xyz.scm (emacs-org-roam-bibtex): Update to 0.6.0.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-07-27 19:10:27 +02:00
Vinicius Monego
3c76399745
gnu: emacs-org-roam: Update to 2.0.0.
* gnu/packages/emacs-xyz.scm (emacs-org-roam): Update to 2.0.0.
[propagated-inputs]: Add emacs-magit.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-07-27 19:10:27 +02:00
Vinicius Monego
157f2f7f03
gnu: Add emacs-org-cv.
* gnu/packages/emacs-xyz.scm (emacs-org-cv): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-07-27 19:10:26 +02:00
Ivan Gankevich
8cfd9ef831
gnu: mesa-opencl-icd: Use absolute path for the library.
* gnu/packages/gl.scm (mesa-opencl-icd): Use absolute path for OpenCL
  platform library in "mesa.icd" file.  With this patch setting
  LD_LIBRARY_PATH=$LIBRARY_PATH is no longer needed to run OpenCL
  applications.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2021-07-27 18:36:34 +02:00
Leo Famulari
b62e74e053
gnu: linux-libre 4.19: Update to 4.19.200.
* gnu/packages/linux.scm (linux-libre-4.19-version): Update to 4.19.200.
(linux-libre-4.19-pristine-source): Update hash.
2021-07-27 12:35:01 -04:00
Leo Famulari
2b26915552
gnu: linux-libre 5.4: Update to 5.4.137.
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.137.
(linux-libre-5.4-pristine-source): Update hash.
2021-07-27 12:35:01 -04:00
Leo Famulari
86f2e3bfdc
gnu: linux-libre 5.10: Update to 5.10.55.
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.55.
(linux-libre-5.10-pristine-source): Update hash.
2021-07-27 12:35:01 -04:00
Leo Famulari
15e484933f
gnu: linux-libre: Update to 5.13.7.
* gnu/packages/linux.scm (linux-libre-5.13-version): Update to 5.13.7.
(linux-libre-5.13-pristine-source): Update hash.
2021-07-27 12:34:57 -04:00
Julien Lepiller
e38b4d5ceb
gnu: coq: Update to 8.13.2.
* gnu/packages/coq.scm (coq): Update to 8.13.2.
(coq-ide-server, coq-ide): New packages.
(coq-gappa): Update to 1.4.6.
(coq-bignums): Update to 8.13.0.
(coq-interval): Update to 1.3.0.
(coq-equations): Update to 1.2.4.
2021-07-31 23:06:16 +02:00
Julien Lepiller
3c44aa2b74
gnu: coq-stdpp: Update to 1.5.0.
* gnu/packages/coq.scm (coq-stdpp): Update to 1.5.0.
2021-07-31 23:06:14 +02:00
Julien Lepiller
3589c17556
gnu: lablgtk3: Install with version information.
This is required so recent versions of coq can check version
requirements.

* gnu/packages/ocaml.scm (lablgtk3)[arguments]: Ensure version is added
to the META file.
2021-07-31 23:06:12 +02:00
Julien Lepiller
96707d5a30
gnu: ocaml-zarith: Update to 1.12.
* gnu/packages/ocaml.scm (ocaml-zarith): Update to 1.12.
2021-07-31 23:05:59 +02:00
Pierre Neidhardt
7c6ace67bb
Revert "gnu: sbcl: Update to 2.1.7."
This SBCL version seems to have a bug that breaks many packages.

This reverts commit b07581d6e2.
2021-07-31 19:33:39 +02:00
Ricardo Wurmus
145e897530
gnu: Add sfizz.
* gnu/packages/music.scm (sfizz): New variable.
2021-07-31 18:40:57 +02:00
Xinglu Chen
94ece4f8f7
gnu: isync: Update to 1.4.3.
* gnu/packages/mail.scm (isync): Update to 1.4.3.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-07-31 14:15:46 +02:00
Alexandr Vityazev
95b08b9137
gnu: emacs-vertico: Update to 0.13.
* gnu/packages/emacs-xyz.scm (emacs-vertico): Update to 0.13.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-07-31 14:04:19 +02:00
Pierre Langlois
adb84ae8ea
gnu: u-boot-rockpro64-rk3399: Enable 'set-environment phase.
Fixes <https://bugs.gnu.org/49550>.

* gnu/packages/bootloaders.scm (u-boot-rockpro64-rk3399)[arguments]: Run
'set-environment phase after 'unpack instead of non-existent
'patch-rockpro64-config phase.
2021-07-31 12:31:04 +01:00
Pierre Neidhardt
b07581d6e2
gnu: sbcl: Update to 2.1.7.
* gnu/packages/lisp.scm (sbcl): Update to 2.1.7.
2021-07-31 13:23:13 +02:00
Pierre Neidhardt
7a3ef338db
gnu: sbcl-alexandria: Update to 1.4.
* gnu/packages/lisp-xyz.scm (sbcl-alexandria): Update to 1.4.
2021-07-31 13:23:03 +02:00
Nicolas Goaziou
8f6275fb49
gnu: emacs-ts: Update to 0.2.1.
* gnu/packages/emacs-xyz.scm (emacs-ts): Update to 0.2.1.
2021-07-31 09:29:11 +02:00
Nicolas Goaziou
a62d79e755
gnu: emacs-tramp: Update to 2.5.1.1.
* gnu/packages/emacs-xyz.scm (emacs-tramp): Update to 2.5.1.1.
2021-07-31 09:25:59 +02:00
Philip McGrath
db2c7e70ad
gnu: racket-minimal: Bootstrap from C.
This commit bootstraps the Racket compiler and runtime system from source,
including Racket CS as well as both variants of Racket BC. (One remaining
limitation is discussed in comments added to gnu/packages/racket.scm.)

In the process, it moves to building minimal Racket from the Git repository,
rather than the packaged source tarballs. The Git repository is slightly
better as the ``corresponding source'':

 1. A few packages especially closely tied to the Racket core implementation
    (like "compiler-lib", "base", and "racket-doc") are developed in the
    same Git repository. Having them use the same Guix origin, too, will
    help to keep them in sync.

 2. The top-level Makefile in the Git repository is an important
    ``script[] used to control compilation and installation.''
    In particular, it cooperates with the "distro-build" package to
    create the source tarballs and installers for a Racket distribution.
    (Racket supports a notion of custom distributions.)

 3. It is ``the preferred form ... for making modifications'' to the core
    Racket implementation.

Racket releases are tagged in the Git repository (e.g. "v8.1"). At the
beginning of each release cycle, a branch is created to stabilizer a version
for extra testing. Active development happens on the "master" branch.

* gnu/packages/racket-minimal-sh-via-rktio.patch: Adjust for extra directory
layer.
* gnu/local/racket.scm (cfg-flag:sh-for-rktio, cfg-flag:enable-lt,
cfg-flag:enable-racket, unpack-nanopass+stex,
%main-repo-main-distribution-pkgs): New private variables.
* gnu/local/racket.scm (racket-minimal)[source]: Use Git.
[source](snippet): Unbundle nanopass, stex, and libffi.
[native-inputs]: Use racket-bootstrap-chez-bootfiles, plus its
dependencies (for Chez, plus a Racket for bootstrap pig).
[arguments]: Revise extensively.
* gnu/local/racket.scm (racket-minimal-bc-3m, racket-minimal-bc-cgc): New
packages, hidden at least for now.
(racket-bootstrap-chez-bootfiles): Another new package, but this one is
especially likely to stay hidden.
* gnu/local/racket.scm (racket)[origin](snippet): Unbundle packages
developed in the main Git repository, but leave their links.rktd and
pkgs.rktd entries in place.
[native-inputs]: Add the main Racket Git repository.
[arguments](#:phases): Adjust 'unpack-packages to also unpack package
sources from the main Racket Git repository.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-07-31 01:03:25 +02:00
Philip McGrath
65bad4d036
gnu: racket: Unbundle racket-minimal.
This change takes advantage of improved support for layered
and tethered installations in Racket 8.2.

* gnu/packages/racket.scm (extend-layer): New private variable.
This is a script for configuring a new config-tethered layer
chaining to an existing Racket installation.
* gnu/packages/racket.scm (racket)[source](snippet): Unbundle
`racket-minimal`.
[inputs]: Remove inputs that properly belong to `racket-minimal`.
[native-inputs]: Add `racket-minimal` and `extend-layer`.
[arguments]: Stop inheriting from `racket-minimal`. Add phase
'unpack-packages to move the sources and links file into place.
Replace 'configure phase using `extend-layer`.
Replace 'build phase using `raco setup`.
Delete 'install phase.
* gnu/packages/patches/racket-sh-via-rktio.patch: Rename to ...
* gnu/packages/patches/racket-minimal-sh-via-rktio.patch: ... this
file to placate `guix lint`.
* gnu/local.mk (dist_patch_DATA): Update accordingly.
* gnu/packages/racket.scm (racket-minimal)[source]: Likewise.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-07-31 01:03:25 +02:00
Philip McGrath
1ae95ebcdd
gnu: racket: Update to 8.2.
* gnu/packages/racket.scm (racket-minimal, racket): Update to 8.2.
* gnu/packages/racket.scm (racket-minimal)[#:arguments]: Fix
patch-config.rktd-lib-search-dirs phase. When a config.rktd file
doesn't contain an entry for `lib-search-dirs`, the default is
equivalent to `'(#f)`, not `'()`.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-07-31 01:03:24 +02:00
la snesne
a07f39b7da
gnu: Add libmobi.
* gnu/packages/ebook.scm (libmobi): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-07-31 01:03:24 +02:00
zimoun
0ca7435fe0
gnu: guile-dbd-sqlite3: Replace 'url-fetch' by 'git-fetch'.
Fixes https://debbugs.gnu.org/25913.

* gnu/packages/guile-xyz.scm (guile-dbi)[source]: Replace 'url-fetch'
by'git-fetch'.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-07-31 01:03:24 +02:00
zimoun
82cfefc2a0
gnu: guile-dbi: Replace 'url-fetch' by 'git-fetch'.
Fixes https://debbugs.gnu.org/25913.

* gnu/packages/guile-xyz.scm (guile-dbi)[source]: Replace 'url-fetch'
by'git-fetch'.
[home-page]: Update.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-07-31 01:03:24 +02:00
Dhruvin Gandhi
0e9b77d8d0
gnu: python-yubikey-manager: Fix libykpers reference.
* gnu/packages/security-token.scm (python-yubikey-manager): Fix libykpers reference.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-07-31 01:03:24 +02:00