14 commits

Author	SHA1	Message	Date
Tobias Geerinckx-Rice	77659ff3ad	gnu: iverilog: Use Texinfo in description. ... * gnu/packages/fpga.scm (iverilog)[description]: Substitute @command for inverted commas.	2018-02-19 06:00:33 +01:00
Tobias Geerinckx-Rice	c046904d74	gnu: iverilog: Update to 10.2. ... * gnu/packages/fpga.scm (iverilog): Update to 10.2.	2018-02-19 06:00:32 +01:00
Theodoros Foradis	d109b1e85c	Update 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>	2017-10-03 17:07:54 +02:00
Theodoros Foradis	85cdab64c6	gnu: yosys: Add dependency on z3. ... * gnu/packages/fpga.scm (yosys): Add z3 to propagated-inputs.	2017-07-29 23:03:47 +02:00
Arun Isaac	148585c240	gnu: 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.	2017-06-20 18:10:35 +05:30
Theodoros Foradis	b500dc2e83	gnu: icestorm: Replace reference in icebox_vlog. ... * gnu/packages/fpga.scm (icestorm)[arguments]: Add phase "fix-usr-local" to replace reference to /usr/local/share.	2017-03-10 21:15:39 +01:00
Theodoros Foradis	9a93f57473	gnu: yosys: Update to 0.7. ... * gnu/packages/fpga.scm (yosys): Update to 0.7. Signed-off-by: Leo Famulari <leo@famulari.name>	2017-01-01 20:06:43 -05:00
Theodoros Foradis	f90f6b683e	gnu: 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>	2017-01-01 20:06:43 -05:00
Danny Milosavljevic	adc2f048cb	gnu: Add gtkwave. ... * gnu/packages/fpga.scm (gtkwave): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>	2016-10-09 18:19:22 +03:00
Danny Milosavljevic	bca3797be4	gnu: Add arachne-pnr. ... * gnu/packages/fpga.scm (arachne-pnr): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>	2016-10-09 18:19:22 +03:00
Danny Milosavljevic	36aa11c785	gnu: Add icestorm. ... * gnu/packages/fpga.scm (icestorm): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>	2016-10-09 18:19:22 +03:00
Danny Milosavljevic	92fc940fdb	gnu: Add yosys. ... * gnu/packages/fpga.scm (yosys): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>	2016-10-09 18:19:22 +03:00
Danny Milosavljevic	44721336de	gnu: Add iverilog. ... * gnu/packages/fpga.scm (iverilog): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>	2016-10-09 18:19:21 +03:00
Danny Milosavljevic	adba5f08de	gnu: Add abc. ... * gnu/packages/fpga.scm (abc): New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>	2016-10-09 18:19:10 +03:00