1
Fork 0
mirror of https://https.git.savannah.gnu.org/git/guix.git/ synced 2025-07-16 03:50:45 +02:00
Commit graph

115 commits

Author SHA1 Message Date
Zheng Junjie
eac904c723
gnu: nvc: Update to 1.15.1.
* gnu/packages/fpga.scm (nvc): Update to 1.15.1.
[native-inputs]: Remove gnu-gettext; add gettext-minimal.

Change-Id: Ic71084121b1bdb2f3c37f863edd305c16d2d7ea6
2025-01-22 19:22:02 +08:00
Zheng Junjie
6d54f34513
gnu: nvc: Improve package style.
* gnu/packages/fpga.scm (nvc)[source]: Use git-file-name. Remove .git to fix
the redirection.
[arguments]: Use G-expressions.

Change-Id: I44115f13503ae5b3f82cc50cb2fc31168ea3a714
2025-01-22 19:21:03 +08:00
Cayetano Santos
deafd4b03a
gnu: nvc: Update to 1.15.0.
* gnu/packages/fpga.scm (nvc): Update to 1.15.0.

Change-Id: I57daabd058131048af538388a01a3cb0cddc13e4
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2025-01-22 19:13:22 +08:00
Cayetano Santos
0f13746222
gnu: yosys: Update to 0.49.
* gnu/packages/fpga.scm (yosys): Update to 0.49.

Change-Id: I19963b3e0dffaa1e4e4698f09f2be09055469baa
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2025-01-22 19:13:22 +08:00
Cayetano Santos
dc08d9489b
gnu: openfpgaloader: Update to 0.13.1.
* gnu/packages/fpga.scm (openfpgaloader): Update to 0.13.1.

Change-Id: Ib7f221848e5ac701b03405d02ab21dbd686f73f6
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2025-01-16 12:49:30 +08:00
Cayetano Santos
eeb019eb59
gnu: Add python-hdlmake.
* gnu/packages/fpga.scm (python-hdlmake): New variable.

Change-Id: I4f19d2cceb7fe46bbc359f9bc5197ae3113bb3d7
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
2025-01-07 19:03:35 +01:00
Cayetano Santos
3f1da2f4a2
gnu: Add python-vunit.
* gnu/packages/fpga.scm (python-vunit): New variable.

Change-Id: Ieb16ec16928e6b0b2af6992fd9566cb946990dad
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2025-01-07 18:58:31 +01:00
Cayetano Santos
952a179f44
gnu: Add yosys-clang.
* gnu/packages/fpga.scm (yosys-clang): New variable.

Change-Id: Iedbd418adc152c325d106830d9d33b73f01e65da
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2025-01-07 18:04:57 +01:00
Cayetano Santos
ecfcb052a6
gnu: yosys: Update to 0.48.
* gnu/packages/fpga.scm (yosys): Update to 0.48.

Change-Id: Ie54690664ae42dd306c465112ba3d9d1610c728f
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2024-12-22 22:04:43 +08:00
Danny Milosavljevic
c85a8303b2
gnu: nextpnr-ice40: Update to 0.7.
* gnu/packages/fpga.scm (nextpnr-ice40): Update to 0.7.

Change-Id: Ieb85d11bbadedbfe156caa0856690f0c5dbe9de4
2024-12-22 12:48:44 +01:00
Simon South
8c1348e4f2
gnu: nextpnr-ice40: Update to 0.5.
* gnu/packages/fpga.scm (nextpnr-ice40): Update to 0.5.
[arguments]<#:configure-flags>: Add "-DBUILD_GUI", "-DUSE_IPO"; update
"-DCURRENT_GIT_VERSION"; rename "-DICEBOX_ROOT" to
"-DICESTORM_INSTALL_PREFIX".

Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
2024-12-22 12:48:00 +01:00
Simon South
58ca09f554
gnu: nextpnr-ice40: Remove bundled software.
* gnu/packages/fpga.scm (nextpnr-ice40)[source]: Add modules, snippet.
[native-inputs]: Add googletest, sanitizers-cmake.
[inputs]: Add imgui-1.86, pybind11, qtimgui.
[arguments]: Add "patch-source" phase; reformat gently.

Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
Change-Id: I1d291ef8356b1cb32f612a055c37654e5c0aba9d
Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
2024-12-22 12:48:00 +01:00
Simon South
43ed3520e1
gnu: nextpnr-ice40: Fix generated version string.
* gnu/packages/fpga.scm (nextpnr-ice40)[arguments]<#:configure-flags>: Add
"-DCURRENT_GIT_VERSION".

Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
2024-12-22 12:48:00 +01:00
Simon South
06aec32989
gnu: nextpnr-ice40: Enable tests.
* gnu/packages/fpga.scm (nextpnr-ice40)[source]: Enable recursive checkout.
[arguments]<#:configure-flags>: Add "-DBUILD_TESTS".
<#:tests?>: Remove.

Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
2024-12-22 12:48:00 +01:00
Simon South
f1bd93f506
gnu: nextpnr-ice40: Use gexps.
* gnu/packages/fpga.scm (nextpnr-ice40)[arguments]: Use gexps.

Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
2024-12-22 12:48:00 +01:00
Simon South
57188b8b05
gnu: nextpnr-ice40: Use HTTPS for source URL.
* gnu/packages/fpga.scm (nextpnr-ice40)[source]: Use HTTPS for URL.

Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
2024-12-22 12:48:00 +01:00
Maxim Cournoyer
708313bf3e
gnu: iverilog: Update home page.
* gnu/packages/fpga.scm (iverilog) [home-page]: Add a trailing slash to please
'guix lint'.

