summaryrefslogtreecommitdiff
path: root/gnu/packages/fpga.scm
Commit message (Expand)AuthorAgeFilesLines
* 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> Cayetano Santos2 days1-2/+2
* gnu: Add python-hdlmake.•••* gnu/packages/fpga.scm (python-hdlmake): New variable. Change-Id: I4f19d2cceb7fe46bbc359f9bc5197ae3113bb3d7 Co-authored-by: Ludovic Courtès <ludo@gnu.org> Cayetano Santos11 days1-0/+30
* gnu: Add python-vunit.•••* gnu/packages/fpga.scm (python-vunit): New variable. Change-Id: Ieb16ec16928e6b0b2af6992fd9566cb946990dad Signed-off-by: Ludovic Courtès <ludo@gnu.org> Cayetano Santos11 days1-0/+28
* gnu: Add yosys-clang.•••* gnu/packages/fpga.scm (yosys-clang): New variable. Change-Id: Iedbd418adc152c325d106830d9d33b73f01e65da Signed-off-by: Ludovic Courtès <ludo@gnu.org> Cayetano Santos11 days1-0/+20
* 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> Cayetano Santos2024-12-221-3/+3
* gnu: nextpnr-ice40: Update to 0.7.•••* gnu/packages/fpga.scm (nextpnr-ice40): Update to 0.7. Change-Id: Ieb85d11bbadedbfe156caa0856690f0c5dbe9de4 Danny Milosavljevic2024-12-221-2/+2
* 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> Simon South2024-12-221-42/+45
* 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> Simon South2024-12-221-9/+64
* 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> Simon South2024-12-221-0/+2
* 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> Simon South2024-12-221-4/+5
* gnu: nextpnr-ice40: Use gexps.•••* gnu/packages/fpga.scm (nextpnr-ice40)[arguments]: Use gexps. Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com> Simon South2024-12-221-5/+6
* 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> Simon South2024-12-221-1/+1
* gnu: iverilog: Update home page.•••* gnu/packages/fpga.scm (iverilog) [home-page]: Add a trailing slash to please 'guix lint'. Change-Id: I89d742950f5d55f8b3ce6d221b1337242a01649f Maxim Cournoyer2024-11-121-1/+1
* 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 Maxim Cournoyer2024-11-121-11/+10
* 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 Maxim Cournoyer2024-11-121-2/+2
* gnu: yosys: Sort inputs.•••* gnu/packages/fpga.scm (yosys): Sort inputs. Change-Id: I5a4c97b84ae1e5b7f08b82858c47542fdcfd37b1 Maxim Cournoyer2024-11-121-6/+6
* 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 Maxim Cournoyer2024-11-121-2/+7
* 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> Cayetano Santos2024-11-121-3/+6
* 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> Cayetano Santos2024-11-121-0/+1
* 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 Maxim Cournoyer2024-11-121-3/+1
* 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 Cayetano Santos2024-10-311-8/+12
* 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 Cayetano Santos2024-10-201-14/+20
* 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> Cayetano Santos2024-10-161-2/+2
* 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> Cayetano Santos2024-10-151-3/+4
* 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> Cayetano Santos2024-10-141-2/+2
* gnu: fpga.scm: Sort module imports.•••* gnu/packages/fpga.scm: Sort package module imports alphabetically. Change-Id: Ic847b7e577287fd711b5258583f2a02925594df2 Efraim Flashner2024-09-101-16/+16
* gnu: verilator: Remove input labels.•••* gnu/packages/fpga.scm (verilator)[native-inputs]: Remove input labels. Change-Id: Ia3efa473b909540f972f706e24238d6dc2a2dc43 Efraim Flashner2024-09-101-10/+10
* 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 Efraim Flashner2024-09-101-14/+24
* 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 Efraim Flashner2024-09-101-8/+10
* gnu: nvc: Update to 1.11.3.•••* gnu/packages/fpga.scm (nvc): Update to 1.11.3. [inputs]: Add zstd. Change-Id: I7347a047a559c15beec75bfe5feb0b15a6cc5584 Danny Milosavljevic2024-02-101-3/+4
* gnu: nvc: Update to 1.9.2.•••* gnu/packages/fpga.scm (nvc): Update to 1.9.2. Danny Milosavljevic2023-06-261-2/+2
* 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. Tobias Geerinckx-Rice2023-02-191-4/+4
* 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> Simon South2023-02-111-28/+19
* 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> Simon South2023-02-111-7/+11
* 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> Simon South2023-02-081-18/+17
* 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> Simon South2023-02-081-62/+60
* 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> Simon South2023-02-081-2/+2
* gnu: nvc: Update to 1.8.1.•••* gnu/packages/fpga.scm (nvc): Update to 1.8.1. [inputs]: Add libffi. Danny Milosavljevic2023-02-021-3/+4
* 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> Simon South2022-12-271-10/+9
* gnu: abc: Use gexps.•••* gnu/packages/fpga.scm (abc)[arguments]: Use gexps; simplify "install" phase. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Simon South2022-12-271-10/+8
* 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> Simon South2022-12-271-2/+4
* gnu: nvc: Update to 1.7.2.•••* gnu/packages/fpga.scm (nvc): Update to 1.7.2. [inputs]: Add elfutils. [home-page]: Modify. Danny Milosavljevic2022-11-031-5/+8
* 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> jgart2022-10-111-13/+12
* gnu: Add openfpgaloader.•••* gnu/packages/fpga.scm (openfpgaloader): New variable. Danny Milosavljevic2022-09-161-1/+28
* gnu: Add fftgen.•••* gnu/packages/fpga.scm (fftgen): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Gabriel Wicki2022-09-021-0/+32
* gnu: icestorm: Update to 0.0-4.2bc5417.•••* gnu/packages/fpga.scm (icestorm): Update to commit 2bc541743ada3542c6da36a50e66303b9cbd2059. 宋文武2022-08-171-3/+3
* gnu: iverilog: Add zlib dependency for LXT dump file format support.•••* gnu/packages/fpga.scm (iverilog)[native-inputs]: Add zlib. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Christian Gelinek2022-03-311-1/+2
* gnu: iverilog: Update to 11.0.•••* gnu/packages/fpga.scm (iverilog): Update to 11.0. [arguments]: Add make-flags. Danny Milosavljevic2022-01-141-3/+6
* gnu: python-myhdl: Fix trailing whitespace in description.•••* gnu/packages/fpga.scm (python-myhdl)[description]: Fix trailing whitespace. Vagrant Cascadian2021-12-291-1/+1
* gnu: nvc: Update to 1.5.3.•••* gnu/packages/fpga.scm (nvc): Update to 1.5.3. Tobias Geerinckx-Rice2021-12-181-2/+2