summaryrefslogtreecommitdiff
path: root/gnu/packages/fpga.scm
AgeCommit message (Expand)Author
2021-05-23gnu: nvc: Update to 1.5.1....* gnu/packages/fpga.scm (nvc): Update to 1.5.1. [arguments]: Hopefully re-enable #:parallel-build?s. Tobias Geerinckx-Rice
2021-05-07gnu: gtkwave: Update to 3.3.109....* gnu/packages/fpga.scm (gtkwave): Update to 3.3.109. Tobias Geerinckx-Rice
2021-03-06gnu: verilator: Update to 4.110....* gnu/packages/fpga.scm (verilator): Update to 4.110. Tobias Geerinckx-Rice
2021-01-28gnu: Add Verilator....* gnu/packages/fpga.scm (verilator): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Andrew Miloradovsky
2021-01-28gnu: Add systemc....* gnu/packages/fpga.scm (systemc): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Andrew Miloradovsky
2021-01-07gnu: gtkwave: Update to 3.3.108....* gnu/packages/fpga.scm (gtkwave): Update to 3.3.108. Tobias Geerinckx-Rice
2020-12-30gnu: Add python-migen....* gnu/packages/fpga.scm (python-migen): New variable. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org> Vinicius Monego
2020-12-17gnu: Add nvc....* gnu/packages/fpga.scm (nvc): New variable. Danny Milosavljevic
2020-12-16gnu: Add python-myhdl....* gnu/packages/fpga.scm (python-myhdl): New variable. Danny Milosavljevic
2020-10-13gnu: gtkwave: Update to 3.3.107....* gnu/packages/fpga.scm (gtkwave): Update to 3.3.107. Tobias Geerinckx-Rice
2020-08-16gnu: gtkwave: Update to 3.3.106....* gnu/packages/fpga.scm (gtkwave): Update to 3.3.106. Tobias Geerinckx-Rice
2020-08-11gnu: nextpnr-ice40: Sort inputs alphabetically....* gnu/packages/fpga.scm (nextpnr-ice40)[inputs]: Sort alphabetically. Efraim Flashner
2020-08-11gnu: nextpnr-ice40: Re-indent....* gnu/packages/fpga.scm (nextpnr-ice40): Re-indent code. Efraim Flashner
2020-08-11gnu: nextpnr-ice40: Update to 0.0.0-1.fbe486d....* gnu/packages/fpga.scm (nextpnr-ice40): Update to 0.0.0-1.fbe486d. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Malte Frank Gerdes
2020-07-12gnu: Remove ".git" from "https://github/…/….git"....Until now, 'lookup-origin' and thus 'lookup-origin-revision' in (guix swh) would sometimes return #f for these because the ".git" URLs are redirects to the non-".git" URLs. Consequently, 'guix lint -c archival' would keep saying "scheduled Software Heritage archival"; likewise, the fallback download code would fail. * gnu/packages/ada.scm, gnu/packages/admin.scm, gnu/packages/aidc.scm, gnu/packages/algebra.scm, gnu/packages/android.scm, gnu/packages/animation.scm, gnu/packages/arcan.scm, gnu/packages/assembly.scm, gnu/packages/audio.scm, gnu/packages/authentication.scm, gnu/packages/avr.scm, gnu/packages/axoloti.scm, gnu/packages/backup.scm, gnu/packages/bash.scm, gnu/packages/benchmark.scm, gnu/packages/bioconductor.scm, gnu/packages/bioinformatics.scm, gnu/packages/bittorrent.scm, gnu/packages/boost.scm, gnu/packages/build-tools.scm, gnu/packages/c.scm, gnu/packages/calendar.scm, gnu/packages/cdrom.scm, gnu/packages/check.scm, gnu/packages/chemistry.scm, gnu/packages/chez.scm, gnu/packages/clojure.scm, gnu/packages/code.scm, gnu/packages/compression.scm, gnu/packages/compton.scm, gnu/packages/coq.scm, gnu/packages/cpp.scm, gnu/packages/cran.scm, gnu/packages/crypto.scm, gnu/packages/curl.scm, gnu/packages/databases.scm, gnu/packages/datastructures.scm, gnu/packages/debug.scm, gnu/packages/disk.scm, gnu/packages/distributed.scm, gnu/packages/django.scm, gnu/packages/dlang.scm, gnu/packages/dns.scm, gnu/packages/docker.scm, gnu/packages/education.scm, gnu/packages/efi.scm, gnu/packages/elixir.scm, gnu/packages/emacs-xyz.scm, gnu/packages/embedded.scm, gnu/packages/emulators.scm, gnu/packages/engineering.scm, gnu/packages/erlang.scm, gnu/packages/fabric-management.scm, gnu/packages/file-systems.scm, gnu/packages/finance.scm, gnu/packages/firmware.scm, gnu/packages/flashing-tools.scm, gnu/packages/fonts.scm, gnu/packages/fontutils.scm, gnu/packages/fpga.scm, gnu/packages/game-development.scm, gnu/packages/games.scm, gnu/packages/genealogy.scm, gnu/packages/genimage.scm, gnu/packages/geo.scm, gnu/packages/gimp.scm, gnu/packages/gl.scm, gnu/packages/gnome-xyz.scm, gnu/packages/gnome.scm, gnu/packages/gnuzilla.scm, gnu/packages/golang.scm, gnu/packages/gpodder.scm, gnu/packages/graph.scm, gnu/packages/graphics.scm, gnu/packages/graphviz.scm, gnu/packages/groff.scm, gnu/packages/groovy.scm, gnu/packages/gtk.scm, gnu/packages/guile-xyz.scm, gnu/packages/guile.scm, gnu/packages/hardware.scm, gnu/packages/haskell-apps.scm, gnu/packages/haskell-xyz.scm, gnu/packages/hexedit.scm, gnu/packages/i2p.scm, gnu/packages/ibus.scm, gnu/packages/image-processing.scm, gnu/packages/image-viewers.scm, gnu/packages/image.scm, gnu/packages/ipfs.scm, gnu/packages/java-graphics.scm, gnu/packages/java-maths.scm, gnu/packages/java.scm, gnu/packages/javascript.scm, gnu/packages/jrnl.scm, gnu/packages/julia.scm, gnu/packages/jupyter.scm, gnu/packages/kodi.scm, gnu/packages/language.scm, gnu/packages/lego.scm, gnu/packages/less.scm, gnu/packages/libusb.scm, gnu/packages/linux.scm, gnu/packages/lirc.scm, gnu/packages/lisp-xyz.scm, gnu/packages/llvm.scm, gnu/packages/logging.scm, gnu/packages/lolcode.scm, gnu/packages/lua.scm, gnu/packages/lxde.scm, gnu/packages/lxqt.scm, gnu/packages/machine-learning.scm, gnu/packages/mail.scm, gnu/packages/markup.scm, gnu/packages/maths.scm, gnu/packages/maven.scm, gnu/packages/mes.scm, gnu/packages/messaging.scm, gnu/packages/monitoring.scm, gnu/packages/mpd.scm, gnu/packages/music.scm, gnu/packages/networking.scm, gnu/packages/node-xyz.scm, gnu/packages/ocaml.scm, gnu/packages/ocr.scm, gnu/packages/onc-rpc.scm, gnu/packages/opencl.scm, gnu/packages/opencog.scm, gnu/packages/pantheon.scm, gnu/packages/password-utils.scm, gnu/packages/patchutils.scm, gnu/packages/pdf.scm, gnu/packages/perl6.scm, gnu/packages/phabricator.scm, gnu/packages/popt.scm, gnu/packages/printers.scm, gnu/packages/prolog.scm, gnu/packages/protobuf.scm, gnu/packages/pulseaudio.scm, gnu/packages/python-crypto.scm, gnu/packages/python-web.scm, gnu/packages/python-xyz.scm, gnu/packages/qt.scm, gnu/packages/radio.scm, gnu/packages/rails.scm, gnu/packages/rdf.scm, gnu/packages/rednotebook.scm, gnu/packages/rpc.scm, gnu/packages/rsync.scm, gnu/packages/ruby.scm, gnu/packages/rust.scm, gnu/packages/scheme.scm, gnu/packages/screen.scm, gnu/packages/security-token.scm, gnu/packages/selinux.scm, gnu/packages/serialization.scm, gnu/packages/shells.scm, gnu/packages/shellutils.scm, gnu/packages/simh.scm, gnu/packages/sml.scm, gnu/packages/ssh.scm, gnu/packages/statistics.scm, gnu/packages/stenography.scm, gnu/packages/sync.scm, gnu/packages/syncthing.scm, gnu/packages/synergy.scm, gnu/packages/telephony.scm, gnu/packages/terminals.scm, gnu/packages/tex.scm, gnu/packages/texinfo.scm, gnu/packages/text-editors.scm, gnu/packages/textutils.scm, gnu/packages/time.scm, gnu/packages/tmux.scm, gnu/packages/tor.scm, gnu/packages/toys.scm, gnu/packages/version-control.scm, gnu/packages/video.scm, gnu/packages/vim.scm, gnu/packages/virtualization.scm, gnu/packages/vlang.scm, gnu/packages/vnc.scm, gnu/packages/vpn.scm, gnu/packages/web-browsers.scm, gnu/packages/web.scm, gnu/packages/wireservice.scm, gnu/packages/wm.scm, gnu/packages/wxwidgets.scm, gnu/packages/xdisorg.scm, gnu/packages/xml.scm, gnu/packages/xorg.scm, tests/lint.scm: Remove trailing ".git" from 'git-reference' URL. Ludovic Courtès
2020-05-20gnu: gtkwave: Update to 3.3.104....* gnu/packages/fpga.scm (gtkwave): Update to 3.3.104. Tobias Geerinckx-Rice
2020-03-29gnu: nextpnr-ice40: Clean-up description....* gnu/packages/fpga.scm (nextpnr-ice40)[description]: Appease guix lint. Efraim Flashner
2020-03-29gnu: nextpnr-ice40: Use a source file-name....* gnu/packages/fpga.scm (nextpnr-ice40)[source]: Add file-name field. Efraim Flashner
2020-03-28Update email address and Savannah handle for Amin Bandali....* .mailmap, gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm, gnu/packages/fonts.scm, gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm, gnu/packages/pulseaudio.scm: Update my email address. * build-aux/git-authenticate.scm: Update my Savannah handle. Amin Bandali
2020-03-22gnu: Add nextpnr-ice40....* gnu/packages/fpga.scm (nextpnr-ice40): New variable. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org> pinoaffe@airmail.cc
2020-03-22gnu: icestorm: Update to latest revision....* gnu/packages/fpga.scm (icestorm): Update to latest revision. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org> pinoaffe@airmail.cc
2020-02-20gnu: fpga.scm: Use git-version and git-file-name where appropriate....* gnu/packages/fpga.scm (abc): Use git-version. The uri is using an autogenerated commit package, it would ideally use git-fetch. The canonical repository is now on GitHub, but the old commit ID is not present. This means that changing the origin is best done together with an update. (icestorm): Use git-version, git-file-name. (arachne-pnr): Use git-file-name. Jakub Kądziołka
2020-02-15gnu: abc: Use HTTPS home page....* gnu/packages/fpga.scm (abc)[home-page]: Use HTTPS. Tobias Geerinckx-Rice
2020-01-22gnu: gtkwave: Update to 3.3.103....* gnu/packages/fpga.scm (gtkwave): Update to 3.3.103. Tobias Geerinckx-Rice
2020-01-22gnu: gtkwave: Prefer mirror://sourceforge source URI....* gnu/packages/fpga.scm (gtkwave)[source]: Add URI. Tobias Geerinckx-Rice
2020-01-17Update email address for Amin Bandali....* .mailmap: Add name and email addresses for Amin Bandali. * gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm, gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm: Update email address for Amin Bandali. Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr> Amin Bandali
2019-11-03gnu: yosys: Update to 0.9....* gnu/packages/fpga.scm (yosys): Update to 0.9. Tobias Geerinckx-Rice
2019-08-26gnu: iverilog: Update to 10.3....* gnu/packages/fpga.scm (iverilog): Update to 10.3. Tobias Geerinckx-Rice
2019-06-08gnu: gtkwave: Update to 3.3.101....* gnu/packages/fpga.scm (gtkwave): Update to 3.3.101. Tobias Geerinckx-Rice
2019-04-17gnu: gtkwave: Update to 3.3.100....* gnu/packages/fpga.scm (gtkwave): Update to 3.3.100. Tobias Geerinckx-Rice
2019-04-17gnu: gtkwave: Don't use NAME in source URI....* gnu/packages/fpga.scm (gtkwave)[source]: Hard-code NAME. Tobias Geerinckx-Rice
2019-03-12gnu: gtkwave: Update to 3.3.99....* gnu/packages/fpga.scm (gtkwave): Update to 3.3.99. Tobias Geerinckx-Rice
2019-01-15gnu: yosys: Update to 0.8....* gnu/packages/fpga.scm (yosys): Update to 0.8. Danny Milosavljevic
2019-01-15gnu: arachne-pnr: Fix tests....* gnu/packages/fpga.scm (arachne-pnr)[arguments]: Add #:make-flags. <#:phases>[configure]: Remove Makefile substitution. Danny Milosavljevic
2019-01-15gnu: icestorm: Update to 0.0-2-c0cbae88a....* gnu/packages/fpga.scm (icestorm): Update to 0.0-2-c0cbae88a. Danny Milosavljevic
2019-01-15gnu: arachne-pnr: Update to 840bdfdeb....* gnu/packages/fpga.scm (arachne-pnr): Update to 840bdfdeb. Amin Bandali
2018-10-30gnu: yosys: Don't use unstable tarball....* gnu/packages/fpga.scm (yosys)[source]: Use GIT-FETCH and GIT-FILE-NAME. Tobias Geerinckx-Rice
2018-07-05gnu: gtkwave: Mark up description....* gnu/packages/fpga.scm (gtkwave)[description]: Use @dfn. Tobias Geerinckx-Rice
2018-07-04gnu: gtkwave: Update to 3.3.91....* gnu/packages/fpga.scm (gtkwave): Update to 3.3.91. Tobias Geerinckx-Rice
2018-06-26gnu: yosys: Return #t from all phases....* gnu/packages/fpga.scm (yosys)[arguments]: Substitute INVOKE for SYSTEM*. Tobias Geerinckx-Rice
2018-03-16gnu: All snippets report errors using exceptions, else return #t....* gnu/packages/admin.scm, gnu/packages/algebra.scm, gnu/packages/audio.scm, gnu/packages/backup.scm, gnu/packages/base.scm, gnu/packages/bioinformatics.scm, gnu/packages/cdrom.scm, gnu/packages/chez.scm, gnu/packages/code.scm, gnu/packages/compression.scm, gnu/packages/cross-base.scm, gnu/packages/crypto.scm, gnu/packages/cups.scm, gnu/packages/databases.scm, gnu/packages/dns.scm, gnu/packages/emacs.scm, gnu/packages/emulators.scm, gnu/packages/engineering.scm, gnu/packages/enlightenment.scm, gnu/packages/fpga.scm, gnu/packages/freedesktop.scm, gnu/packages/ftp.scm, gnu/packages/games.scm, gnu/packages/gcc.scm, gnu/packages/geo.scm, gnu/packages/ghostscript.scm, gnu/packages/gl.scm, gnu/packages/glib.scm, gnu/packages/gnome.scm, gnu/packages/gnuzilla.scm, gnu/packages/graphics.scm, gnu/packages/gtk.scm, gnu/packages/guile.scm, gnu/packages/irc.scm, gnu/packages/java.scm, gnu/packages/kerberos.scm, gnu/packages/linux.scm, gnu/packages/lisp.scm, gnu/packages/lxde.scm, gnu/packages/machine-learning.scm, gnu/packages/mail.scm, gnu/packages/maths.scm, gnu/packages/messaging.scm, gnu/packages/monitoring.scm, gnu/packages/mp3.scm, gnu/packages/music.scm, gnu/packages/netpbm.scm, gnu/packages/networking.scm, gnu/packages/node.scm, gnu/packages/nvi.scm, gnu/packages/ocaml.scm, gnu/packages/pdf.scm, gnu/packages/perl.scm, gnu/packages/php.scm, gnu/packages/plotutils.scm, gnu/packages/pretty-print.scm, gnu/packages/profiling.scm, gnu/packages/pulseaudio.scm, gnu/packages/python-crypto.scm, gnu/packages/python.scm, gnu/packages/qt.scm, gnu/packages/robotics.scm, gnu/packages/sawfish.scm, gnu/packages/scanner.scm, gnu/packages/scheme.scm, gnu/packages/scribus.scm, gnu/packages/sdl.scm, gnu/packages/serialization.scm, gnu/packages/shells.scm, gnu/packages/slang.scm, gnu/packages/smalltalk.scm, gnu/packages/ssh.scm, gnu/packages/sync.scm, gnu/packages/syncthing.scm, gnu/packages/tbb.scm, gnu/packages/terminals.scm, gnu/packages/texinfo.scm, gnu/packages/text-editors.scm, gnu/packages/textutils.scm, gnu/packages/tls.scm, gnu/packages/unrtf.scm, gnu/packages/version-control.scm, gnu/packages/video.scm, gnu/packages/vpn.scm, gnu/packages/web.scm, gnu/packages/wm.scm, gnu/packages/wxwidgets.scm, gnu/packages/xdisorg.scm, gnu/packages/xorg.scm: In all snippets, report errors using exceptions, or else return #t. Mark H Weaver
2018-02-19gnu: iverilog: Use Texinfo in description....* gnu/packages/fpga.scm (iverilog)[description]: Substitute @command for inverted commas. Tobias Geerinckx-Rice
2018-02-19gnu: iverilog: Update to 10.2....* gnu/packages/fpga.scm (iverilog): Update to 10.2. Tobias Geerinckx-Rice
2017-10-03Update e-mail for Theodoros Foradis....* .mailmap: Add entry. * gnu/packages/aspell.scm: Replace theodoros.for@openmailbox.org with current address. * gnu/packages/compression.scm: Likewise. * gnu/packages/electronics.scm: Likewise. * gnu/packages/engineering.scm: Likewise. * gnu/packages/fpga.scm: Likewise. * gnu/packages/graphviz.scm: Likewise. * gnu/packages/guile.scm: Likewise. * gnu/packages/libusb.scm: Likewise. * gnu/packages/maths.scm: Likewise. * gnu/packages/messaging.scm: Likewise. * gnu/packages/uml.scm: Likewise. * gnu/packages/wxwidgets.scm: Likewise. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Theodoros Foradis
2017-07-29gnu: yosys: Add dependency on z3....* gnu/packages/fpga.scm (yosys): Add z3 to propagated-inputs. Theodoros Foradis
2017-06-20gnu: Move contents of zip module into compression module....* gnu/packages/zip.scm (zip, unzip, zziplib, perl-zip): Move to... * gnu/packages/compression.scm: ...here. * gnu/packages/zip.scm: Delete file. * gnu/local.mk (GNU_SYSTEM_MODULES): Unregister deleted file. * po/packages/POTFILES.in: Unregister deleted file. * gnu/packages/{audio, avr, bioinformatics, busybox, cdrom, ci, compression, docbook, documentation, fonts, fpga, game-development, games, gl, gnome, gnuzilla, graphics, guile, haskell, image, java, kodi, ldc, libreoffice, markup, maths, mc, monitoring, music, php, pretty-print, python, scheme, smalltalk, statistics, synergy, tex, textutils, video, web-browsers, xml, zip}.scm, guix/build-system/{ant, font}.scm, guix/{download, packages}.scm: Adapt module import. Arun Isaac
2017-03-10gnu: icestorm: Replace reference in icebox_vlog....* gnu/packages/fpga.scm (icestorm)[arguments]: Add phase "fix-usr-local" to replace reference to /usr/local/share. Theodoros Foradis
2017-01-01gnu: yosys: Update to 0.7....* gnu/packages/fpga.scm (yosys): Update to 0.7. Signed-off-by: Leo Famulari <leo@famulari.name> Theodoros Foradis
2017-01-01gnu: yosys: Add xdot functionality....* gnu/packages/fpga.scm (yosys)[inputs]: Add xdot, graphviz and psmisc. [arguments]: Add 'fix-paths' phase. Signed-off-by: Leo Famulari <leo@famulari.name> Theodoros Foradis
2016-10-09gnu: Add gtkwave....* gnu/packages/fpga.scm (gtkwave): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Danny Milosavljevic