Change-Id: I89d742950f5d55f8b3ce6d221b1337242a01649f
2024-11-12 17:41:38 +09:00
Maxim Cournoyer
98e470d0a5
gnu: yosys: Remove extraneous characters.
* gnu/packages/fpga.scm (yosys) [arguments]: Drop leading './' from file
names.  Drop leading '/' from file names given to 'search-input-file'.

Change-Id: I49febe7bcf0d60553d2a24d99746e6457fa4d03f
2024-11-12 17:41:38 +09:00
Maxim Cournoyer
badcd4a79f
gnu: yosys: Do not hard-code CC and CXX make flags.
* gnu/packages/fpga.scm (yosys) [make-flags]: Use cc-for-target and
cxx-for-target procedures to compute the correct CC and CXX flags.

Change-Id: I2a81f09ff7d6891d78ad157594bb0d96c38451f8
2024-11-12 17:41:38 +09:00
Maxim Cournoyer
744e8f7d04
gnu: yosys: Sort inputs.
* gnu/packages/fpga.scm (yosys): Sort inputs.

Change-Id: I5a4c97b84ae1e5b7f08b82858c47542fdcfd37b1
2024-11-12 17:41:38 +09:00
Maxim Cournoyer
2bad254d03
gnu: yosys: Update to 0.47.
* gnu/packages/fpga.scm (yosys): Update to 0.47.
[arguments]: Extend fix-paths phase.
[native-inputs]: Add cxxopts.

Change-Id: I14afed45261e7c4830fe91fe2ced8762eed54810
2024-11-12 17:41:38 +09:00
Cayetano Santos
4bfe5fc584
gnu: yosys: Update to 0.46.
* gnu/packages/fpga.scm (yosys): Update to 0.46.

Change-Id: Id980679e6576b27429611f8399eff2185e57d684
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2024-11-12 17:41:38 +09:00
Cayetano Santos
66b1471199
gnu: iverilog: Re-add zlib to inputs.
Fixes issue introduced in
<https://git.savannah.gnu.org/cgit/guix.git/commit/?id=b32f8bc9da> which
removed zlib.  This caused failures in the yosys test suite.

* gnu/packages/fpga.scm (iverilog) [inputs]: Add zlib.

Change-Id: I262db5db43527a3a2a1753163f7b9a4104f7e895
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2024-11-12 17:41:38 +09:00
Maxim Cournoyer
742765656e
gnu: iverilog: Remove extraneous #:test-target argument.
'check' is its default value for the gnu-build-system.

* gnu/packages/fpga.scm (iverilog) [arguments] <#:test-target>: Delete argument.

Change-Id: I82c3103f71cfc39988f21d09f9bcdbcbdf9d1e03
2024-11-12 17:41:38 +09:00
Cayetano Santos
9fb7333fc9
gnu: openfpgaloader: Update to 0.12.1.
* gnu/packages/fpga.scm (openfpgaloader): Update to 0.12.1.
[source]: Update url. Use GIT-FILE-NAME.
[inputs]: Add eudev and libgpiod.
[home-page]: Update it.

Change-Id: Iae97a45364bff1b668ccab8de44a11a29d9284dd
2024-10-31 14:12:02 +08:00
Cayetano Santos
b32f8bc9da
gnu: iverilog: Update to 12.0.
* gnu/packages/fpga.scm (iverilog): Update to 12.0.
[source]: Switch to git-fetch.
[arguments]: Use G-expressions.
Set #:bootstrap-scripts to #~(list "autoconf.sh").
Set #:test-target to "check".
[home-page]: Update to new home page.
[native-inputs]: Add autoconf, gperf, remove ghostscript and zlib.

