mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-12-29 07:42:23 -05:00
1e6ddceb83
* 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.
920 lines
39 KiB
Scheme
920 lines
39 KiB
Scheme
;;; GNU Guix --- Functional package management for GNU
|
||
;;; Copyright © 2014, 2015, 2016, 2017, 2019-2022 Eric Bavier <bavier@posteo.net>
|
||
;;; Copyright © 2016, 2017, 2018, 2020, 2021 Efraim Flashner <efraim@flashner.co.il>
|
||
;;; Copyright © 2018, 2020 Tobias Geerinckx-Rice <me@tobias.gr>
|
||
;;; Copyright © 2018, 2019 Rutger Helling <rhelling@mykolab.com>
|
||
;;; Copyright © 2019 Pkill -9 <pkill9@runbox.com>
|
||
;;; Copyright © 2020 Vincent Legoll <vincent.legoll@gmail.com>
|
||
;;; Copyright © 2020, 2021 Morgan Smith <Morgan.J.Smith@outlook.com>
|
||
;;; Copyright © 2020 Maxim Cournoyer <maxim.cournoyer@gmail.com>
|
||
;;; Copyright © 2021 Felix Gruber <felgru@posteo.net>
|
||
;;; Copyright © 2021 Foo Chuan Wei <chuanwei.foo@hotmail.com>
|
||
;;; Copyright © 2022 Michael Rohleder <mike@rohleder.de>
|
||
;;; Copyright © 2022 Matthew James Kraai <kraai@ftbfs.org>
|
||
;;; Copyright © 2023 Andy Tai <atai@atai.org>
|
||
;;;
|
||
;;; This file is part of GNU Guix.
|
||
;;;
|
||
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
||
;;; under the terms of the GNU General Public License as published by
|
||
;;; the Free Software Foundation; either version 3 of the License, or (at
|
||
;;; your option) any later version.
|
||
;;;
|
||
;;; GNU Guix is distributed in the hope that it will be useful, but
|
||
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
;;; GNU General Public License for more details.
|
||
;;;
|
||
;;; You should have received a copy of the GNU General Public License
|
||
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
||
|
||
(define-module (gnu packages debug)
|
||
#:use-module (guix packages)
|
||
#:use-module ((guix licenses) #:prefix license:)
|
||
#:use-module (guix download)
|
||
#:use-module (guix git-download)
|
||
#:use-module (guix utils)
|
||
#:use-module (guix build-system gnu)
|
||
#:use-module (guix build-system cmake)
|
||
#:use-module (guix build-system go)
|
||
#:use-module (guix gexp)
|
||
#:use-module (gnu packages)
|
||
#:use-module (gnu packages attr)
|
||
#:use-module (gnu packages autotools)
|
||
#:use-module (gnu packages base)
|
||
#:use-module (gnu packages bash)
|
||
#:use-module (gnu packages bison)
|
||
#:use-module (gnu packages c)
|
||
#:use-module (gnu packages check)
|
||
#:use-module (gnu packages code)
|
||
#:use-module (gnu packages compression)
|
||
#:use-module (gnu packages flex)
|
||
#:use-module (gnu packages gdb)
|
||
#:use-module (gnu packages glib)
|
||
#:use-module (gnu packages gtk)
|
||
#:use-module (gnu packages golang)
|
||
#:use-module (gnu packages image)
|
||
#:use-module (gnu packages lesstif)
|
||
#:use-module (gnu packages libusb)
|
||
#:use-module (gnu packages linux)
|
||
#:use-module (gnu packages llvm)
|
||
#:use-module (gnu packages ncurses)
|
||
#:use-module (gnu packages ninja)
|
||
#:use-module (gnu packages perl)
|
||
#:use-module (gnu packages pkg-config)
|
||
#:use-module (gnu packages pretty-print)
|
||
#:use-module (gnu packages python)
|
||
#:use-module (gnu packages python-check)
|
||
#:use-module (gnu packages python-xyz)
|
||
#:use-module (gnu packages qt)
|
||
#:use-module (gnu packages readline)
|
||
#:use-module (gnu packages serialization)
|
||
#:use-module (gnu packages texinfo)
|
||
#:use-module (gnu packages virtualization)
|
||
#:use-module (gnu packages xdisorg)
|
||
#:use-module (gnu packages xorg)
|
||
#:use-module (ice-9 match)
|
||
#:use-module (srfi srfi-1))
|
||
|
||
(define-public delta
|
||
(package
|
||
(name "delta")
|
||
(version "2006.08.03")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (list
|
||
(string-append "mirror://debian/pool/main/d/delta/"
|
||
"delta_" version ".orig.tar.gz")
|
||
;; This uri seems to send guix download into an infinite loop
|
||
(string-append "http://delta.tigris.org/files/documents/3103/"
|
||
"33566/delta-" version ".tar.gz")))
|
||
(sha256
|
||
(base32
|
||
"184wh35pf2ddx97319s6sgkzpz48xxkbwzcjpycv009bm53lh61q"))))
|
||
(build-system gnu-build-system)
|
||
(inputs ;Installed programs are perl scripts
|
||
(list perl))
|
||
(arguments
|
||
`(#:phases
|
||
(modify-phases %standard-phases
|
||
(replace 'install
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
;; Makefile contains no install target
|
||
(let* ((out (assoc-ref outputs "out"))
|
||
(bin (string-append out "/bin"))
|
||
(doc (string-append out "/share/doc/delta-" ,version)))
|
||
(begin
|
||
(for-each (lambda (h)
|
||
(install-file h doc))
|
||
`("License.txt" ,@(find-files "www" ".*\\.html")))
|
||
(for-each (lambda (b)
|
||
(install-file b bin))
|
||
`("delta" "multidelta" "topformflat"))))
|
||
#t))
|
||
(delete 'configure)))) ; no configure script
|
||
(home-page "http://delta.tigris.org/")
|
||
(synopsis "Heuristical file minimizer")
|
||
(description
|
||
"Delta assists you in minimizing \"interesting\" files subject to a test
|
||
of their interestingness. A common such situation is when attempting to
|
||
isolate a small failure-inducing substring of a large input that causes your
|
||
program to exhibit a bug.")
|
||
;; See License.txt, which is a bsd-3 license, despite the project's
|
||
;; home-page pointing to a bsd-2 license.
|
||
(license license:bsd-3)))
|
||
|
||
(define-public c-reduce
|
||
(package
|
||
(name "c-reduce")
|
||
(version "2.10.0")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (list
|
||
(string-append "http://embed.cs.utah.edu/creduce/"
|
||
"creduce-" version ".tar.gz")))
|
||
(sha256
|
||
(base32 "0qx0zq8jxzx2as2zf0740g7kvgq163ayn3041di4vwk77490y76v"))))
|
||
(build-system gnu-build-system)
|
||
(native-inputs (list flex))
|
||
(inputs
|
||
`(("astyle" ,astyle)
|
||
("llvm" ,llvm-9)
|
||
("clang" ,clang-9)
|
||
("indent" ,indent)
|
||
("perl" ,perl)
|
||
("exporter-lite" ,perl-exporter-lite)
|
||
("file-which" ,perl-file-which)
|
||
("getopt-tabular" ,perl-getopt-tabular)
|
||
("regex-common" ,perl-regexp-common)
|
||
("term-readkey" ,perl-term-readkey)))
|
||
(arguments
|
||
`(#:phases
|
||
(modify-phases %standard-phases
|
||
(replace 'check
|
||
(lambda _
|
||
(with-directory-excursion "tests"
|
||
;; Running all tests can take a looong time, and tests 4 and 5
|
||
;; require frama-c or kcc. So run just one for sanity.
|
||
(invoke "./run_tests" "1"))))
|
||
(add-after 'install 'set-load-paths
|
||
(lambda* (#:key inputs outputs #:allow-other-keys)
|
||
;; Tell creduce where to find the perl modules it needs.
|
||
(let* ((out (assoc-ref outputs "out"))
|
||
(prog (string-append out "/bin/creduce")))
|
||
(wrap-program
|
||
prog
|
||
`("PERL5LIB" ":" prefix
|
||
,(map (lambda (p)
|
||
(string-append (assoc-ref inputs p)
|
||
"/lib/perl5/site_perl/"
|
||
,(package-version perl)))
|
||
'("term-readkey" "exporter-lite"
|
||
"file-which" "getopt-tabular"
|
||
"regex-common")))))
|
||
#t)))))
|
||
(home-page "https://embed.cs.utah.edu/creduce")
|
||
(synopsis "Reducer for interesting code")
|
||
(description
|
||
"C-Reduce is a tool that takes a large C or C++ program that has a
|
||
property of interest (such as triggering a compiler bug) and automatically
|
||
produces a much smaller C/C++ program that has the same property. It is
|
||
intended for use by people who discover and report bugs in compilers and other
|
||
tools that process C/C++ code.")
|
||
(license license:ncsa)))
|
||
|
||
(define-public c-vise
|
||
(package
|
||
(name "c-vise")
|
||
(version "2.4.0")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/marxin/cvise")
|
||
(commit (string-append "v" version))))
|
||
(sha256
|
||
(base32 "1i2z5q2pcwh1gpdqc24x1a2q5vzwhblzzq021nzwf304di7m18vl"))
|
||
(file-name (git-file-name name version))))
|
||
(build-system cmake-build-system)
|
||
(native-inputs
|
||
(list flex python-pytest python-pytest-flake8))
|
||
(inputs
|
||
(list bash-minimal clang llvm unifdef
|
||
python python-pebble python-psutil python-chardet))
|
||
(arguments
|
||
`(#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'fix-linkage
|
||
(lambda _
|
||
(substitute* "clang_delta/CMakeLists.txt"
|
||
(("\\$\\{LLVM_LINK_LLVM_DYLIB\\}") "True")
|
||
((" LLVM") " LLVMSupport"))))
|
||
(add-before 'build 'hardcode-paths
|
||
(lambda _
|
||
(substitute* "cvise.py"
|
||
(("/bin/bash") (which "bash"))
|
||
(("(.*)# Special case for clang-format" & >)
|
||
(string-append > "# Special case for unifdef\n"
|
||
> "programs['unifdef'] = '" (which "unifdef") "'\n"
|
||
&)))))
|
||
(add-after 'install 'wrap
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let ((out (assoc-ref outputs "out"))
|
||
(python-path (getenv "GUIX_PYTHONPATH")))
|
||
(wrap-program (string-append out "/bin/cvise")
|
||
`("PYTHONPATH" ":" prefix (,python-path)))
|
||
#t))))))
|
||
(home-page "https://github.com/marxin/cvise")
|
||
(synopsis "Reducer for interesting code")
|
||
(description
|
||
"C-Vise is a Python port of the C-Reduce tool that is fully compatible
|
||
and uses the same efficient LLVM-based C/C++ @code{clang_delta} reduction
|
||
tool.")
|
||
(license license:ncsa)))
|
||
|
||
(define-public american-fuzzy-lop
|
||
(let ((machine (match (or (%current-target-system)
|
||
(%current-system))
|
||
("x86_64-linux" "x86_64")
|
||
("i686-linux" "i386")
|
||
("aarch64-linux" "aarch64")
|
||
("armhf-linux" "arm")
|
||
("mips64el-linux" "mips64el")
|
||
("powerpc-linux" "ppc")
|
||
;; Prevent errors when querying this package on unsupported
|
||
;; platforms, e.g. when running "guix package --search="
|
||
(_ "UNSUPPORTED"))))
|
||
(package
|
||
(name "american-fuzzy-lop")
|
||
(version "2.57b") ;It seems all releases have the 'b' suffix
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/google/AFL")
|
||
(commit (string-append "v" version))))
|
||
(sha256
|
||
(base32 "0ks0s8iizp7mpc9mlpv126rsny0dkljfsw68689g9jiisjz2z530"))
|
||
(file-name (git-file-name name version))))
|
||
(build-system gnu-build-system)
|
||
(inputs
|
||
(list qemu-for-american-fuzzy-lop))
|
||
(arguments
|
||
`(#:make-flags (list (string-append "PREFIX=" (assoc-ref %outputs "out"))
|
||
(string-append "DOC_PATH=$(PREFIX)/share/doc/"
|
||
,name "-" ,version)
|
||
"CC=gcc")
|
||
#:phases (modify-phases %standard-phases
|
||
(add-after 'unpack 'make-git-checkout-writable
|
||
(lambda _
|
||
(for-each make-file-writable (find-files "."))
|
||
#t))
|
||
(delete 'configure)
|
||
,@(if (string=? (%current-system) (or "x86_64-linux"
|
||
"i686-linux"))
|
||
'()
|
||
'((add-before 'build 'set-afl-flag
|
||
(lambda _ (setenv "AFL_NO_X86" "1") #t))
|
||
(add-after 'install 'remove-x86-programs
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let* ((out (assoc-ref outputs "out"))
|
||
(bin (string-append out "/bin/")))
|
||
(delete-file (string-append bin "afl-gcc"))
|
||
(delete-file (string-append bin "afl-g++"))
|
||
(delete-file (string-append bin "afl-clang"))
|
||
(delete-file (string-append bin "afl-clang++")))
|
||
#t))))
|
||
(add-after
|
||
;; TODO: Build and install the afl-llvm tool.
|
||
'install 'install-qemu
|
||
(lambda* (#:key inputs outputs #:allow-other-keys)
|
||
(let ((qemu (assoc-ref inputs "qemu"))
|
||
(out (assoc-ref outputs "out")))
|
||
(symlink (string-append qemu "/bin/qemu-" ,machine)
|
||
(string-append out "/bin/afl-qemu-trace"))
|
||
#t)))
|
||
(delete 'check)))) ; tests are run during 'install phase
|
||
(home-page "https://lcamtuf.coredump.cx/afl/")
|
||
(synopsis "Security-oriented fuzzer")
|
||
(description
|
||
"American fuzzy lop is a security-oriented fuzzer that employs a novel
|
||
type of compile-time instrumentation and genetic algorithms to automatically
|
||
discover clean, interesting test cases that trigger new internal states in the
|
||
targeted binary. This substantially improves the functional coverage for the
|
||
fuzzed code. The compact synthesized corpora produced by the tool are also
|
||
useful for seeding other, more labor- or resource-intensive testing regimes
|
||
down the road.")
|
||
(license license:asl2.0))))
|
||
|
||
(define-public qemu-for-american-fuzzy-lop
|
||
;; afl only supports using a single afl-qemu-trace executable, so
|
||
;; we only build qemu for the native target.
|
||
(let ((machine (match (or (%current-target-system)
|
||
(%current-system))
|
||
("x86_64-linux" "x86_64")
|
||
("i686-linux" "i386")
|
||
("aarch64-linux" "aarch64")
|
||
("armhf-linux" "arm")
|
||
("mips64el-linux" "mips64el")
|
||
("powerpc-linux" "ppc")
|
||
;; Prevent errors when querying this package on unsupported
|
||
;; platforms, e.g. when running "guix package --search="
|
||
(_ "UNSUPPORTED"))))
|
||
(hidden-package
|
||
(package
|
||
(name "qemu")
|
||
(version "2.10.2")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append "https://download.qemu.org/qemu-"
|
||
version ".tar.xz"))
|
||
(sha256
|
||
(base32
|
||
"17w21spvaxaidi2am5lpsln8yjpyp2zi3s3gc6nsxj5arlgamzgw"))
|
||
(patches
|
||
(search-patches "qemu-glibc-2.27.patch"
|
||
"qemu-glibc-2.30.patch"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(;; Running tests in parallel can occasionally lead to failures, like:
|
||
;; boot_sector_test: assertion failed (signature == SIGNATURE): (0x00000000 == 0x0000dead)
|
||
#:parallel-tests? #f
|
||
#:configure-flags
|
||
(list (string-append "--target-list=" ,machine "-linux-user"))
|
||
#:make-flags '("V=1")
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(replace 'configure
|
||
(lambda* (#:key inputs outputs (configure-flags '())
|
||
#:allow-other-keys)
|
||
;; The `configure' script doesn't understand some of the
|
||
;; GNU options. Thus, add a new phase that's compatible.
|
||
(let ((out (assoc-ref outputs "out")))
|
||
(setenv "SHELL" (which "bash"))
|
||
|
||
;; While we're at it, patch for tests.
|
||
(substitute* "tests/libqtest.c"
|
||
(("/bin/sh") (which "sh")))
|
||
|
||
;; The binaries need to be linked against -lrt.
|
||
(setenv "LDFLAGS" "-lrt")
|
||
(apply invoke
|
||
`("./configure"
|
||
,(string-append "--cc=" (which "gcc"))
|
||
;; Some architectures insist on using HOST_CC
|
||
,(string-append "--host-cc=" (which "gcc"))
|
||
"--disable-debug-info" ; save build space
|
||
"--enable-virtfs" ; just to be sure
|
||
,(string-append "--prefix=" out)
|
||
,(string-append "--sysconfdir=/etc")
|
||
,@configure-flags)))))
|
||
(add-after
|
||
'unpack 'apply-afl-patches
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(let* ((afl-src (assoc-ref inputs "afl-source"))
|
||
(patch-dir "qemu_mode/patches"))
|
||
(copy-recursively (string-append afl-src "/"
|
||
patch-dir)
|
||
patch-dir)
|
||
(install-file
|
||
(string-append patch-dir
|
||
"/afl-qemu-cpu-inl.h")
|
||
".")
|
||
(copy-file (string-append afl-src "/config.h")
|
||
"./afl-config.h")
|
||
(install-file (string-append afl-src "/types.h")
|
||
".")
|
||
(substitute* "afl-qemu-cpu-inl.h"
|
||
(("\\.\\./\\.\\./config.h") "afl-config.h"))
|
||
(substitute* (string-append patch-dir
|
||
"/cpu-exec.diff")
|
||
(("\\.\\./patches/") ""))
|
||
|
||
;; These were already applied to qemu-minimal-2.10.
|
||
(for-each (lambda (obsolete-patch)
|
||
(delete-file (string-append
|
||
patch-dir "/"
|
||
obsolete-patch)))
|
||
(list "configure.diff"
|
||
"memfd.diff"))
|
||
|
||
(for-each (lambda (patch-file)
|
||
(invoke "patch" "--force" "-p1"
|
||
"--input" patch-file))
|
||
(find-files patch-dir
|
||
"\\.diff$"))
|
||
#t)))
|
||
(add-before 'check 'disable-unusable-tests
|
||
(lambda* (#:key inputs outputs #:allow-other-keys)
|
||
(substitute* "tests/Makefile.include"
|
||
;; Comment out the test-qga test, which needs /sys and
|
||
;; fails within the build environment.
|
||
(("check-unit-.* tests/test-qga" all)
|
||
(string-append "# " all)))
|
||
(substitute* "tests/Makefile.include"
|
||
;; Comment out the test-char test, which needs networking and
|
||
;; fails within the build environment.
|
||
(("check-unit-.* tests/test-char" all)
|
||
(string-append "# " all)))
|
||
#t)))))
|
||
(native-inputs
|
||
`(("python-2" ,python-2) ; QEMU 2 needs Python 2
|
||
("glib:bin" ,glib "bin")
|
||
("perl" ,perl)
|
||
("flex" ,flex)
|
||
("bison" ,bison)
|
||
("pkg-config" ,pkg-config)))
|
||
(inputs
|
||
`(("afl-source" ,(package-source american-fuzzy-lop))
|
||
("alsa-lib" ,alsa-lib)
|
||
("attr" ,attr)
|
||
("glib" ,glib)
|
||
("libaio" ,libaio)
|
||
("libattr" ,attr)
|
||
("libcap" ,libcap)
|
||
("libjpeg" ,libjpeg-turbo)
|
||
("libpng" ,libpng)
|
||
("ncurses" ,ncurses)
|
||
("pixman" ,pixman)
|
||
("util-linux" ,util-linux)
|
||
("zlib" ,zlib)))
|
||
(home-page "https://www.qemu.org")
|
||
(synopsis "Machine emulator and virtualizer (without GUI) for american fuzzy lop")
|
||
(description
|
||
"QEMU is a generic machine emulator and virtualizer. This package
|
||
of QEMU is used only by the american fuzzy lop package.
|
||
|
||
When used as a machine emulator, QEMU can run OSes and programs made for one
|
||
machine (e.g. an ARM board) on a different machine---e.g., your own PC. By
|
||
using dynamic translation, it achieves very good performance.
|
||
|
||
When used as a virtualizer, QEMU achieves near native performances by
|
||
executing the guest code directly on the host CPU. QEMU supports
|
||
virtualization when executing under the Xen hypervisor or using
|
||
the KVM kernel module in Linux. When using KVM, QEMU can virtualize x86,
|
||
server and embedded PowerPC, and S390 guests.")
|
||
;; Many files are GPLv2+, but some are GPLv2-only---e.g., `memory.c'.
|
||
(license license:gpl2)
|
||
;; Several tests fail on MIPS.
|
||
(supported-systems (delete "mips64el-linux" %supported-systems))))))
|
||
|
||
(define-public stress-make
|
||
(let ((commit "97815bed8060de33952475b3498767c91f59ffd9")
|
||
(revision "2")) ;No official source distribution
|
||
(package
|
||
(name "stress-make")
|
||
(version (git-version "1.0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/lanl/stress-make")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"0k55cy7x0hlc6rgpascl6ibhcfxaash3p9r9r8kwvbm3zag1rmac"))))
|
||
(build-system gnu-build-system)
|
||
(native-inputs
|
||
(list autoconf automake go))
|
||
(inputs
|
||
`(("make-source" ,(package-source gnu-make))))
|
||
(arguments
|
||
;; stress-make's configure script insists on having a tarball and does
|
||
;; not accept a directory name instead. To let the gnu-build-system's
|
||
;; patch-* phases work properly, we unpack the source first, then
|
||
;; repack before the configure phase.
|
||
(let ((make-dir (string-append "make-" (package-version gnu-make))))
|
||
`(#:configure-flags '("--with-make-tar=./make.tar.xz"
|
||
"make_cv_sys_gnu_glob=yes")
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'unpack-make
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(invoke "tar" "xf" (assoc-ref inputs "make-source"))))
|
||
(add-after 'unpack-make 'set-default-shell
|
||
(lambda _
|
||
;; Taken mostly directly from (@ (gnu packages base) gnu-make)
|
||
(substitute* (string-append ,make-dir "/src/job.c")
|
||
(("default_shell = .*$")
|
||
(format #f "default_shell = \"~a\";\n"
|
||
(which "sh"))))))
|
||
(add-before 'configure 'repack-make
|
||
(lambda _
|
||
(invoke "tar" "cJf" "./make.tar.xz" ,make-dir)))
|
||
(add-before 'build 'setup-go
|
||
;; The Go cache is required starting in Go 1.12, and it needs
|
||
;; to be writable.
|
||
(lambda _ (setenv "GOCACHE" "/tmp/go-cache") #t))))))
|
||
(home-page "https://github.com/lanl/stress-make")
|
||
(synopsis "Expose race conditions in Makefiles")
|
||
(description
|
||
"Stress Make is a customized GNU Make that explicitly manages the order
|
||
in which concurrent jobs are run to provoke erroneous behavior into becoming
|
||
manifest. It can run jobs in the order in which they're launched, in backwards
|
||
order, or in random order. The thought is that if code builds correctly with
|
||
Stress Make, then it is likely that the @code{Makefile} contains no race
|
||
conditions.")
|
||
;; stress-make wrapper is under BSD-3-modifications-must-be-indicated,
|
||
;; and patched GNU Make is under its own license.
|
||
(license (list (license:non-copyleft "LICENSE.md")
|
||
license:gpl3+)))))
|
||
|
||
(define-public zzuf
|
||
(package
|
||
(name "zzuf")
|
||
(version "0.15")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (string-append
|
||
"https://github.com/samhocevar/zzuf/releases/download/v"
|
||
version "/" name "-" version ".tar.gz"))
|
||
(file-name (string-append name "-" version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"1mpzjaksc2qg2hzqflf39pl06p53qam2dn3hkhkcv6p00d2n4kx3"))))
|
||
(build-system gnu-build-system)
|
||
(home-page "https://github.com/samhocevar/zzuf")
|
||
(synopsis "Transparent application input fuzzer")
|
||
(description "Zzuf is a transparent application input fuzzer. It works by
|
||
intercepting file operations and changing random bits in the program's
|
||
input. Zzuf's behaviour is deterministic, making it easy to reproduce bugs.")
|
||
(license license:wtfpl2)))
|
||
|
||
(define-public scanmem
|
||
(package
|
||
(name "scanmem")
|
||
(version "0.17")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/scanmem/scanmem")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"17p8sh0rj8yqz36ria5bp48c8523zzw3y9g8sbm2jwq7sc27i7s9"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:configure-flags '("--enable-gui")
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-before 'configure 'hardcode-python
|
||
(lambda* (#:key inputs outputs #:allow-other-keys)
|
||
(substitute* "gui/GameConqueror.py"
|
||
(("/usr/bin/env python")
|
||
(search-input-file inputs "/bin/python")))))
|
||
(add-after 'install 'wrap-gameconqueror
|
||
(lambda* (#:key inputs outputs #:allow-other-keys)
|
||
(let ((out (assoc-ref outputs "out"))
|
||
(gi-typelib-path (getenv "GI_TYPELIB_PATH"))
|
||
(python-path (getenv "GUIX_PYTHONPATH")))
|
||
(wrap-program (string-append out "/share/gameconqueror/GameConqueror.py")
|
||
`("GI_TYPELIB_PATH" ":" prefix (,gi-typelib-path))
|
||
`("GUIX_PYTHONPATH" ":" prefix (,python-path))))
|
||
#t)))))
|
||
(native-inputs
|
||
(list libtool
|
||
python-wrapper
|
||
gobject-introspection
|
||
gtk+
|
||
intltool
|
||
automake
|
||
autoconf))
|
||
(inputs
|
||
(list readline))
|
||
(propagated-inputs
|
||
(list python-pygobject))
|
||
(home-page "https://github.com/scanmem/scanmem")
|
||
(synopsis "Memory scanner")
|
||
(description "Scanmem is a debugging utility designed to isolate the
|
||
address of an arbitrary variable in an executing process. Scanmem simply
|
||
needs to be told the pid of the process and the value of the variable at
|
||
several different times. After several scans of the process, scanmem isolates
|
||
the position of the variable and allows you to modify its value.")
|
||
;; The library is covered by LGPLv3 or later; the application is covered
|
||
;; by GPLv3 or later.
|
||
(license (list license:lgpl3+ license:gpl3+))))
|
||
|
||
(define-public remake
|
||
(package (inherit gnu-make)
|
||
(name "remake")
|
||
(version "4.3-1.6")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (let ((upstream-version
|
||
(match (string-split version #\-)
|
||
((ver sub) (string-append ver "%2Bdbg-" sub)))))
|
||
(string-append "mirror://sourceforge/bashdb/"
|
||
"remake/" upstream-version "/"
|
||
"remake-" upstream-version ".tar.gz")))
|
||
(file-name (string-append "remake-" version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"11vvch8bi0yhjfz7gn92b3xmmm0cgi3qfiyhbnnj89frkhbwd87n"))
|
||
(patches (search-patches "remake-impure-dirs.patch"))))
|
||
(inputs
|
||
(modify-inputs (package-inputs gnu-make)
|
||
(prepend readline)))
|
||
(home-page "https://bashdb.sourceforge.net/remake/")
|
||
(description "Remake is an enhanced version of GNU Make that adds improved
|
||
error reporting, better tracing, profiling, and a debugger.")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public rr
|
||
(package
|
||
(name "rr")
|
||
(version "5.6.0")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/mozilla/rr")
|
||
(commit version)))
|
||
(sha256
|
||
(base32
|
||
"0sdpsd7bcbmx9gmp7lv71znzxz708wm8qxq5apbyc6hh80z4fzqz"))
|
||
(file-name (git-file-name name version))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
`(#:configure-flags
|
||
;; The 'rr_exec_stub' is a static binary, which leads CMake to fail
|
||
;; with ‘file RPATH_CHANGE could not write new RPATH: ...’.
|
||
;; Clear CMAKE_INSTALL_RPATH to avoid that problem.
|
||
(list "-DCMAKE_INSTALL_RPATH="
|
||
;; Satisfy the ‘validate-runpath’ phase. This isn't a direct
|
||
;; consequence of clearing CMAKE_INSTALL_RPATH.
|
||
(string-append "-DCMAKE_EXE_LINKER_FLAGS=-Wl,-rpath="
|
||
(assoc-ref %build-inputs "capnproto")
|
||
"/lib,-rpath=" (assoc-ref %build-inputs "zlib")
|
||
"/lib")
|
||
,@(if (and (not (%current-target-system))
|
||
(member (%current-system)
|
||
'("x86_64-linux" "aarch64-linux")))
|
||
;; The toolchain doesn't support '-m32'.
|
||
'("-Ddisable32bit=ON")
|
||
'()))
|
||
|
||
;; XXX: Most tests fail with:
|
||
;;
|
||
;; rr needs /proc/sys/kernel/perf_event_paranoid <= 1, but it is 2.
|
||
;;
|
||
;; This setting cannot be changed from the build environment, so skip
|
||
;; the tests.
|
||
#:tests? #f
|
||
|
||
#:phases (modify-phases %standard-phases
|
||
(add-before 'check 'set-home
|
||
(lambda _
|
||
;; Some tests expect 'HOME' to be set.
|
||
(setenv "HOME" (getcwd))
|
||
#t)))))
|
||
(native-inputs
|
||
(list pkg-config ninja which))
|
||
(inputs
|
||
(list gdb capnproto python python-pexpect zlib))
|
||
(home-page "https://rr-project.org/")
|
||
(synopsis "Record and reply debugging framework")
|
||
(description
|
||
"rr is a lightweight tool for recording, replaying and debugging
|
||
execution of applications (trees of processes and threads). Debugging extends
|
||
GDB with very efficient reverse-execution, which in combination with standard
|
||
GDB/x86 features like hardware data watchpoints, makes debugging much more
|
||
fun.")
|
||
(license license:expat)))
|
||
|
||
(define-public libbacktrace
|
||
;; There are no releases nor tags.
|
||
(let ((revision "1")
|
||
(commit "5009c113981431ae1843ebd29d6ad24eb32fc1b2"))
|
||
(package
|
||
(name "libbacktrace")
|
||
(version (git-version "1.0" revision commit))
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/ianlancetaylor/libbacktrace")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"0663zjpfpnsyv9h3pbp7cgmg9gz79n68bqpdl97y6i0jsx93v1zg"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:make-flags '("CFLAGS=-fPIC")))
|
||
(home-page "https://github.com/ianlancetaylor/libbacktrace")
|
||
(synopsis "C library for producing symbolic backtraces")
|
||
(description "The @code{libbacktrace} library can be linked into a C/C++
|
||
program to produce symbolic backtraces.")
|
||
(license license:bsd-3))))
|
||
|
||
(define-public libleak
|
||
(package
|
||
(name "libleak")
|
||
(version "0.3.5")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/WuBingzheng/libleak")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1p8mb0hcfp8hdv1klv6rrpkn2zlhjxgkxbbjsk8kszxv7ijln87d"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:tests? #f ;no test suite
|
||
#:parallel-build? #f ;jobserver unavailable
|
||
#:phases (modify-phases %standard-phases
|
||
(add-after 'unpack 'unbundle-libwuya
|
||
(lambda _
|
||
(substitute* "Makefile"
|
||
((".*make -C libwuya.*") ""))
|
||
#t))
|
||
(add-before 'build 'set-CC
|
||
(lambda _
|
||
(setenv "CC" "gcc")
|
||
#t))
|
||
(delete 'configure) ;no configure script
|
||
(replace 'install
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let* ((out (assoc-ref outputs "out")))
|
||
(install-file "libleak.so" (string-append out "/lib"))
|
||
#t))))))
|
||
(inputs (list libbacktrace libwuya))
|
||
(home-page "https://github.com/WuBingzheng/libleak")
|
||
(synopsis "Memory leaks detection tool")
|
||
(description "The libleak tool detects memory leaks by hooking memory
|
||
functions such as @code{malloc}. It comes as a shared object to be pre-loaded
|
||
via @code{LD_PRELOAD} when launching the application. It prints the full call
|
||
stack at suspicious memory leak points. Modifying or recompiling the target
|
||
program is not required, and the detection can be enabled or disabled while
|
||
the target application is running. The overhead incurred by libleak is
|
||
smaller than that of other tools such as Valgrind, and it aims to be easier to
|
||
use than similar tools like @command{mtrace}.")
|
||
(license license:gpl2+)))
|
||
|
||
(define-public cgdb
|
||
(package
|
||
(name "cgdb")
|
||
(version "0.8.0")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (string-append "https://cgdb.me/files/cgdb-" version ".tar.gz"))
|
||
(sha256
|
||
(base32 "1w8ib2vg3pg68d9hh97fw5042c73i9nqavdddc87n9bpscjbaf0d"))))
|
||
(build-system gnu-build-system)
|
||
(inputs
|
||
(list bash-minimal ncurses readline gdb))
|
||
(native-inputs
|
||
(list flex texinfo))
|
||
(arguments
|
||
`(#:configure-flags
|
||
(list
|
||
(string-append "ac_cv_rl_version=" ,(package-version readline))
|
||
"ac_cv_file__dev_ptmx=no"
|
||
"ac_cv_file__proc_self_status=no"
|
||
"ac_cv_func_setpgrp_void=no")
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'fix-paths
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(let ((gdb (search-input-file inputs "bin/gdb"))
|
||
(sh (search-input-file inputs "bin/sh")))
|
||
(substitute* "lib/util/fork_util.cpp"
|
||
(("GDB = \"gdb\"") (string-append "GDB = \"" gdb "\"")))
|
||
(substitute* "cgdb/cgdb.cpp" (("/bin/sh") sh))))))))
|
||
(home-page "https://cgdb.github.io")
|
||
(synopsis "Console front-end to the GNU debugger")
|
||
(description
|
||
"@code{cgdb} is a lightweight curses (terminal-based) interface to the
|
||
GNU Debugger (GDB). In addition to the standard gdb console, cgdb provides
|
||
a split screen view that displays the source code as it executes. The
|
||
keyboard interface is modeled after vim, so vim users should feel at home
|
||
using cgdb.")
|
||
(license license:gpl2+)))
|
||
|
||
(define-public mspdebug
|
||
;; Last official release was 24 July 2017
|
||
(let ((commit "4c4d94e43bc4a18ecf82070ff81cd38dd5641e3b")
|
||
(revision "0"))
|
||
(package
|
||
(name "mspdebug")
|
||
(version (git-version "0.25" revision commit))
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/dlbeer/mspdebug")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1lgw1dsc1aglyja610ichadvgs5b0df3wlarinczb0ykf431gjln"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:tests? #f ; no test suite
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(delete 'configure)) ; no configure script
|
||
#:make-flags
|
||
(list (string-append "CC=" ,(cc-for-target))
|
||
"INSTALL=install"
|
||
(string-append "PREFIX=" %output))))
|
||
(inputs
|
||
(list libusb-compat readline))
|
||
(synopsis "Debugging tool for MSP430 MCUs")
|
||
(description "MspDebug supports FET430UIF, eZ430, RF2500 and Olimex
|
||
MSP430-JTAG-TINY programmers, as well as many other compatible
|
||
devices. It can be used as a proxy for gdb or as an independent
|
||
debugger with support for programming, disassembly and reverse
|
||
engineering.")
|
||
(home-page "https://github.com/dlbeer/mspdebug")
|
||
(license license:gpl2+))))
|
||
|
||
(define-public seer-gdb
|
||
(package
|
||
(name "seer-gdb")
|
||
(version "1.14")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/epasveer/seer.git")
|
||
(commit (string-append "v" version))))
|
||
(file-name (string-append name "-" version "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"16mz1c58jf1zrgjpxmp58bx8viyidhs1qg0y8ql2f07wgyy6zx33"))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
`(#:tests? #f ; Those are strangely manual
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'chdir
|
||
(lambda _
|
||
(chdir "src"))))))
|
||
(inputs
|
||
(list qtbase-5 qtcharts))
|
||
(synopsis "GUI frontend for GDB")
|
||
(description "This package provides a frontend to GDB, the GNU debugger.")
|
||
(home-page "https://github.com/epasveer/seer")
|
||
;; Note: Some icons in src/resources are creative commons 3.0 and/or 4.0.
|
||
(license license:gpl3+)))
|
||
|
||
(define-public ddd
|
||
(package
|
||
(name "ddd")
|
||
(version "3.3.12")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append "mirror://gnu/ddd/ddd-" version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"0p5nx387857w3v2jbgvps2p6mlm0chajcdw5sfrddcglsxkwvmis"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list #:tests? #f ;tests require manual intervention
|
||
;; Avoid "friend declaration specifies default arguments and isn’t
|
||
;; a definition" errors.
|
||
#:configure-flags #~(list "CXXFLAGS=-fpermissive")))
|
||
(native-inputs
|
||
(list pkg-config))
|
||
(inputs
|
||
(list motif ncurses gdb))
|
||
(synopsis "Graphical front-end for GDB and other debuggers")
|
||
(description "GNU DDD, the Data Display Debugger, is a graphical front-end
|
||
for command-line debuggers. Many back-end debuggers are supported, notably
|
||
the GNU debugger, GDB. In addition to usual debugging features such as
|
||
viewing the source files, DDD has additional graphical, interactive features
|
||
to aid in debugging.")
|
||
(home-page "https://www.gnu.org/software/ddd/")
|
||
(license license:gpl3+)))
|
||
|
||
|
||
(define-public delve
|
||
(package
|
||
(name "delve")
|
||
(version "1.9.1")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/go-delve/delve")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"07jch3yd1pgqviyy18amn23gazbzi7l51f210c3vmc707v3vbbqr"))))
|
||
(build-system go-build-system)
|
||
(arguments
|
||
(list #:import-path "github.com/go-delve/delve/cmd/dlv"
|
||
#:unpack-path "github.com/go-delve/delve"
|
||
#:install-source? #f
|
||
#:phases #~(modify-phases %standard-phases (delete 'check))))
|
||
(propagated-inputs (list go))
|
||
(home-page "https://github.com/go-delve/delve")
|
||
(synopsis "Debugger for the Go programming language")
|
||
(description "Delve is a debugger for the Go programming language.")
|
||
(license license:expat)))
|