mirror/guix
mirror/guix
1
Fork 0
mirror of https://https.git.savannah.gnu.org/git/guix.git/ synced 2025-07-12 18:10:47 +02:00
Code Releases Activity
163779 commits 76 branches 38 tags 672 MiB
Commit graph

144 commits

Author SHA1 Message Date
Cayetano Santos
18806bc0d0
gnu: nvc: Update to 1.16.2. 
* gnu/packages/fpga.scm (nvc): Update to 1.16.2.
[arguments]<#:configure-flags>: Enable parallel make and completions.
[inputs]: Add jansson.

Change-Id: I92e5d47dd7dacb4054b51317cb902c1320272bae
Signed-off-by: Zheng Junjie <z572@z572.online>
 2025-07-03 16:36:28 +08:00
Cayetano Santos
690ac4fc2d
gnu: openfpgaloader: Include udev rules. 
* gnu/packages/fpga.scm (openfpgaloader): Include udev rules.
[argument]: Add install-rules phase.
[description]: Add instructions for use.
[home-page]: Add missed / .

Change-Id: Iecb1eebd03b08131e341a106f46d85b21b02fe22
 2025-07-03 16:12:01 +08:00
Cayetano Santos
0bbb7edbfd
gnu: yosys: Update to 0.54. 
* gnu/packages/fpga.scm (yosys): Update to 0.54.

Change-Id: Iff161b61efa42a0903976c01fb81a62c745ec2e4
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2025-06-30 14:30:41 +02:00
Cayetano Santos
aa71f9182c
gnu: abc-yosyshq: Update to 0.54. 
* gnu/packages/fpga.scm (abc-yosyshq): Update to 0.54.

Change-Id: I81bdb9f3fd8722b4f198ab34312c5942ce925b5c
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2025-06-30 14:30:41 +02:00
Cayetano Santos
c8f9ab2ccc
gnu: python-vunit: Update to 5.0.0-dev.6. 
* gnu/packages/fpga.scm (python-vunit): Update to 5.0.0-dev.6.

Change-Id: I8820c6b74b11380189a6720238c74f154a613c31
Reviewed-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2025-06-21 18:31:26 +01:00
Cayetano Santos via Guix-patches via
3110396465
gnu: nextpnr: Add ecp5 and himbaechel architectures. 
Change-Id: Ia4b92f6cd1693b844b35949fdc23369e958e73c1
Signed-off-by: Andreas Enge <andreas@enge.fr>
 2025-06-18 14:39:23 +02:00
Cayetano Santos
d6d03854b5
gnu: gtkwave: Update to 3.4.0-0.bb978d9. 
* gnu/packages/fpga.scm (gtkwave): Update to 3.4.0-0.bb978d9.
[source]: Switch to git-fetch, new uri.
[version]: Switch to branch master, version 3.4.
[build-system]: Switch to meson-build-system.
[arguments]: New field.
[native-inputs]: Add desktop-file-utils, flex, glib:bin, gobject-introspection
and gtk:bin.
[inputs]: Add gtk and libfst.  Remove gtk+:bin.
[description]: Prefer @acronym to @dfn.
[homepage]: Update URL.

Change-Id: I38aabca14c2789ad7b3bc304b7018644dc6d0fa6
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Modified-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
 2025-05-16 21:57:46 +09:00
Cayetano Santos
c833e40922
gnu: Add libfst. 
* gnu/packages/fpga.scm (libfst): New variable.

Change-Id: Idff52e52114877e0a0259c8df98b3c1bfa20c521
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Modified-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
 2025-05-16 20:09:33 +09:00
Cayetano Santos
bf11e3327b
gnu: abc-yosyshq: Update to 0.53. 
* gnu/packages/fpga.scm (abc-yosyshq): Update to 0.53.

Change-Id: I32e4973a26e831c558ab13b2cf7e00bea87637a1
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Reviewed-by: Gabriel Wicki <gabriel@erlikon.ch>
 2025-05-12 21:51:27 +09:00
Cayetano Santos
554c227a8f
gnu: python-hdlmake: Update to 3.3-1.9338e3e and enable tests. 
* gnu/packages/fpga.scm (python-hdlmake): Update to 3.3-1.9338e3e.
[source]: Update URL.
[arguments] <#:tests?>: Delete.
[native-inputs]: Add python-pytest.
[home-page]: Update URL.