Change-Id: I55c3142aa41b190fef79572576cac6fc02473645
2024-10-20 20:05:39 +08:00
Cayetano Santos
0744f00e13
gnu: gtkwave: Update to 3.3.121.
* gnu/packages/fpga.scm (gtkwave): Update to 3.3.121.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-10-16 19:08:29 +02:00
Cayetano Santos
8300b60b53
gnu: abc: Update to 0.0-3.707442e.
* gnu/packages/fpga.scm (abc): Update to 0.0-3.707442e.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-10-15 18:40:09 +02:00
Cayetano Santos
8ff33c398a
gnu: nvc: Update to 1.14.0.
* gnu/packages/fpga.scm (nvc): Update to 1.14.0.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-10-14 14:08:44 +02:00
Efraim Flashner
7f05b73d90
gnu: fpga.scm: Sort module imports.
* gnu/packages/fpga.scm: Sort package module imports alphabetically.

Change-Id: Ic847b7e577287fd711b5258583f2a02925594df2
2024-09-10 11:52:22 +03:00
Efraim Flashner
2203a29a16
gnu: verilator: Remove input labels.
* gnu/packages/fpga.scm (verilator)[native-inputs]: Remove input labels.

Change-Id: Ia3efa473b909540f972f706e24238d6dc2a2dc43
2024-09-10 11:49:34 +03:00
Efraim Flashner
c5e4556b8b
gnu: verilator: Update to 5.028.
* gnu/packages/fpga.scm (verilator): Update to 5.028.
[native-inputs]: Add cmake-minimal, gdb/pinned, which.
[inputs]: Add help2man, python.
[arguments]: Remove configure-flags and make-flags.  Add a phase to
remove hardcoded location of binaries.  Add a phase to help the test
suite run.

Change-Id: I6a07622f8de8067fa767c0118c8f114cf09c3b0d
2024-09-10 11:47:00 +03:00
Efraim Flashner
387d7d718a
gnu: systemc: Update to 3.0.0.
* gnu/packages/fpga.scm (systemc): Update to 3.0.0.
[source]: Download using git-fetch.
[build-system]: Switch to cmake-build-system.
[arguments]: Remove configure-flags.  Add test-target.

Change-Id: Id5097a4fc8cd5f3c131990cf3596f5fd581be088
2024-09-10 11:45:59 +03:00
Danny Milosavljevic
a303cb9a20
gnu: nvc: Update to 1.11.3.
* gnu/packages/fpga.scm (nvc): Update to 1.11.3.
[inputs]: Add zstd.

