aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/fpga.scm
Commit message (Collapse)AuthorAge
* gnu: nextpnr-ice40: Clean-up description.Efraim Flashner2020-03-29
| | | | * gnu/packages/fpga.scm (nextpnr-ice40)[description]: Appease guix lint.
* gnu: nextpnr-ice40: Use a source file-name.Efraim Flashner2020-03-29
| | | | * gnu/packages/fpga.scm (nextpnr-ice40)[source]: Add file-name field.
* Update email address and Savannah handle for Amin Bandali.Amin Bandali2020-03-28
| | | | | | | * .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.
* gnu: Add nextpnr-ice40.pinoaffe@airmail.cc2020-03-22
| | | | | | * gnu/packages/fpga.scm (nextpnr-ice40): New variable. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
* gnu: icestorm: Update to latest revision.pinoaffe@airmail.cc2020-03-22
| | | | | | * gnu/packages/fpga.scm (icestorm): Update to latest revision. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
* gnu: fpga.scm: Use git-version and git-file-name where appropriate.Jakub Kądziołka2020-02-20
| | | | | | | | | | * 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.
* gnu: abc: Use HTTPS home page.Tobias Geerinckx-Rice2020-02-15
| | | | * gnu/packages/fpga.scm (abc)[home-page]: Use HTTPS.
* gnu: gtkwave: Update to 3.3.103.Tobias Geerinckx-Rice2020-01-22
| | | | * gnu/packages/fpga.scm (gtkwave): Update to 3.3.103.
* gnu: gtkwave: Prefer mirror://sourceforge source URI.Tobias Geerinckx-Rice2020-01-22
| | | | * gnu/packages/fpga.scm (gtkwave)[source]: Add URI.
* Update email address for Amin Bandali.Amin Bandali2020-01-17
| | | | | | | | | * .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>
* gnu: yosys: Update to 0.9.Tobias Geerinckx-Rice2019-11-03
| | | | * gnu/packages/fpga.scm (yosys): Update to 0.9.
* gnu: iverilog: Update to 10.3.Tobias Geerinckx-Rice2019-08-26
| | | | * gnu/packages/fpga.scm (iverilog): Update to 10.3.
* gnu: gtkwave: Update to 3.3.101.Tobias Geerinckx-Rice2019-06-08
| | | | * gnu/packages/fpga.scm (gtkwave): Update to 3.3.101.
* gnu: gtkwave: Update to 3.3.100.Tobias Geerinckx-Rice2019-04-17
| | | | * gnu/packages/fpga.scm (gtkwave): Update to 3.3.100.
* gnu: gtkwave: Don't use NAME in source URI.Tobias Geerinckx-Rice2019-04-17
| | | | * gnu/packages/fpga.scm (gtkwave)[source]: Hard-code NAME.
* gnu: gtkwave: Update to 3.3.99.Tobias Geerinckx-Rice2019-03-12
| | | | * gnu/packages/fpga.scm (gtkwave): Update to 3.3.99.
* gnu: yosys: Update to 0.8.Danny Milosavljevic2019-01-15
| | | | * gnu/packages/fpga.scm (yosys): Update to 0.8.
* gnu: arachne-pnr: Fix tests.Danny Milosavljevic2019-01-15
| | | | | * gnu/packages/fpga.scm (arachne-pnr)[arguments]: Add #:make-flags. <#:phases>[configure]: Remove Makefile substitution.
* gnu: icestorm: Update to 0.0-2-c0cbae88a.Danny Milosavljevic2019-01-15
| | | | * gnu/packages/fpga.scm (icestorm): Update to 0.0-2-c0cbae88a.
* gnu: arachne-pnr: Update to 840bdfdeb.Amin Bandali2019-01-15
| | | | * gnu/packages/fpga.scm (arachne-pnr): Update to 840bdfdeb.
* gnu: yosys: Don't use unstable tarball.Tobias Geerinckx-Rice2018-10-30
| | | | * gnu/packages/fpga.scm (yosys)[source]: Use GIT-FETCH and GIT-FILE-NAME.
* gnu: gtkwave: Mark up description.Tobias Geerinckx-Rice2018-07-05
| | | | * gnu/packages/fpga.scm (gtkwave)[description]: Use @dfn.
* gnu: gtkwave: Update to 3.3.91.Tobias Geerinckx-Rice2018-07-04
| | | | * gnu/packages/fpga.scm (gtkwave): Update to 3.3.91.
* gnu: yosys: Return #t from all phases.Tobias Geerinckx-Rice2018-06-26
| | | | | * gnu/packages/fpga.scm (yosys)[arguments]: Substitute INVOKE for SYSTEM*.
* gnu: All snippets report errors using exceptions, else return #t.Mark H Weaver2018-03-16
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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.
* gnu: iverilog: Use Texinfo in description.Tobias Geerinckx-Rice2018-02-19
| | | | | * gnu/packages/fpga.scm (iverilog)[description]: Substitute @command for inverted commas.
* gnu: iverilog: Update to 10.2.Tobias Geerinckx-Rice2018-02-19
| | | | * gnu/packages/fpga.scm (iverilog): Update to 10.2.
* Update e-mail for Theodoros Foradis.Theodoros Foradis2017-10-03
| | | | | | | | | | | | | | | | | | * .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>
* gnu: yosys: Add dependency on z3.Theodoros Foradis2017-07-29
| | | | * gnu/packages/fpga.scm (yosys): Add z3 to propagated-inputs.
* gnu: Move contents of zip module into compression module.Arun Isaac2017-06-20
| | | | | | | | | | | | | | | * 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.
* gnu: icestorm: Replace reference in icebox_vlog.Theodoros Foradis2017-03-10
| | | | | * gnu/packages/fpga.scm (icestorm)[arguments]: Add phase "fix-usr-local" to replace reference to /usr/local/share.
* gnu: yosys: Update to 0.7.Theodoros Foradis2017-01-01
| | | | | | * gnu/packages/fpga.scm (yosys): Update to 0.7. Signed-off-by: Leo Famulari <leo@famulari.name>
* gnu: yosys: Add xdot functionality.Theodoros Foradis2017-01-01
| | | | | | | * gnu/packages/fpga.scm (yosys)[inputs]: Add xdot, graphviz and psmisc. [arguments]: Add 'fix-paths' phase. Signed-off-by: Leo Famulari <leo@famulari.name>
* gnu: Add gtkwave.Danny Milosavljevic2016-10-09
| | | | | | * gnu/packages/fpga.scm (gtkwave): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: Add arachne-pnr.Danny Milosavljevic2016-10-09
| | | | | | * gnu/packages/fpga.scm (arachne-pnr): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: Add icestorm.Danny Milosavljevic2016-10-09
| | | | | | * gnu/packages/fpga.scm (icestorm): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: Add yosys.Danny Milosavljevic2016-10-09
| | | | | | * gnu/packages/fpga.scm (yosys): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: Add iverilog.Danny Milosavljevic2016-10-09
| | | | | | * gnu/packages/fpga.scm (iverilog): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: Add abc.Danny Milosavljevic2016-10-09
* gnu/packages/fpga.scm (abc): New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
generated by cgit v1.2.3 (git 2.45.0) at 2024-11-17 16:45:09 +0000