| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
| |
* gnu/packages/fpga.scm (yosys)[source]: Use GIT-FETCH and GIT-FILE-NAME.
|
| |
|
|
| |
* gnu/packages/fpga.scm (gtkwave)[description]: Use @dfn.
|
| |
|
|
| |
* gnu/packages/fpga.scm (gtkwave): Update to 3.3.91.
|
| |
|
|
|
| |
* gnu/packages/fpga.scm (yosys)[arguments]: Substitute INVOKE for
SYSTEM*.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* 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/packages/fpga.scm (iverilog)[description]: Substitute @command for
inverted commas.
|
| |
|
|
| |
* gnu/packages/fpga.scm (iverilog): Update to 10.2.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* .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/packages/fpga.scm (yosys): Add z3 to propagated-inputs.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* 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/packages/fpga.scm (icestorm)[arguments]: Add phase
"fix-usr-local" to replace reference to /usr/local/share.
|
| |
|
|
|
|
| |
* gnu/packages/fpga.scm (yosys): Update to 0.7.
Signed-off-by: Leo Famulari <leo@famulari.name>
|
| |
|
|
|
|
|
| |
* 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/packages/fpga.scm (gtkwave): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
|
| |
|
|
|
|
| |
* gnu/packages/fpga.scm (arachne-pnr): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
|
| |
|
|
|
|
| |
* gnu/packages/fpga.scm (icestorm): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
|
| |
|
|
|
|
| |
* gnu/packages/fpga.scm (yosys): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
|
| |
|
|
|
|
| |
* gnu/packages/fpga.scm (iverilog): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
|
|
|
* gnu/packages/fpga.scm (abc): New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
|