Age | Commit message (Collapse) | Author |
|
* 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
|
|
* 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>
|
|
* gnu/packages/fpga.scm (abc-yosyshq): Update to 0.55.
Change-Id: Ie7c443d5bac3451197089723e86d9c5b3c659faf
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>
|
|
* gnu/packages/fpga.scm (yosys): Update to 0.55.
Change-Id: Iacda19bd7371f1de71436414aaa63412a2784077
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>
|
|
* 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>
|
|
* 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
|
|
* gnu/packages/fpga.scm (yosys): Update to 0.54.
Change-Id: Iff161b61efa42a0903976c01fb81a62c745ec2e4
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/fpga.scm (abc-yosyshq): Update to 0.54.
Change-Id: I81bdb9f3fd8722b4f198ab34312c5942ce925b5c
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* 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>
|
|
Change-Id: Ia4b92f6cd1693b844b35949fdc23369e958e73c1
Signed-off-by: Andreas Enge <andreas@enge.fr>
|
|
* 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>
|
|
* 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>
|
|
* 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>
|
|
* 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>
|
|
* 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>
|
|
* 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>
|
|
* 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
|
|
* gnu/packages/fpga.scm (yosys)[inputs]: Replace abc by abc-yosyshq.
Change-Id: Id0a3f9c561f414261af2e7c7bd8cb82b6a0322cd
Signed-off-by: Andreas Enge <andreas@enge.fr>
|
|
* 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>
|
|
* 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>
|
|
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>
|
|
* 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
|
|
* 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>
|
|
* gnu/packages/fpga.scm (yosys): Update to 0.52.
Change-Id: I1425becfad1b210d3cea22c6654468b53407aa55
Signed-off-by: Zheng Junjie <z572@z572.online>
|
|
* gnu/packages/fpga.scm (abc): Update to 0.0-5.9f5855f.
Change-Id: I7a6570020981fbedf2e6861da0534f199d3839b4
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/fpga.scm (verilator): Update to 5.034.
Change-Id: I7d61befc8f62736e445bcceca6bfb1e67ef0c186
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/fpga.scm (nvc): Update to 1.15.2.
Change-Id: I160e0927b28efc980e9b7ce4aae9466dbabb1666
Signed-off-by: Zheng Junjie <z572@z572.online>
|
|
* gnu/packages/fpga.scm (yosys): Update to 0.51.
Change-Id: Ic9f6da5e48c8eea1f897f70b32c3000c5377fdfe
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* 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>
|
|
* gnu/packages/fpga.scm (yosys): Update to 0.50.
Change-Id: I29afc237c3ef5ea327aefdba68f76335d617a251
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/fpga.scm (nextpnr-ice40)[build-system]: Switch to
qt-build-system.
[inputs]: Add qtwayland-5.
Change-Id: I399b768b6771c0700f6331e72ab3804ffff4e01d
|
|
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
|
|
* gnu/packages/fpga.scm (abc): Update to 0.0-4.d5e1a5d.
Change-Id: I99caeed3cac17af830ce3fe38689ee6fad7e8074
|
|
* gnu/packages/fpga.scm (nvc): Update to 1.15.1.
[native-inputs]: Remove gnu-gettext; add gettext-minimal.
Change-Id: Ic71084121b1bdb2f3c37f863edd305c16d2d7ea6
|
|
* gnu/packages/fpga.scm (nvc)[source]: Use git-file-name. Remove .git to fix
the redirection.
[arguments]: Use G-expressions.
Change-Id: I44115f13503ae5b3f82cc50cb2fc31168ea3a714
|
|
* gnu/packages/fpga.scm (nvc): Update to 1.15.0.
Change-Id: I57daabd058131048af538388a01a3cb0cddc13e4
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
|
|
* gnu/packages/fpga.scm (yosys): Update to 0.49.
Change-Id: I19963b3e0dffaa1e4e4698f09f2be09055469baa
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
|
|
* gnu/packages/fpga.scm (openfpgaloader): Update to 0.13.1.
Change-Id: Ib7f221848e5ac701b03405d02ab21dbd686f73f6
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
|
|
* gnu/packages/fpga.scm (python-hdlmake): New variable.
Change-Id: I4f19d2cceb7fe46bbc359f9bc5197ae3113bb3d7
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/fpga.scm (python-vunit): New variable.
Change-Id: Ieb16ec16928e6b0b2af6992fd9566cb946990dad
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/fpga.scm (yosys-clang): New variable.
Change-Id: Iedbd418adc152c325d106830d9d33b73f01e65da
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/fpga.scm (yosys): Update to 0.48.
Change-Id: Ie54690664ae42dd306c465112ba3d9d1610c728f
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
|
|
* gnu/packages/fpga.scm (nextpnr-ice40): Update to 0.7.
Change-Id: Ieb85d11bbadedbfe156caa0856690f0c5dbe9de4
|
|
* 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>
|
|
* 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>
|
|
* gnu/packages/fpga.scm (nextpnr-ice40)[arguments]<#:configure-flags>: Add
"-DCURRENT_GIT_VERSION".
Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
|
|
* 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>
|
|
* gnu/packages/fpga.scm (nextpnr-ice40)[arguments]: Use gexps.
Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
|
|
* gnu/packages/fpga.scm (nextpnr-ice40)[source]: Use HTTPS for URL.
Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
|
|
* gnu/packages/fpga.scm (iverilog) [home-page]: Add a trailing slash to please
'guix lint'.
Change-Id: I89d742950f5d55f8b3ce6d221b1337242a01649f
|