Age | Commit message (Collapse) | Author | |
---|---|---|---|
2017-07-29 | gnu: yosys: Add dependency on z3. | Theodoros Foradis | |
* gnu/packages/fpga.scm (yosys): Add z3 to propagated-inputs. | |||
2017-06-20 | gnu: Move contents of zip module into compression module. | Arun Isaac | |
* 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-03-10 | gnu: icestorm: Replace reference in icebox_vlog. | Theodoros Foradis | |
* gnu/packages/fpga.scm (icestorm)[arguments]: Add phase "fix-usr-local" to replace reference to /usr/local/share. | |||
2017-01-01 | gnu: yosys: Update to 0.7. | Theodoros Foradis | |
* gnu/packages/fpga.scm (yosys): Update to 0.7. Signed-off-by: Leo Famulari <leo@famulari.name> | |||
2017-01-01 | gnu: yosys: Add xdot functionality. | Theodoros Foradis | |
* gnu/packages/fpga.scm (yosys)[inputs]: Add xdot, graphviz and psmisc. [arguments]: Add 'fix-paths' phase. Signed-off-by: Leo Famulari <leo@famulari.name> | |||
2016-10-09 | gnu: Add gtkwave. | Danny Milosavljevic | |
* gnu/packages/fpga.scm (gtkwave): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> | |||
2016-10-09 | gnu: Add arachne-pnr. | Danny Milosavljevic | |
* gnu/packages/fpga.scm (arachne-pnr): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> | |||
2016-10-09 | gnu: Add icestorm. | Danny Milosavljevic | |
* gnu/packages/fpga.scm (icestorm): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> | |||
2016-10-09 | gnu: Add yosys. | Danny Milosavljevic | |
* gnu/packages/fpga.scm (yosys): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> | |||
2016-10-09 | gnu: Add iverilog. | Danny Milosavljevic | |
* gnu/packages/fpga.scm (iverilog): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> | |||
2016-10-09 | gnu: Add abc. | Danny Milosavljevic | |
* gnu/packages/fpga.scm (abc): New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> |