Change-Id: Ied124a3ceb22be427c5255b5d139f5f63031e260
Co-authored-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Reviewed-by: Gabriel Wicki <gabriel@erlikon.ch>
 2025-05-12 21:51:27 +09:00
Cayetano Santos
3f955bd243
gnu: yosys: Update to 0.53. 
* gnu/packages/fpga.scm (yosys): Update to 0.53.

Change-Id: I7bd53033860ca9bcad367c4360625ac406fbad04
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Reviewed-by: Gabriel Wicki <gabriel@erlikon.ch>
 2025-05-12 21:51:27 +09:00
Maxim Cournoyer
77802617c3
gnu: nextpnr-ice40. Rename to nextpnr an deprecate it. 
* gnu/packages/fpga.scm (nextpnr-ice40): Rename to...
(nextpnr): ... this.
[configure-flage]: Add 'generic' to -DARCH flag.
[inputs]: Add corrosion.
(nextpnr-ice40): Define as a deprecated alias of nextpnr.

Change-Id: Ic3476a6a4220ec20191897a6efb3d4aa347b51c2
Co-authored-by: Cayetano Santos <csantosb@inventati.org>
 2025-05-12 15:26:50 +09:00
Maxim Cournoyer
221899c202
gnu: nextpnr-ice40: Update to 0.8. 
* gnu/packages/fpga.scm (nextpnr-ice40): Update to 0.8.
[snippet]: Use 'delete-all-but' defensive idiom and update comment.
[patches]: Apply unbundling patches.
[arguments] <:cmake>: New argument.
<#:configure-flags>: Add -DUSE_OPENMP=ON flag.  Adjust version string used with
-DCURRENT_GIT_VERSION.
<#:phases> {patch-source}: Streamline phase.
[inputs]: Remove imgui-1.86, which is now propagated by qtimgui.
[home-page]: Add trailing '/'.
[description]: Streamline description.  'FOSS' is implied by being part of the
Guix packages collection.
[license]: Correct to ISC license.
* gnu/packages/patches/nextpnr-gtest.patch: New file.
* gnu/packages/patches/nextpnr-imgui.patch: Likewise.
* gnu/local.mk (dist_patch_DATA): Register them.

Co-authored-by: Cayetano Santos <csantosb@inventati.org>
Change-Id: Ied1178c26ed0ba96021a3d5961441c23f0ac508e
 2025-05-12 15:26:50 +09:00
Cayetano Santos
d2b251a857
gnu: yosys: Use abc-yosyshq. 
* gnu/packages/fpga.scm (yosys)[inputs]: Replace abc by abc-yosyshq.

Change-Id: Id0a3f9c561f414261af2e7c7bd8cb82b6a0322cd
Signed-off-by: Andreas Enge <andreas@enge.fr>
 2025-05-03 18:05:51 +02:00
Cayetano Santos
64ab31870c
gnu: Add abc-yosyshq. 
* gnu/packages/fpga.scm (abc-yosyshq): New variable.

Change-Id: I46649e3722ded3faf8c0993d7bebaf649e6297c6
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Modified-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
 2025-05-02 21:47:33 +09:00
Cayetano Santos
e6d951c7cf
gnu: python-vunit: Update to 5.0.0-dev.5. 
* gnu/packages/fpga.scm (python-vunit): Update to 5.0.0-dev.5.
[build-system]: Switch to pyproject-build-system.
[arguments]<#:tests> Activate.
<#:test-flags>: Run unit tests only and skip acceptance lint tests.
[propagated-inputs]: Remove python.
[native-inputs]: Add nvc, python-pytest, python-setuptools,
python-setuptools-scm and python-wheel.

Change-Id: Idde0283b73906209799fcc2be9bbb72df8d2aa20
Co-authored-by: Sharlatan Hellseher <sharlatanus@gmail.com>
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
 2025-04-28 14:10:06 +01:00
Cayetano Santos via Guix-patches via
f1ce653b13
gnu: nvc: Update to 1.16.0. 
Note that:

--enable-gcov is intended for debug/development of the simulator itself and
should not be enabled in release builds

- VHPI is now always enabled at build time and the `--enable-vhpi` configure
option has no effect.

* gnu/packages/fpga.scm (nvc): Update to 1.16.0.
[arguments] <#:configure-flags> Remove --enable-{vhpi,gcov}.
[native-inputs]: Add python and perl; sort.
[inputs]: Remove elfutils; sort.

Change-Id: If781ed403cd769db85f8265fc242d0f1608d737e
Signed-off-by: Christopher Baines <mail@cbaines.net>
 2025-04-28 07:58:36 +01:00
Sharlatan Hellseher
e6edc113cc
gnu: python-migen: Update to 0.9.2-0.2828df5. 
* gnu/packages/fpga.scm (python-migen): Update to 0.9.2-0.2828df5.
[source]: Use the latest commit contains changes supporting Python 3.11.
[build-system]: Switch to pyproject
[native-inputs]: Add python-pytest, python-setuptools, and python-wheel.

Change-Id: Id6eee0f2a034b60195fb433df731123c3b749f2d
 2025-04-25 12:50:56 +01:00
Cayetano Santos
c8194a5297
gnu: icestorm: Update to 0.0-5.3cdcf4b. 
* gnu/packages/fpga.scm (icestorm): Update to 0.0-5.3cdcf4b.
[source]: Update URL.
[arguments] <#:phases> {make-info}: New phase.
{fix-usr-local}: Update substitutions.
<#:tests>: Update comment.
<#:make-flags>: Update CC, CXX and PREFIX variables.
[native-inputs]: Use new style.  Add texinfo, python-sphinx and
python-sphinx-rtd-theme.
[homepage]: Update URL.
[description]: Improve.

Change-Id: I545ac91c94a97989c3a1494479d36cb5bb46930d
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Modified-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
 2025-04-22 23:44:14 +09:00
Cayetano Santos
ef4b76aac0
gnu: yosys: Update to 0.52. 
* gnu/packages/fpga.scm (yosys): Update to 0.52.

Change-Id: I1425becfad1b210d3cea22c6654468b53407aa55
Signed-off-by: Zheng Junjie <z572@z572.online>
 2025-04-18 14:51:53 +08:00
Cayetano Santos
4bd2949cfa
gnu: abc: Update to 0.0-5.9f5855f. 
* gnu/packages/fpga.scm (abc): Update to 0.0-5.9f5855f.

Change-Id: I7a6570020981fbedf2e6861da0534f199d3839b4
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2025-04-16 18:20:45 +02:00
Cayetano Santos
625342419a
gnu: verilator: Update to 5.034. 
* gnu/packages/fpga.scm (verilator): Update to 5.034.

Change-Id: I7d61befc8f62736e445bcceca6bfb1e67ef0c186
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2025-04-16 18:20:44 +02:00
Cayetano Santos
5d2f5d1761
gnu: nvc: Update to 1.15.2. 
* gnu/packages/fpga.scm (nvc): Update to 1.15.2.

Change-Id: I160e0927b28efc980e9b7ce4aae9466dbabb1666
Signed-off-by: Zheng Junjie <z572@z572.online>
 2025-03-26 12:19:20 +08:00
Cayetano Santos
c5b28a3d4a
gnu: yosys: Update to 0.51. 
* gnu/packages/fpga.scm (yosys): Update to 0.51.

Change-Id: Ic9f6da5e48c8eea1f897f70b32c3000c5377fdfe
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2025-03-21 12:37:30 +01:00
Nathan Merkley
99075df54a
gnu: gtkwave: Build with GTK3. 
* gnu/packages/fpga.scm (gtkwave): Use GTK3 source.
[build-system]: Use glib-or-gtk-build-system.
[inputs]: Add gtk+. Remove gtk+-2.
[arguments]: Enable GTK3 build.

Change-Id: I2deab104beb18ccc064925190ede4a33098edbef
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2025-03-09 17:14:07 +01:00
Cayetano Santos
7fcb9811ce
gnu: yosys: Update to 0.50. 
* gnu/packages/fpga.scm (yosys): Update to 0.50.