Change-Id: I7347a047a559c15beec75bfe5feb0b15a6cc5584
2024-02-10 01:52:00 +01:00
Danny Milosavljevic
05a7f7bf6e
gnu: nvc: Update to 1.9.2.
* gnu/packages/fpga.scm (nvc): Update to 1.9.2.
2023-06-26 17:53:46 +02:00
Tobias Geerinckx-Rice
1e6ddceb83
gnu: Use HTTPS package home pages wherever possible.
* gnu/packages/accessibility.scm (florence)[home-page]: Use HTTPS.
* gnu/packages/admin.scm (netcat, nmon)[home-page]: Likewise.
* gnu/packages/algebra.scm (mpfrcx, cm, flint, fftw, r-dtt)[home-page]:
Likewise.
* gnu/packages/apr.scm (apr, apr-util)[home-page]: Likewise.
* gnu/packages/aspell.scm (aspell-dict-it)[home-page]: Likewise.
* gnu/packages/astronomy.scm (casacore, sextractor, libnova)
(xplanet)[home-page]: Likewise.
* gnu/packages/audio.scm (libtimidity, alsa-modular-synth, azr3, tao)
(freepats, rakarrack, liblo, libshout-idjc, timidity++, libsbsms)
(libmodplug, libxmp, xmp, sox, drc, gsm, gnaural)
(streamripper)[home-page]: Likewise.
* gnu/packages/authentication.scm (pamtester)[home-page]: Likewise.
* gnu/packages/backup.scm (grsync)[home-page]: Likewise.
* gnu/packages/bioconductor.scm (r-nmf, r-edger, r-limma)
(r-plgem)[home-page]: Likewise.
* gnu/packages/bioinformatics.scm (python-biom-format, bowtie, bowtie1)
(bwa, crossmap, java-htsjdk, java-htsjdk-latest, java-picard)
(java-picard-2.10.3, kaiju, proteinortho, rsem, rseqc, seek, samtools)
(snap-aligner, subread, stringtie, r-centipede, prinseq, emboss, phylip)
(libsbml)[home-page]: Likewise.
* gnu/packages/build-tools.scm (tup)[home-page]: Likewise.
* gnu/packages/cdrom.scm (libcddb, cdrdao, cdrtools)
(cd-discid)[home-page]: Likewise.
* gnu/packages/check.scm (cunit, python-nose)
(python-pyhamcrest)[home-page]: Likewise.
* gnu/packages/chemistry.scm (gromacs)[home-page]: Likewise.
* gnu/packages/chez.scm (chez-fmt)[home-page]: Likewise.
* gnu/packages/code.scm (lcov, uncrustify, cscope)[home-page]: Likewise.
* gnu/packages/compression.scm (p7zip)[home-page]: Likewise.
* gnu/packages/cran.scm (r-emdist, r-proj4, r-zoo, r-ggalluvial)
(r-orgmassspecr, r-polychrome, r-partykit, r-rcpp, r-ff, r-emdbook)
(r-fitdistrplus, r-linprog, r-geometry, r-dtw, r-fst, r-rjags)
(r-intergraph, r-qualv, r-labelled, r-survey, r-coin, r-fmsb, r-tm)
(r-corpcor, r-rmpfr, r-spatialextremes, r-longitudinal, r-genenet)
(r-bayesm, r-seqinr, r-mpm, r-text2vec, r-rgdal, r-seewave, r-hdrcde)
(r-shapes, r-anytime, r-stm, r-d3network, r-tam, r-directlabels)
(r-spatstat-utils, r-spatstat-sparse, r-spatstat-data, r-spatstat-geom)
(r-spatstat-core, r-spatstat-linnet, r-spatstat-random, r-spatstat)
(r-rcpptoml, r-mlecens, r-seurat, r-mlearning, r-zooimage)[home-page]:
Likewise.
* gnu/packages/crates-io.scm (rust-nickel-0.11, rust-thrift-0.13)
(rust-trust-dns-https-0.20, rust-trust-dns-native-tls-0.20)
(rust-trust-dns-openssl-0.20, rust-trust-dns-proto-0.20)
(rust-trust-dns-resolver-0.20, rust-trust-dns-rustls-0.20)
(rust-uint-0.9, rust-yaml-rust-0.4)[home-page]: Likewise.
* gnu/packages/crypto.scm (libdecaf, ccrypt)[home-page]: Likewise.
* gnu/packages/curl.scm (curlpp)[home-page]: Likewise.
* gnu/packages/databases.scm (python-pylibmc, unixodbc, wiredtiger)
(libpqxx, mdbtools, virtuoso-ose, libdbi, libdbi-drivers)
(soci)[home-page]: Likewise.
* gnu/packages/debian.scm (apt-mirror)[home-page]: Likewise.
* gnu/packages/debug.scm (remake)[home-page]: Likewise.
* gnu/packages/disk.scm (sdparm, idle3-tools, duc)[home-page]: Likewise.
* gnu/packages/django.scm (python-django-haystack)[home-page]: Likewise.
* gnu/packages/djvu.scm (djvulibre, djview)[home-page]: Likewise.
* gnu/packages/dns.scm (dnsmasq)[home-page]: Likewise.
* gnu/packages/docbook.scm (dblatex, docbook2x)[home-page]: Likewise.
* gnu/packages/documentation.scm (scrollkeeper)[home-page]: Likewise.
* gnu/packages/ebook.scm (liblinebreak)[home-page]: Likewise.
* gnu/packages/electronics.scm (xoscope)[home-page]: Likewise.
* gnu/packages/emacs-xyz.scm (emacs-bbdb, emacs-caps-lock, emacs-djvu)
(emacs-pabbrev, emacs-twittering-mode, emacs-filladapt, emacs-rudel)
(emacs-stream, emacspeak, emacs-cc-mode, emacs-eldoc, emacs-jsonrpc)
(emacs-gtk-look, emacs-xclip, emacs-slime-volleyball, emacs-minimap)
(emacs-auto-dictionary-mode, emacs-persist, emacs-shell-command+)
(emacs-map, emacs-xref, emacs-dictionary)[home-page]: Likewise.
* gnu/packages/embedded.scm (sdcc)[home-page]: Likewise.
* gnu/packages/engineering.scm (asco, libngspice, libspnav)
(openctm)[home-page]: Likewise.
* gnu/packages/erlang.scm (erlang-erlware-commons)[home-page]: Likewise.
* gnu/packages/file-systems.scm (jfsutils, curlftpfs)[home-page]:
Likewise.
* gnu/packages/finance.scm (gbonds)[home-page]: Likewise.
* gnu/packages/flashing-tools.scm (dfu-util, srecord)[home-page]:
Likewise.
* gnu/packages/fltk.scm (ntk)[home-page]: Likewise.
* gnu/packages/fonts.scm (font-terminus, font-tex-gyre)
(font-comic-neue)[home-page]: Likewise.
* gnu/packages/fontutils.scm (ttf2pt1, potrace, libspiro)[home-page]:
Likewise.
* gnu/packages/fpga.scm (icestorm, gtkwave, gtkwave)
(python-myhdl)[home-page]: Likewise.
* gnu/packages/freedesktop.scm (libatasmart)[home-page]: Likewise.
* gnu/packages/ftp.scm (weex)[home-page]: Likewise.
* gnu/packages/game-development.scm (dds, python-tmx, sfxr, quesoglc)
(eureka, plib)[home-page]: Likewise.
* gnu/packages/games.scm (abe, alex4, armagetronad, barony)
(foobillard++, golly, ltris, pipewalker, prboom-plus, trigger-rally)
(cmatrix, pinball, pioneers, tennix, chromium-bsu, freeciv, kiki)
(quakespasm, frotz, frotz-dumb-terminal, frotz-sdl, btanks)
(flare-engine, chessx, barrage, cgoban, passage)[home-page]: Likewise.
* gnu/packages/geo.scm (python-geopandas, saga)[home-page]: Likewise.
* gnu/packages/gl.scm (freeglut, gl2ps)[home-page]: Likewise.
* gnu/packages/gnome.scm (cogl, clutter-gtk, clutter-gst, bluefish)
(workrave)[home-page]: Likewise.
* gnu/packages/gnustep.scm (wmnd, wmfire, wmfire)[home-page]: Likewise.
* gnu/packages/graph.scm (mscgen)[home-page]: Likewise.
* gnu/packages/graphics.scm (assimp, alembic, ctl, agg)
(opencsg)[home-page]: Likewise.
* gnu/packages/graphviz.scm (gts)[home-page]: Likewise.
* gnu/packages/gtk.scm (gtkspell3)[home-page]: Likewise.
* gnu/packages/guile-xyz.scm (guile-irregex)[home-page]: Likewise.
* gnu/packages/haskell-apps.scm (cpphs)[home-page]: Likewise.
* gnu/packages/haskell-check.scm (ghc-hunit)[home-page]: Likewise.
* gnu/packages/haskell-web.scm (ghc-http-client-restricted)
(ghc-blaze-html, ghc-happstack-server, ghc-sourcemap)[home-page]:
Likewise.
* gnu/packages/haskell-xyz.scm (ghc-assoc, ghc-cairo, ghc-cborg)
(ghc-csv, ghc-glob, ghc-gtk2hs-buildtools, ghc-hmatrix-gsl-stats)
(ghc-intervalmap, ghc-lens-family-core, ghc-managed, ghc-mountpoints)
(ghc-network-multicast, ghc-optional-args, ghc-regex, ghc-spoon)
(ghc-transformers, ghc-turtle, ghc-utf8-light, ghc-wizards)
(ghc-template-haskell, ghc-boot-th, ghc-binary-orphans)
(ghc-postgresql-simple)[home-page]: Likewise.
* gnu/packages/hexedit.scm (ht, bvi)[home-page]: Likewise.
* gnu/packages/hunspell.scm (hunspell-dict-hu)[home-page]: Likewise.
* gnu/packages/image-processing.scm (mia)[home-page]: Likewise.
* gnu/packages/image-viewers.scm (geeqie, gpicview, luminance-hdr)
(qiv)[home-page]: Likewise.
* gnu/packages/image.scm (libuemf, devil, steghide, optipng, niftilib)
(sng, mtpaint)[home-page]: Likewise.
* gnu/packages/java-xml.scm (java-simple-xml, java-jaxp)
(java-apache-xml-commons-resolver)[home-page]: Likewise.
* gnu/packages/java.scm (java-cisd-base, java-cisd-args4j)
(java-hamcrest-core, java-jsr305, java-eclipse-osgi)
(java-eclipse-equinox-common, java-eclipse-core-jobs)
(java-eclipse-equinox-registry, java-eclipse-equinox-app)
(java-eclipse-equinox-preferences, java-eclipse-core-contenttype)
(java-eclipse-text, java-treelayout, java-aopalliance, java-jeromq)
(java-cdi-api)[home-page]: Likewise.
* gnu/packages/jemalloc.scm (jemalloc-4.5.0)[home-page]: Likewise.
* gnu/packages/julia-xyz.scm (julia-recipespipeline)[home-page]:
Likewise.
* gnu/packages/kde-internet.scm (kget)[home-page]: Likewise.
* gnu/packages/kde-systemtools.scm (dolphin-plugins)
(konsole)[home-page]: Likewise.
* gnu/packages/kodi.scm (fstrcmp)[home-page]: Likewise.
* gnu/packages/language.scm (hime, libchewing)[home-page]: Likewise.
* gnu/packages/lego.scm (nqc)[home-page]: Likewise.
* gnu/packages/lesstif.scm (lesstif)[home-page]: Likewise.
* gnu/packages/libcanberra.scm (libcanberra)[home-page]: Likewise.
* gnu/packages/libdaemon.scm (libdaemon)[home-page]: Likewise.
* gnu/packages/libffi.scm (libffi)[home-page]: Likewise.
* gnu/packages/libreoffice.scm (libwpd, libwpg, libwps)[home-page]:
Likewise.
* gnu/packages/libusb.scm (libmtp, gmtp)[home-page]: Likewise.
* gnu/packages/linux.scm (e2fsprogs, extundelete, lsscsi, net-tools)
(kbd, sysfsutils, cpuid, libpfm4)[home-page]: Likewise.
* gnu/packages/lisp-check.scm (sbcl-ptester, sbcl-xlunit)[home-page]:
Likewise.
* gnu/packages/lisp-xyz.scm (sbcl-html-encode, sbcl-py-configparser)
(sbcl-cl-utilities, sbcl-series, sbcl-uffi, sbcl-clsql, sbcl-sycamore)
(sbcl-osicat, sbcl-hu.dwim.common, sbcl-caveman, sbcl-trivial-shell)
(sbcl-trivial-benchmark, sbcl-screamer, sbcl-smug)[home-page]: Likewise.
* gnu/packages/lisp.scm (lush2)[home-page]: Likewise.
* gnu/packages/logging.scm (log4cpp)[home-page]: Likewise.
* gnu/packages/lua.scm (lua-ldoc)[home-page]: Likewise.
* gnu/packages/machine-learning.scm (mcl, openfst, rxcpp)[home-page]:
Likewise.
* gnu/packages/mail.scm (muchsync, procmail, sendmail)
(opensmtpd-filter-dkimsign, crm114)[home-page]: Likewise.
* gnu/packages/man.scm (libpipeline, man-db)[home-page]: Likewise.
* gnu/packages/maths.scm (lapack, scalapack, hdf-eos5, itpp, gmsh)
(metamath, p4est, armadillo, suitesparse, atlas, lpsolve, wcalc, why3)
(frama-c)[home-page]: Likewise.
* gnu/packages/mcrypt.scm (mcrypt, libmcrypt, libmhash)[home-page]:
Likewise.
* gnu/packages/minetest.scm (minetest-advtrains)[home-page]: Likewise.
* gnu/packages/monitoring.scm (python-whisper, python-carbon)
(hostscope)[home-page]: Likewise.
* gnu/packages/mp3.scm (id3lib, libmp3splt, mp3splt, mpg321)
(lame)[home-page]: Likewise.
* gnu/packages/multiprecision.scm (mpc)[home-page]: Likewise.
* gnu/packages/music.scm (aria-maestosa, lingot, setbfree, bristol)
(portmidi, python-pyportmidi, zynaddsubfx, yoshimi, aj-snapshot)
(schismtracker, midicsv, midicsv, qmidiarp, qmidiroute, dssi, tap-lv2)
(shiru-lv2)[home-page]: Likewise.
* gnu/packages/ncurses.scm (stfl)[home-page]: Likewise.
* gnu/packages/networking.scm (lksctp-tools, mbuffer, ifstatus, bird)
(tunctl, traceroute)[home-page]: Likewise.
* gnu/packages/node-xyz.scm (node-mersenne)[home-page]: Likewise.
* gnu/packages/ntp.scm (openntpd)[home-page]: Likewise.
* gnu/packages/ocaml.scm (opam, hevea, ocaml-menhir, ocaml-piqilib)
(ocaml-graph, cubicle)[home-page]: Likewise.
* gnu/packages/opencl.scm (python-pyopencl)[home-page]: Likewise.
* gnu/packages/package-management.scm (xstow, modules)[home-page]:
Likewise.
* gnu/packages/parallel.scm (xjobs)[home-page]: Likewise.
* gnu/packages/pdf.scm (podofo, qpdf, xournal, impressive)[home-page]:
Likewise.
* gnu/packages/perl.scm (perl-math-vecstat, perltidy)[home-page]:
Likewise.
* gnu/packages/photo.scm (libpano13, enblend-enfuse, hugin)[home-page]:
Likewise.
* gnu/packages/plan9.scm (drawterm)[home-page]: Likewise.
* gnu/packages/plotutils.scm (guile-charting, ploticus)[home-page]:
Likewise.
* gnu/packages/popt.scm (argtable, popt)[home-page]: Likewise.
* gnu/packages/profiling.scm (otf2)[home-page]: Likewise.
* gnu/packages/pulseaudio.scm (pulseaudio)[home-page]: Likewise.
* gnu/packages/python-check.scm (python-mypy)[home-page]: Likewise.
* gnu/packages/python-web.scm (python-cssutils)
(python-translationstring)[home-page]: Likewise.
* gnu/packages/python-xyz.scm (python-diskcache, python-doxyqml)
(python-docutils, python-pexpect, python-importlib-resources)
(python-simplegeneric, python-urwid, python-xlrd, python-xlwt)
(python-pyasn1, python-pythondialog, python-tftpy, python-random2)
(python-arcp, python-pyopengl, python-sortedcollections)
(python-sortedcontainers, python-yapsy, python-pydispatcher)
(python-posix-ipc)[home-page]: Likewise.
* gnu/packages/qt.scm (qwt, libqglviewer, signond)[home-page]: Likewise.
* gnu/packages/radio.scm (unixcw, gnuais)[home-page]: Likewise.
* gnu/packages/raspberry-pi.scm (bcm2835)[home-page]: Likewise.
* gnu/packages/rdf.scm (clucene, rasqal, redland)[home-page]: Likewise.
* gnu/packages/regex.scm (tre)[home-page]: Likewise.
* gnu/packages/rsync.scm (librsync)[home-page]: Likewise.
* gnu/packages/ruby.scm (ruby-packnga, ruby-nokogiri, ruby-oj, ruby-ox)
(ruby-sinatra, ruby-citrus, ruby-cbor, ruby-roda)[home-page]: Likewise.
* gnu/packages/scheme.scm (scheme48, tinyscheme)[home-page]: Likewise.
* gnu/packages/screen.scm (dtach)[home-page]: Likewise.
* gnu/packages/scsi.scm (sg3-utils)[home-page]: Likewise.
* gnu/packages/sdl.scm (libmikmod, sdl-pango)[home-page]: Likewise.
* gnu/packages/shellutils.scm (hstr, rig)[home-page]: Likewise.
* gnu/packages/simulation.scm (python-dolfin-adjoint)[home-page]:
Likewise.
* gnu/packages/smalltalk.scm (smalltalk)[home-page]: Likewise.
* gnu/packages/speech.scm (espeak)[home-page]: Likewise.
* gnu/packages/stalonetray.scm (stalonetray)[home-page]: Likewise.
* gnu/packages/statistics.scm (jags, r-mass, r-class, r-lattice)
(r-matrix, r-nnet, r-spatial, r-bit, r-bit64, r-digest, r-xtable)
(python-statsmodels, r-ade4, r-latticeextra, r-rcurl, r-xml, r-mvtnorm)
(r-robustbase, r-minqa, r-fdrtool, java-jdistlib, xlispstat)[home-page]:
Likewise.
* gnu/packages/swig.scm (swig)[home-page]: Likewise.
* gnu/packages/task-management.scm (wtime)[home-page]: Likewise.
* gnu/packages/tcl.scm (itcl, tclxml, tclx)[home-page]: Likewise.
* gnu/packages/terminals.scm (libtermkey, mlterm, libvterm)
(libvterm)[home-page]: Likewise.
* gnu/packages/tex.scm (texlive-lm, texlive-lm-math, texlive-cs)
(texlive-csplain, biber, texmaker)[home-page]: Likewise.
* gnu/packages/text-editors.scm (joe)[home-page]: Likewise.
* gnu/packages/textutils.scm (drm-tools, docx2txt)[home-page]: Likewise.
* gnu/packages/tv.scm (tvtime)[home-page]: Likewise.
* gnu/packages/unicode.scm (libunibreak)[home-page]: Likewise.
* gnu/packages/upnp.scm (libupnp)[home-page]: Likewise.
* gnu/packages/version-control.scm (cvs)[home-page]: Likewise.
* gnu/packages/video.scm (transcode, libquicktime, mjpegtools, aalib)
(liba52, libmpeg2, x265, libdv, dvdauthor, aegisub, pitivi, gavl)
(dvdbackup, guvcview, video-contact-sheet)[home-page]: Likewise.
* gnu/packages/virtualization.scm (bochs)[home-page]: Likewise.
* gnu/packages/w3m.scm (w3m)[home-page]: Likewise.
* gnu/packages/web.scm (qjson, libquvi-scripts, libquvi, quvi)
(tidy-html, htmlcxx)[home-page]: Likewise.
* gnu/packages/wm.scm (evilwm, menumaker)[home-page]: Likewise.
* gnu/packages/wv.scm (wv)[home-page]: Likewise.
* gnu/packages/wxwidgets.scm (wxsvg)[home-page]: Likewise.
* gnu/packages/xdisorg.scm (mtdev, xsel)[home-page]: Likewise.
* gnu/packages/xfig.scm (xfig, transfig)[home-page]: Likewise.
* gnu/packages/xml.scm (openjade, python-pyxb, xmlstarlet, xmlrpc-c)
(opensp)[home-page]: Likewise.
* gnu/packages/xorg.scm (xf86-video-qxl)[home-page]: Likewise.
2023-02-19 01:00:01 +01:00
Simon South
8553148dfb
gnu: yosys: Update to 0.26.
* gnu/packages/fpga.scm (yosys): Update to 0.26.
[source]: Disable unnecessary recursive checkout.
[arguments]<#:phases>: Expand "fix-paths" phase to match new version; remove
obsolete "fix-iverilog-references" phase; add wrap phase.
[inputs]: Add gtkwave, zlib, python, python-click.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-11 20:34:22 +00:00
Simon South
ade3bfd036
gnu: yosys: Do not propagate any inputs.
* gnu/packages/fpga.scm (yosys)[arguments]<#:phases>: Patch reference to z3 in
"fix-paths" phase; in "use-external-abc" phase, use complete path to "abc"
executable in store.
[propagated-inputs]: Remove, moving abc and z3 from here...
[inputs]: ...to here.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-11 20:34:22 +00:00
Simon South
277fb70442
gnu: yosys: Use external abc.
* gnu/packages/fpga.scm (yosys)[source]: Remove snippet and associated
"modules" field.
[arguments]: Replace "prepare-abc" phase with "use-external-abc", which
configures the package's build system to use the system's "abc" executable
instead of creating a duplicate; add "add-symbolic-link" phase to preserve
availability of "yosys-abc" command.
[inputs]: Move abc from here...
[propagated-inputs]: ...to here, to ensure its availability at runtime.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-08 17:11:00 +00:00
Simon South
8b0024f8da
gnu: yosys: Use new package style.
* gnu/packages/fpga.scm (yosys)[source]: Use gexp in snippet and don't
explicitly return #t.
[arguments]: Use gexps; use search-input-file to locate executables; simplify
parameters to "configure" phase; don't explicitly return #t from phases.
[native-inputs]: Sort alphabetically.
[inputs]: Sort alphabetically.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-08 17:11:00 +00:00
Simon South
535c61ccc3
gnu: yosys: Update source and home-page URLs.
* gnu/packages/fpga.scm (yosys)[source]: Update source-repository URL.
[home-page]: Update URL.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-02-08 17:11:00 +00:00
Danny Milosavljevic
74f15a002c
gnu: nvc: Update to 1.8.1.
* gnu/packages/fpga.scm (nvc): Update to 1.8.1.
[inputs]: Add libffi.
2023-02-02 21:53:23 +01:00
Simon South
94cab6a703
gnu: abc: Update to 0.0-2.70cb339.
* gnu/packages/fpga.scm (abc): Update to 0.0-2.70cb339.
[source]: Fetch from current source-code repository.
[native-inputs]: Remove as obsolete.
[arguments]<#:tests?>: Update comment.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-12-27 23:53:41 +01:00
Simon South
79240b4b4e
gnu: abc: Use gexps.
* gnu/packages/fpga.scm (abc)[arguments]: Use gexps; simplify "install" phase.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-12-27 23:53:41 +01:00
Simon South
c10238966e
gnu: abc: Convey license information.
* gnu/packages/fpga.scm (abc)[arguments]: Add #:license-file-regexp so license
information is included in package output.
[license]: Specify URI of actual package license.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-12-27 23:53:41 +01:00
Danny Milosavljevic
614a92cae8
gnu: nvc: Update to 1.7.2.
* gnu/packages/fpga.scm (nvc): Update to 1.7.2.
[inputs]: Add elfutils.
[home-page]: Modify.
2022-11-03 19:46:17 +01:00
jgart
f8529b9eec
gnu: gtkwave: Update to 3.3.113.
* gnu/packages/fpga.scm (gtkwave): Update to 3.3.113.
[inputs]: Use new style.
[arguments]: Use gexp.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-10-11 16:05:32 +02:00
Danny Milosavljevic
3ba8c2b507
gnu: Add openfpgaloader.
* gnu/packages/fpga.scm (openfpgaloader): New variable.
2022-09-16 13:17:08 +02:00
Gabriel Wicki
11dfc673e4
gnu: Add fftgen.
* gnu/packages/fpga.scm (fftgen): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-09-02 18:16:52 +02:00
宋文武
4e562883d1
gnu: icestorm: Update to 0.0-4.2bc5417.
* gnu/packages/fpga.scm (icestorm): Update to
commit 2bc541743ada3542c6da36a50e66303b9cbd2059.
2022-08-17 13:53:39 +08:00