summaryrefslogtreecommitdiff
path: root/gnu/packages/fpga.scm
AgeCommit message (Collapse)Author
9 daysgnu: nvc: Update to 1.17.0.Cayetano Santos
* gnu/packages/fpga.scm (nvc): Update to 1.17.0. [source]: Fix indentation. [arguments]<#:configure-flags>: Add --enable-vital. [native-inputs]: Remove ruby, replace python by python-minimal. Change-Id: I7f8aa596b60f51be4dc5d3d2f0f44d8839c65906
2025-07-16gnu: python-hdlmake: Update to 3.3-2.48260fb.Cayetano Santos
* gnu/packages/fpga.scm (python-hdlmake): Update to 3.3-2.48260fb. [arguments]: Add :#test-flags. [propagated-inputs]: Add python-networkx. Change-Id: I70e2994359bcbb2a24ef20518bce6f56dee9b37a Signed-off-by: Andreas Enge <andreas@enge.fr>
2025-07-12gnu: abc-yosyshq: Update to 0.55.Cayetano Santos
* gnu/packages/fpga.scm (abc-yosyshq): Update to 0.55. Change-Id: Ie7c443d5bac3451197089723e86d9c5b3c659faf Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>
2025-07-12gnu: yosys: Update to 0.55.Cayetano Santos
* gnu/packages/fpga.scm (yosys): Update to 0.55. Change-Id: Iacda19bd7371f1de71436414aaa63412a2784077 Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>
2025-07-03gnu: nvc: Update to 1.16.2.Cayetano Santos
* 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-03gnu: openfpgaloader: Include udev rules.Cayetano Santos
* 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-06-30gnu: yosys: Update to 0.54.Cayetano Santos
* gnu/packages/fpga.scm (yosys): Update to 0.54. Change-Id: Iff161b61efa42a0903976c01fb81a62c745ec2e4 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2025-06-30gnu: abc-yosyshq: Update to 0.54.Cayetano Santos
* gnu/packages/fpga.scm (abc-yosyshq): Update to 0.54. Change-Id: I81bdb9f3fd8722b4f198ab34312c5942ce925b5c Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2025-06-21gnu: python-vunit: Update to 5.0.0-dev.6.Cayetano Santos
* 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-18gnu: nextpnr: Add ecp5 and himbaechel architectures.Cayetano Santos via Guix-patches via
Change-Id: Ia4b92f6cd1693b844b35949fdc23369e958e73c1 Signed-off-by: Andreas Enge <andreas@enge.fr>
2025-05-16gnu: gtkwave: Update to 3.4.0-0.bb978d9.Cayetano Santos
* 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-16gnu: Add libfst.Cayetano Santos
* 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-12gnu: abc-yosyshq: Update to 0.53.Cayetano Santos
* 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-12gnu: python-hdlmake: Update to 3.3-1.9338e3e and enable tests.Cayetano Santos
* 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-12gnu: yosys: Update to 0.53.Cayetano Santos
* 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-12gnu: nextpnr-ice40. Rename to nextpnr an deprecate it.Maxim Cournoyer
* 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-12gnu: nextpnr-ice40: Update to 0.8.Maxim Cournoyer
* 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-03gnu: yosys: Use abc-yosyshq.Cayetano Santos
* gnu/packages/fpga.scm (yosys)[inputs]: Replace abc by abc-yosyshq. Change-Id: Id0a3f9c561f414261af2e7c7bd8cb82b6a0322cd Signed-off-by: Andreas Enge <andreas@enge.fr>
2025-05-02gnu: Add abc-yosyshq.Cayetano Santos
* 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-04-28gnu: python-vunit: Update to 5.0.0-dev.5.Cayetano Santos
* 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-28gnu: nvc: Update to 1.16.0.Cayetano Santos via Guix-patches via
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-25gnu: python-migen: Update to 0.9.2-0.2828df5.Sharlatan Hellseher
* 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-22gnu: icestorm: Update to 0.0-5.3cdcf4b.Cayetano Santos
* 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-18gnu: yosys: Update to 0.52.Cayetano Santos
* gnu/packages/fpga.scm (yosys): Update to 0.52. Change-Id: I1425becfad1b210d3cea22c6654468b53407aa55 Signed-off-by: Zheng Junjie <z572@z572.online>
2025-04-16gnu: abc: Update to 0.0-5.9f5855f.Cayetano Santos
* 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-16gnu: verilator: Update to 5.034.Cayetano Santos
* gnu/packages/fpga.scm (verilator): Update to 5.034. Change-Id: I7d61befc8f62736e445bcceca6bfb1e67ef0c186 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2025-03-26gnu: nvc: Update to 1.15.2.Cayetano Santos
* gnu/packages/fpga.scm (nvc): Update to 1.15.2. Change-Id: I160e0927b28efc980e9b7ce4aae9466dbabb1666 Signed-off-by: Zheng Junjie <z572@z572.online>
2025-03-21gnu: yosys: Update to 0.51.Cayetano Santos
* gnu/packages/fpga.scm (yosys): Update to 0.51. Change-Id: Ic9f6da5e48c8eea1f897f70b32c3000c5377fdfe Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2025-03-09gnu: gtkwave: Build with GTK3.Nathan Merkley
* 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-02-20gnu: yosys: Update to 0.50.Cayetano Santos
* gnu/packages/fpga.scm (yosys): Update to 0.50. Change-Id: I29afc237c3ef5ea327aefdba68f76335d617a251 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2025-02-16gnu: nextpnr-ice40: Support wayland.Danny Milosavljevic
* gnu/packages/fpga.scm (nextpnr-ice40)[build-system]: Switch to qt-build-system. [inputs]: Add qtwayland-5. Change-Id: I399b768b6771c0700f6331e72ab3804ffff4e01d
2025-01-27gnu: Remove arachne-pnr.Cayetano Santos
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-27gnu: abc: Update to 0.0-4.d5e1a5d.Cayetano Santos
* gnu/packages/fpga.scm (abc): Update to 0.0-4.d5e1a5d. Change-Id: I99caeed3cac17af830ce3fe38689ee6fad7e8074
2025-01-22gnu: nvc: Update to 1.15.1.Zheng Junjie
* gnu/packages/fpga.scm (nvc): Update to 1.15.1. [native-inputs]: Remove gnu-gettext; add gettext-minimal. Change-Id: Ic71084121b1bdb2f3c37f863edd305c16d2d7ea6
2025-01-22gnu: nvc: Improve package style.Zheng Junjie
* 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-22gnu: nvc: Update to 1.15.0.Cayetano Santos
* gnu/packages/fpga.scm (nvc): Update to 1.15.0. Change-Id: I57daabd058131048af538388a01a3cb0cddc13e4 Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2025-01-22gnu: yosys: Update to 0.49.Cayetano Santos
* gnu/packages/fpga.scm (yosys): Update to 0.49. Change-Id: I19963b3e0dffaa1e4e4698f09f2be09055469baa Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2025-01-16gnu: openfpgaloader: Update to 0.13.1.Cayetano Santos
* gnu/packages/fpga.scm (openfpgaloader): Update to 0.13.1. Change-Id: Ib7f221848e5ac701b03405d02ab21dbd686f73f6 Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2025-01-07gnu: Add python-hdlmake.Cayetano Santos
* gnu/packages/fpga.scm (python-hdlmake): New variable. Change-Id: I4f19d2cceb7fe46bbc359f9bc5197ae3113bb3d7 Co-authored-by: Ludovic Courtès <ludo@gnu.org>
2025-01-07gnu: Add python-vunit.Cayetano Santos
* gnu/packages/fpga.scm (python-vunit): New variable. Change-Id: Ieb16ec16928e6b0b2af6992fd9566cb946990dad Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2025-01-07gnu: Add yosys-clang.Cayetano Santos
* gnu/packages/fpga.scm (yosys-clang): New variable. Change-Id: Iedbd418adc152c325d106830d9d33b73f01e65da Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-12-22gnu: yosys: Update to 0.48.Cayetano Santos
* gnu/packages/fpga.scm (yosys): Update to 0.48. Change-Id: Ie54690664ae42dd306c465112ba3d9d1610c728f Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2024-12-22gnu: nextpnr-ice40: Update to 0.7.Danny Milosavljevic
* gnu/packages/fpga.scm (nextpnr-ice40): Update to 0.7. Change-Id: Ieb85d11bbadedbfe156caa0856690f0c5dbe9de4
2024-12-22gnu: nextpnr-ice40: Update to 0.5.Simon South
* 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-22gnu: nextpnr-ice40: Remove bundled software.Simon South
* 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-22gnu: nextpnr-ice40: Fix generated version string.Simon South
* gnu/packages/fpga.scm (nextpnr-ice40)[arguments]<#:configure-flags>: Add "-DCURRENT_GIT_VERSION". Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
2024-12-22gnu: nextpnr-ice40: Enable tests.Simon South
* 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-22gnu: nextpnr-ice40: Use gexps.Simon South
* gnu/packages/fpga.scm (nextpnr-ice40)[arguments]: Use gexps. Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
2024-12-22gnu: nextpnr-ice40: Use HTTPS for source URL.Simon South
* gnu/packages/fpga.scm (nextpnr-ice40)[source]: Use HTTPS for URL. Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
2024-11-12gnu: iverilog: Update home page.Maxim Cournoyer
* gnu/packages/fpga.scm (iverilog) [home-page]: Add a trailing slash to please 'guix lint'. Change-Id: I89d742950f5d55f8b3ce6d221b1337242a01649f