tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-22 10:10:31 +02:00
Code Activity
26,660 Commits 75 Branches 40 Tags
493937ae1fb5b3ffdd836c144cb4682067b94de9
Commit Graph

12 Commits

Author SHA1 Message Date
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