me/guix
Archived
1
0
Fork 0
Code Activity
60895 commits 1 branch 0 tags 410 MiB
Commit graph

40 commits

Author SHA1 Message Date
Tobias Geerinckx-Rice
51fd92cef4
gnu: gtkwave: Update to 3.3.104. 
* gnu/packages/fpga.scm (gtkwave): Update to 3.3.104.
 2020-05-20 05:56:53 +02:00
Efraim Flashner
a46498020b
gnu: nextpnr-ice40: Clean-up description. 
* gnu/packages/fpga.scm (nextpnr-ice40)[description]: Appease guix lint.
 2020-03-29 20:50:24 +03:00
Efraim Flashner
0e68695e79
gnu: nextpnr-ice40: Use a source file-name. 
* gnu/packages/fpga.scm (nextpnr-ice40)[source]: Add file-name field.
 2020-03-29 20:50:21 +03:00
Amin Bandali
c2cf286c62
Update email address and Savannah handle for Amin Bandali. 
* .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.
 2020-03-28 16:30:07 -04:00
pinoaffe@airmail.cc
363989e668
gnu: Add nextpnr-ice40. 
* gnu/packages/fpga.scm (nextpnr-ice40): New variable.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
 2020-03-22 15:59:35 +01:00
pinoaffe@airmail.cc
179be4bbe4
gnu: icestorm: Update to latest revision. 
* gnu/packages/fpga.scm (icestorm): Update to latest revision.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
 2020-03-22 15:59:33 +01:00
Jakub Kądziołka
ec299312a0
gnu: fpga.scm: Use git-version and git-file-name where appropriate. 
* 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.
 2020-02-20 22:45:33 +01:00
Tobias Geerinckx-Rice
3bc9f9e77a
gnu: abc: Use HTTPS home page. 
* gnu/packages/fpga.scm (abc)[home-page]: Use HTTPS.
 2020-02-15 17:07:02 +01:00
Tobias Geerinckx-Rice
18a3f33ee6
gnu: gtkwave: Update to 3.3.103. 
* gnu/packages/fpga.scm (gtkwave): Update to 3.3.103.
 2020-01-22 06:20:00 +01:00
Tobias Geerinckx-Rice
82f81ffac6
gnu: gtkwave: Prefer mirror://sourceforge source URI. 
* gnu/packages/fpga.scm (gtkwave)[source]: Add URI.
 2020-01-22 06:20:00 +01:00
Amin Bandali
a3143063ae
Update email address for Amin Bandali. 
* .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>
 2020-01-17 18:30:33 +01:00
Tobias Geerinckx-Rice
922c84867a
gnu: yosys: Update to 0.9. 
* gnu/packages/fpga.scm (yosys): Update to 0.9.
 2019-11-03 18:27:21 +01:00
Tobias Geerinckx-Rice
f27cb0f1dd
gnu: iverilog: Update to 10.3. 
* gnu/packages/fpga.scm (iverilog): Update to 10.3.
 2019-08-26 15:56:32 +02:00
Tobias Geerinckx-Rice
7e6764c1d2
gnu: gtkwave: Update to 3.3.101. 
* gnu/packages/fpga.scm (gtkwave): Update to 3.3.101.
 2019-06-08 07:30:26 +02:00
Tobias Geerinckx-Rice
38dd8b6058
gnu: gtkwave: Update to 3.3.100. 
* gnu/packages/fpga.scm (gtkwave): Update to 3.3.100.
 2019-04-17 06:15:36 +02:00
Tobias Geerinckx-Rice
315d7dda35
gnu: gtkwave: Don't use NAME in source URI. 
* gnu/packages/fpga.scm (gtkwave)[source]: Hard-code NAME.
 2019-04-17 06:12:48 +02:00
Tobias Geerinckx-Rice
3d21f1ea0f
gnu: gtkwave: Update to 3.3.99. 
* gnu/packages/fpga.scm (gtkwave): Update to 3.3.99.
 2019-03-12 02:22:35 +01:00
Danny Milosavljevic
9210a6c082
gnu: yosys: Update to 0.8. 
* gnu/packages/fpga.scm (yosys): Update to 0.8.
 2019-01-15 16:46:45 +01:00
Danny Milosavljevic
eccd3f6d2e
gnu: arachne-pnr: Fix tests. 
* gnu/packages/fpga.scm (arachne-pnr)[arguments]: Add #:make-flags.
<#:phases>[configure]: Remove Makefile substitution.
 2019-01-15 16:46:45 +01:00
Danny Milosavljevic
72dd271cee
gnu: icestorm: Update to 0.0-2-c0cbae88a. 
* gnu/packages/fpga.scm (icestorm): Update to 0.0-2-c0cbae88a.
 2019-01-15 16:46:45 +01:00
Amin Bandali
e82baf69f1
gnu: arachne-pnr: Update to 840bdfdeb. 
* gnu/packages/fpga.scm (arachne-pnr): Update to 840bdfdeb.
 2019-01-15 16:46:43 +01:00
Tobias Geerinckx-Rice
21fc352bad
gnu: yosys: Don't use unstable tarball. 
* gnu/packages/fpga.scm (yosys)[source]: Use GIT-FETCH and GIT-FILE-NAME.
 2018-10-30 23:40:43 +01:00
Tobias Geerinckx-Rice
1e6191bb55
gnu: gtkwave: Mark up description. 
* gnu/packages/fpga.scm (gtkwave)[description]: Use @dfn.
 2018-07-05 02:35:02 +02:00
Tobias Geerinckx-Rice
55e3e1ceb9
gnu: gtkwave: Update to 3.3.91. 
* gnu/packages/fpga.scm (gtkwave): Update to 3.3.91.
 2018-07-04 02:45:39 +02:00
Tobias Geerinckx-Rice
99f6ef9ab4
gnu: yosys: Return #t from all phases. 
* gnu/packages/fpga.scm (yosys)[arguments]: Substitute INVOKE for
SYSTEM*.
 2018-06-26 02:17:02 +02:00
Mark H Weaver
6cbee49d66
gnu: All snippets report errors using exceptions, else return #t. 
* 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.
 2018-03-16 09:08:31 -04:00
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