Change-Id: I29afc237c3ef5ea327aefdba68f76335d617a251
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2025-02-20 12:04:50 +01:00
Danny Milosavljevic
5083f784c3
gnu: nextpnr-ice40: Support wayland. 
* gnu/packages/fpga.scm (nextpnr-ice40)[build-system]: Switch to
qt-build-system.
[inputs]: Add qtwayland-5.

Change-Id: I399b768b6771c0700f6331e72ab3804ffff4e01d
 2025-02-16 14:33:09 +01:00
Cayetano Santos
3806f55aa0
gnu: Remove arachne-pnr. 
Arachne README.md states that this code is not maintained anymore, and advices
to replace it by nextpnr.

* gnu/packages/fpga.scm (arachne-pnr): Delete variable.

Change-Id: I86a42633de96af04499106aabca43bfab4b35f24
 2025-01-27 08:46:39 +08:00
Cayetano Santos
1de27b5976
gnu: abc: Update to 0.0-4.d5e1a5d. 
* gnu/packages/fpga.scm (abc): Update to 0.0-4.d5e1a5d.

Change-Id: I99caeed3cac17af830ce3fe38689ee6fad7e8074
 2025-01-27 08:46:39 +08:00
Zheng Junjie
eac904c723
gnu: nvc: Update to 1.15.1. 
* gnu/packages/fpga.scm (nvc): Update to 1.15.1.
[native-inputs]: Remove gnu-gettext; add gettext-minimal.

Change-Id: Ic71084121b1bdb2f3c37f863edd305c16d2d7ea6
 2025-01-22 19:22:02 +08:00
Zheng Junjie
6d54f34513
gnu: nvc: Improve package style. 
* gnu/packages/fpga.scm (nvc)[source]: Use git-file-name. Remove .git to fix
the redirection.
[arguments]: Use G-expressions.

Change-Id: I44115f13503ae5b3f82cc50cb2fc31168ea3a714
 2025-01-22 19:21:03 +08:00
Cayetano Santos
deafd4b03a
gnu: nvc: Update to 1.15.0. 
* gnu/packages/fpga.scm (nvc): Update to 1.15.0.

Change-Id: I57daabd058131048af538388a01a3cb0cddc13e4
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
 2025-01-22 19:13:22 +08:00
Cayetano Santos
0f13746222
gnu: yosys: Update to 0.49. 
* gnu/packages/fpga.scm (yosys): Update to 0.49.

Change-Id: I19963b3e0dffaa1e4e4698f09f2be09055469baa
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
 2025-01-22 19:13:22 +08:00
Cayetano Santos
dc08d9489b
gnu: openfpgaloader: Update to 0.13.1. 
* gnu/packages/fpga.scm (openfpgaloader): Update to 0.13.1.

Change-Id: Ib7f221848e5ac701b03405d02ab21dbd686f73f6
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
 2025-01-16 12:49:30 +08:00
Cayetano Santos
eeb019eb59
gnu: Add python-hdlmake. 
* gnu/packages/fpga.scm (python-hdlmake): New variable.

Change-Id: I4f19d2cceb7fe46bbc359f9bc5197ae3113bb3d7
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
 2025-01-07 19:03:35 +01:00
Cayetano Santos
3f1da2f4a2
gnu: Add python-vunit. 
* gnu/packages/fpga.scm (python-vunit): New variable.

Change-Id: Ieb16ec16928e6b0b2af6992fd9566cb946990dad
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2025-01-07 18:58:31 +01:00
Cayetano Santos
952a179f44
gnu: Add yosys-clang. 
* gnu/packages/fpga.scm (yosys-clang): New variable.

Change-Id: Iedbd418adc152c325d106830d9d33b73f01e65da
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2025-01-07 18:04:57 +01:00
Cayetano Santos
ecfcb052a6
gnu: yosys: Update to 0.48. 
* gnu/packages/fpga.scm (yosys): Update to 0.48.

Change-Id: Ie54690664ae42dd306c465112ba3d9d1610c728f
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
 2024-12-22 22:04:43 +08:00
Danny Milosavljevic
c85a8303b2
gnu: nextpnr-ice40: Update to 0.7. 
* gnu/packages/fpga.scm (nextpnr-ice40): Update to 0.7.

