84d413d2fd
gnu: solidity: Update to 0.8.15.
...
* gnu/packages/solidity.scm (solidity): Update to 0.8.15.
[source]: Use Github release.
[arguments]<#:phases>: Remove phase 'create-commit_hash.txt'.
Restore phase 'configure' and phase 'install'.
Remove modifications applied to the phase 'build' and phase 'check'.
Add phase 'unbundle-3rd-party-dependencies'.
[inputs]: Add fmt-for-solidity, range-v3.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-07-04 12:29:05 +02:00
b49c2e558d
gnu: Add fmt-for-solidity.
...
* gnu/packages/pretty-print.scm (fmt-for-solidity): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-07-04 12:29:05 +02:00
da6ea4ab88
gnu: solidity: Use G-expressions.
...
* gnu/packages/solidity.scm (solidity)[arguments]: Use G-expressions.
[native-inputs]: Use label-less style inputs.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-07-04 12:29:05 +02:00
0e64835b2e
gnu: z3: Prefer CMake to build the package.
...
Z3 developer recommends to use CMake to build Z3 except the OCaml bindings.
Use CMake also enable us to cross compile z3.
* gnu/packages/maths.scm (z3)[build-system]: Use cmake-build-system.
[arguments]<#:configure-flags>: Add flags for CMake.
<#:phases>: Remove stale phase 'fix-compatability'.
In phase 'check', build the z3 test binary and don't test when cross
compiling.
Add phase 'compile-python-modules' phase to generate python bytecode cache for
z3 python binding.
Add phase 'fix-z3-library-path' to help z3 pythong binding to find the z3
shared library.
(ocaml-z3)[build-system]: Override the inherited value with 'gnu-build-system'.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-07-04 12:29:04 +02:00
cec5142183
gnu: z3: Update to 4.8.17.
...
* gnu/packages/maths.scm (z3): Update to 4.8.17.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-07-04 12:29:04 +02:00
3366be5db0
gnu: z3: Use G-expressions.
...
* gnu/packages/maths.scm (z3)[arguments]: Use G-expressions.
[native-inputs]: Use label-less style.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-07-04 12:29:04 +02:00
7cddd130df
gnu: sbcl-nkeymaps: Update to 1.0.0.
...
* gnu/packages/lisp-xyz.scm (sbcl-nkeymaps): Update to 1.0.0.
2022-07-04 11:03:06 +02:00
b56dad9b2c
gnu: tbb: Fix building on riscv64-linux.
...
* gnu/packages/tbb.scm (tbb)[source]: Add patch.
* gnu/packages/patches/tbb-other-arches.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
2022-07-04 11:14:41 +03:00
47ed000d4d
etc: teams: Add entry for Efraim Flashner.
...
* etc/teams.scm.in ("Efraim Flashner"): New member.
2022-07-04 11:14:39 +03:00
4d126e7762
gnu: linux-libre 4.9: Update to 4.9.321.
...
* gnu/packages/linux.scm (linux-libre-4.9-version): Update to 4.9.321.
(linux-libre-4.9-pristine-source): Update hash.
2022-07-03 23:56:14 -04:00
2a9e397043
gnu: linux-libre 4.14: Update to 4.14.286.
...
* gnu/packages/linux.scm (linux-libre-4.14-version): Update to 4.14.286.
(linux-libre-4.14-pristine-source): Update hash.
2022-07-03 23:56:14 -04:00
a2e56e6a1c
gnu: linux-libre 4.19: Update to 4.19.250.
...
* gnu/packages/linux.scm (linux-libre-4.19-version): Update to 4.19.250.
(linux-libre-4.19-pristine-source): Update hash.
2022-07-03 23:56:14 -04:00
71281783fc
gnu: linux-libre 5.4: Update to 5.4.203.
...
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.203.
(linux-libre-5.4-pristine-source): Update hash.
2022-07-03 23:56:14 -04:00
004be75424
gnu: linux-libre 5.10: Update to 5.10.128.
...
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.128.
(linux-libre-5.10-pristine-source): Update hash.
2022-07-03 23:56:13 -04:00
5df7a33af7
gnu: linux-libre 5.15: Update to 5.15.52.
...
* gnu/packages/linux.scm (linux-libre-5.15-version): Update to 5.15.52.
(linux-libre-5.15-pristine-source): Update hash.
2022-07-03 23:56:13 -04:00
9cd92b259b
gnu: linux-libre: Update to 5.18.9.
...
* gnu/packages/linux.scm (linux-libre-5.18-version): Update to 5.18.9.
(linux-libre-5.18-pristine-source): Update hash.
2022-07-03 23:56:13 -04:00
1f33ff1173
teams: Add leo Famulari.
...
* etc/teams.scm.in ("Leo Famulari"): New member.
2022-07-03 22:50:31 -04:00
a78d101eb3
gnu: bitmask: Fix loading of GUI.
...
* gnu/packages/vpn.scm (bitmask)[inputs]: Add qtgraphicaleffects.
2022-07-03 21:59:20 -04:00
e069de452a
services: guix-build-coordinator: Fix passing parallel-hooks.
...
The previous approach didn't support a simple alist.
* gnu/services/guix.scm (make-guix-build-coordinator-start-script): Fix
passing parallel-hooks in to the start gexp.
2022-07-03 20:38:09 +01:00
430848c6bd
gnu: guix-build-coordinator: Update to 0-56.290ba67.
...
* gnu/packages/package-management.scm (guix-build-coordinator): Update to
0-56.290ba67.
2022-07-03 20:38:04 +01:00
f59f9afdb8
gnu: sbcl-nfiles: Update to 1.0.0.
...
* gnu/packages/lisp-xyz.scm (sbcl-nfiles): Update to 1.0.0.
2022-07-03 20:39:06 +02:00
875e803e60
gnu: abcl: Update to 1.9.0.
...
* gnu/packages/java.scm (abcl): Update to 1.9.0.
* gnu/packages/patches/abcl-fix-build-xml.patch: Update for 1.9.0.
2022-07-03 20:36:48 +02:00
3a45cc634e
gnu: abcl: Fix loading of cl-* packages.
...
* gnu/packages/java.scm (abcl)[native-search-paths]: Add XDG_DATA_DIRS where
to cl-* libraries get installed.
2022-07-03 20:36:48 +02:00
13cc3da6b6
gnu: libfixposix: Add C_INCLUDE_PATH to the native-search-paths.
...
* gnu/packages/c.scm (libfixposix)[native-search-paths]: Add C_INCLUDE_PATH.
This fixes the loading of cl-iolib among others.
2022-07-03 20:36:47 +02:00
9cdfecc8a3
etc: teams: Add entry for Liliana Prikler.
...
* etc/teams.scm.in ("Liliana Marie Prikler"): New member.
2022-07-03 17:11:21 +02:00
672c863f55
etc: teams: Sort members lexicographically by last name.
...
* etc/teams.scm.in: Sort members lexicographically by last name.
2022-07-03 17:11:18 +02:00
eb44b1f304
gnu: renpy: Install sdk-fonts.
...
Without these fonts, the launcher will fail to launch.
* gnu/packages/game-development.scm (renpy)[install]: Also recursively copy
sdk-fonts.
2022-07-03 17:07:09 +02:00
65c9ecce2a
gnu: python-renpy: Update to 8.0.0.
...
* gnu/packages/game-development.scm (python-renpy): Update to 8.0.0.
[source]: Revert back to url-fetch. Also patch module/setup.py to not refer
to missing sources.
2022-07-03 17:07:09 +02:00
4cd5f03088
gnu: python-pygame-sdl2: Update to 2.1.0-for-renpy-8.0.0.
...
* gnu/packages/game-development.scm (python-pygame-sdl2): Update to
2.1.0-for-renpy-8.0.0.
[source]: Revert to url-fetch.
Also add back the snippet to remove generated sources.
2022-07-03 17:07:09 +02:00
3e987cf521
gnu: Add font-artifika.
...
* gnu/packages/fonts.scm (font-artifika): New variable.
2022-07-03 17:07:09 +02:00
4a2f487740
etc: Update teams.
...
* etc/teams.scm.in: Rename maths team to science and add myself to it.
2022-07-03 16:33:26 +02:00
b4815e570d
gnu: Add Climate Data Operators.
...
* gnu/packages/geo.scm (cdo): New variable.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
2022-07-03 16:04:23 +02:00
486251d440
gnu: Add python-deepdish.
...
* gnu/packages/python-science.scm (python-deepdish): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-07-03 16:04:23 +02:00
91a5176538
gnu: Add utest-h.
...
* gnu/packages/c.scm (utest-h): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-07-03 16:04:23 +02:00
9dfe5142bd
gnu: solidity: Remove input labels.
...
* gnu/packages/solidity.scm (solidity)[native-inputs]: Remove labels.
2022-07-03 16:04:22 +02:00
bee129a806
gnu: sbcl-fof: Also build the fof/mf subsystem.
...
* gnu/packages/lisp-xyz.scm (sbcl-fof)[arguments]: Also build the fof/mf subsystem.
[inputs]: Add sbcl-cl-json.
2022-07-03 14:21:02 +02:00
4eaf90470f
etc: Add teams.scm.
...
* etc/teams.scm.in: New file.
* configure.ac: Generate executable.
* .gitignore: Ignore generated file.
2022-07-03 14:12:32 +02:00
cba98b58bf
services: Add anonip-service-type.
...
* gnu/services/web.scm (anonip-configuration): New record type.
(anonip-configuration?, anonip-configuration-anonip,
anonip-configuration-input, anonip-configuration-output,
anonip-configuration-skip-private?, anonip-configuration-column,
anonip-configuration-replacement, anonip-configuration-ipv4mask,
anonip-configuration-ipv6mask, anonip-configuration-increment,
anonip-configuration-delimiter, anonip-configuration-regex): New procedures.
(anonip-service-type): New service type.
* doc/guix.texi (Log Rotation): Add subheading for Anonip Service.
2022-07-03 14:12:32 +02:00
e0d2f8164e
gnu: sbcl: Disable SB-SIMD module.
...
SB-SIMD gets enabled only on x86_64 CPUs supporting AVX2 instructions,
and some x86_64 CPUs don't.
Fixes <https://issues.guix.gnu.org/56353 >.
Reported by Wensheng Xie <xiewensheng@hotmail.com>.
* gnu/packages/lisp.scm (sbcl)[arguments]: Disable SB-SIMD in the 'build' and
'build-doc' phases.
2022-07-03 12:07:31 +02:00
f89b581148
gnu: nim: Update to 1.6.6.
...
* gnu/packages/nim.scm (nim): Updated to 1.6.6.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2022-07-03 10:12:24 +01:00
12787d532f
gnu: propeller-binutils: Remove source patches.
...
None of the patches seem to apply. The patches that are not used with binutils
are probably too new for the specific commit used here, and the patches that
were once applied have probably been removed, so just don't apply any patches.
* gnu/packages/embedded.scm (propeller-binutils)[source]: Remove patches that
don't apply.
2022-07-03 10:11:24 +01:00
207ef8758e
gnu: java-xpp3: Download source from ci.guix.gnu.org.
...
The www.extreme.indiana.edu site is now serving a redirect:
This site has been deprecated. You can access an archive of this site at
https://web.archive.org/web/20210225153105/https://www.extreme.indiana.edu/ .
Because this isn't a 404, as it probably should be, guix follows this redirect
and gets some content that isn't the file it asked for.
To avoid this incorrect behaviour, switch to using a ci.guix.gnu.org URL for
the file instead.
* gnu/packages/xml.scm (java-xpp3)[source]: Switch the uri to ci.guix.gnu.org.
2022-07-03 10:11:24 +01:00
c145e51844
gnu: curl: Skip failing test on 32-bit architectures.
...
* gnu/packages/curl.scm (curl-7.84.0)[arguments]: Use custom
'skip-failing-tests phase on all 32-bit architectures.
2022-07-03 10:07:46 +03:00
89fe091bb4
gnu: curl: Fix build on some systems.
...
* gnu/packages/curl.scm (curl-7.84.0)[source]: Add patch to work around
implicit function declaration.
* gnu/packages/patches/curl-easy-lock.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
2022-07-03 10:07:38 +03:00
cec5a522e1
gnu: Add sqls 0.2.18.
...
* gnu/packages/databases (sqls): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-07-03 01:41:07 +02:00
eed4494da7
gnu: Add go-github-com-sourcegraph-jsonrpc2 0.1.0.
...
* gnu/packages/golang.scm (go-github-com-sourcegraph-jsonrpc2): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-07-03 01:41:07 +02:00
9b6226bcda
gnu: Add go-github-com-gorilla-websocket 1.5.0.
...
* gnu/packages/golang.scm (go-github-com-gorilla-websocket): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-07-03 01:41:06 +02:00
e7ab3d33ae
challenge: Do nothing when passed zero arguments.
...
Previously, 'guix challenge' without arguments would list live store
items that had been locally built. This was deemed confusing,
especially since 'list-live' is an expensive operation.
* guix/scripts/challenge.scm (guix-challenge): Warn and exit with 0 when
FILES is empty.
* doc/guix.texi (Invoking guix challenge): Update accordingly.
2022-07-03 01:41:06 +02:00
4745be8514
gnu: r-ifultools: Patch in removed macros to fix build.
...
* gnu/packages/cran.scm (r-ifultools)[arguments]: Define removed compatibility
macros.
2022-07-02 23:56:10 +02:00
a0142125e6
gnu: r-with-tests: Update to 4.2.1.
...
* gnu/packages/statistics.scm (r-with-tests): Update to 4.2.1.
2022-07-02 23:56:10 +02:00
Zhu Zihao
Pierre Neidhardt
Efraim Flashner
Leo Famulari
Raghav Gururajan
Christopher Baines
Liliana Marie Prikler
Andreas Enge
r0man
Antero Mejr
Artyom V. Poptsov
Ludovic Courtès
Ricardo Wurmus
Guillaume Le Vaillant
Trevor Richards
muradm