Change-Id: Ieb85d11bbadedbfe156caa0856690f0c5dbe9de4
 2024-12-22 12:48:44 +01:00
Simon South
8c1348e4f2
gnu: nextpnr-ice40: Update to 0.5. 
* gnu/packages/fpga.scm (nextpnr-ice40): Update to 0.5.
[arguments]<#:configure-flags>: Add "-DBUILD_GUI", "-DUSE_IPO"; update
"-DCURRENT_GIT_VERSION"; rename "-DICEBOX_ROOT" to
"-DICESTORM_INSTALL_PREFIX".

Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
 2024-12-22 12:48:00 +01:00
Simon South
58ca09f554
gnu: nextpnr-ice40: Remove bundled software. 
* gnu/packages/fpga.scm (nextpnr-ice40)[source]: Add modules, snippet.
[native-inputs]: Add googletest, sanitizers-cmake.
[inputs]: Add imgui-1.86, pybind11, qtimgui.
[arguments]: Add "patch-source" phase; reformat gently.

Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
Change-Id: I1d291ef8356b1cb32f612a055c37654e5c0aba9d
Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
 2024-12-22 12:48:00 +01:00
Simon South
43ed3520e1
gnu: nextpnr-ice40: Fix generated version string. 
* gnu/packages/fpga.scm (nextpnr-ice40)[arguments]<#:configure-flags>: Add
"-DCURRENT_GIT_VERSION".

Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
 2024-12-22 12:48:00 +01:00
Simon South
06aec32989
gnu: nextpnr-ice40: Enable tests. 
* gnu/packages/fpga.scm (nextpnr-ice40)[source]: Enable recursive checkout.
[arguments]<#:configure-flags>: Add "-DBUILD_TESTS".
<#:tests?>: Remove.

Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
 2024-12-22 12:48:00 +01:00
Simon South
f1bd93f506
gnu: nextpnr-ice40: Use gexps. 
* gnu/packages/fpga.scm (nextpnr-ice40)[arguments]: Use gexps.

Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
 2024-12-22 12:48:00 +01:00
Simon South
57188b8b05
gnu: nextpnr-ice40: Use HTTPS for source URL. 
* gnu/packages/fpga.scm (nextpnr-ice40)[source]: Use HTTPS for URL.

Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
 2024-12-22 12:48:00 +01:00
Maxim Cournoyer
708313bf3e
gnu: iverilog: Update home page. 
* gnu/packages/fpga.scm (iverilog) [home-page]: Add a trailing slash to please
'guix lint'.

Change-Id: I89d742950f5d55f8b3ce6d221b1337242a01649f
 2024-11-12 17:41:38 +09:00
Maxim Cournoyer
98e470d0a5
gnu: yosys: Remove extraneous characters. 
* gnu/packages/fpga.scm (yosys) [arguments]: Drop leading './' from file
names.  Drop leading '/' from file names given to 'search-input-file'.

Change-Id: I49febe7bcf0d60553d2a24d99746e6457fa4d03f
 2024-11-12 17:41:38 +09:00
Maxim Cournoyer
badcd4a79f
gnu: yosys: Do not hard-code CC and CXX make flags. 
* gnu/packages/fpga.scm (yosys) [make-flags]: Use cc-for-target and
cxx-for-target procedures to compute the correct CC and CXX flags.

Change-Id: I2a81f09ff7d6891d78ad157594bb0d96c38451f8
 2024-11-12 17:41:38 +09:00
Maxim Cournoyer
744e8f7d04
gnu: yosys: Sort inputs. 
* gnu/packages/fpga.scm (yosys): Sort inputs.

Change-Id: I5a4c97b84ae1e5b7f08b82858c47542fdcfd37b1
 2024-11-12 17:41:38 +09:00
Maxim Cournoyer
2bad254d03
gnu: yosys: Update to 0.47. 
* gnu/packages/fpga.scm (yosys): Update to 0.47.
[arguments]: Extend fix-paths phase.
[native-inputs]: Add cxxopts.

Change-Id: I14afed45261e7c4830fe91fe2ced8762eed54810
 2024-11-12 17:41:38 +09:00