diff options
Diffstat (limited to 'gnu')
58 files changed, 3554 insertions, 439 deletions
diff --git a/gnu/bootloader/grub.scm b/gnu/bootloader/grub.scm index adcdbdbab0..f13685ac9d 100644 --- a/gnu/bootloader/grub.scm +++ b/gnu/bootloader/grub.scm @@ -28,7 +28,7 @@ #:use-module (gnu system uuid) #:use-module (gnu system file-systems) #:use-module (gnu system keyboard) - #:autoload (gnu packages bootloaders) (grub) + #:use-module (gnu packages bootloaders) #:autoload (gnu packages gtk) (guile-cairo guile-rsvg) #:autoload (gnu packages xorg) (xkeyboard-config) #:use-module (ice-9 match) diff --git a/gnu/build/activation.scm b/gnu/build/activation.scm index 6d69628eb2..30f5e87d5a 100644 --- a/gnu/build/activation.scm +++ b/gnu/build/activation.scm @@ -281,9 +281,13 @@ second element is the name it should appear at, such as: (define (activate-modprobe modprobe) "Tell the kernel to use MODPROBE to load modules." - (call-with-output-file "/proc/sys/kernel/modprobe" - (lambda (port) - (display modprobe port)))) + + ;; If the kernel was built without loadable module support, this file is + ;; unavailable, so check for its existence first. + (when (file-exists? "/proc/sys/kernel/modprobe") + (call-with-output-file "/proc/sys/kernel/modprobe" + (lambda (port) + (display modprobe port))))) (define (activate-firmware directory) "Tell the kernel to look for device firmware under DIRECTORY. This diff --git a/gnu/build/file-systems.scm b/gnu/build/file-systems.scm index 9299cc2e4c..ee6375515f 100644 --- a/gnu/build/file-systems.scm +++ b/gnu/build/file-systems.scm @@ -4,6 +4,7 @@ ;;; Copyright © 2017 Mathieu Othacehe <m.othacehe@gmail.com> ;;; Copyright © 2019 Guillaume Le Vaillant <glv@posteo.net> ;;; Copyright © 2019 Tobias Geerinckx-Rice <me@tobias.gr> +;;; Copyright © 2019 David C. Trudgian <dave@trudgian.net> ;;; ;;; This file is part of GNU Guix. ;;; @@ -343,6 +344,10 @@ if DEVICE does not contain a JFS file system." ;; <https://gitlab.com/cryptsetup/cryptsetup/wikis/Specification>. We follow ;; version 1.2.1 of this document. +;; The LUKS2 header format is described in "LUKS2 On-Disk Format Specification": +;; <https://gitlab.com/cryptsetup/LUKS2-docs/blob/master/luks2_doc_wip.pdf>. +;; It is a WIP document. + (define-syntax %luks-endianness ;; Endianness of LUKS headers. (identifier-syntax (endianness big))) @@ -356,12 +361,16 @@ if DEVICE does not contain a JFS file system." (let ((magic (sub-bytevector sblock 0 6)) (version (bytevector-u16-ref sblock 6 %luks-endianness))) (and (bytevector=? magic %luks-magic) - (= version 1)))) + (or (= version 1) (= version 2))))) (define (read-luks-header file) "Read a LUKS header from FILE. Return the raw header on success, and #f if not valid header was found." - ;; Size in bytes of the LUKS header, including key slots. + ;; Size in bytes of the LUKS binary header, which includes key slots in + ;; LUKS1. In LUKS2 the binary header is partially backward compatible, so + ;; that UUID can be extracted as for LUKS1. Keyslots and other metadata are + ;; not part of this header in LUKS2, but are included in the JSON metadata + ;; area that follows. (read-superblock file 0 592 luks-superblock?)) (define (luks-header-uuid header) diff --git a/gnu/installer.scm b/gnu/installer.scm index 167653263f..1676a91801 100644 --- a/gnu/installer.scm +++ b/gnu/installer.scm @@ -1,7 +1,7 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2018 Mathieu Othacehe <m.othacehe@gmail.com> ;;; Copyright © 2019 Ludovic Courtès <ludo@gnu.org> -;;; Copyright © 2019 Tobias Geerinckx-Rice <me@tobias.gr> +;;; Copyright © 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; ;;; This file is part of GNU Guix. ;;; @@ -32,6 +32,7 @@ #:use-module (gnu packages connman) #:use-module (gnu packages cryptsetup) #:use-module (gnu packages disk) + #:use-module (gnu packages file-systems) #:use-module (gnu packages guile) #:use-module (gnu packages guile-xyz) #:autoload (gnu packages gnupg) (guile-gcrypt) @@ -295,7 +296,8 @@ selected keymap." cryptsetup dosfstools ;mkfs.fat e2fsprogs ;mkfs.ext4 - btrfs-progs + btrfs-progs ;mkfs.btrfs + jfsutils ;jfs_mkfs kbd ;chvt guix ;guix system init call util-linux ;mkwap diff --git a/gnu/installer/newt/partition.scm b/gnu/installer/newt/partition.scm index 74e9473171..3cba7f77dd 100644 --- a/gnu/installer/newt/partition.scm +++ b/gnu/installer/newt/partition.scm @@ -1,6 +1,7 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2018, 2019 Mathieu Othacehe <m.othacehe@gmail.com> ;;; Copyright © 2019 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; ;;; This file is part of GNU Guix. ;;; @@ -120,7 +121,7 @@ Be careful, all data on the disk will be lost.") (run-listbox-selection-page #:info-text (G_ "Please select the file-system type for this partition.") #:title (G_ "File-system type") - #:listbox-items '(ext4 btrfs fat16 fat32 swap) + #:listbox-items '(ext4 btrfs fat16 fat32 jfs swap) #:listbox-item->text user-fs-type-name #:sort-listbox-items? #f #:button-text (G_ "Exit") diff --git a/gnu/installer/parted.scm b/gnu/installer/parted.scm index 3439f211e2..c2b02c9281 100644 --- a/gnu/installer/parted.scm +++ b/gnu/installer/parted.scm @@ -1,6 +1,7 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2018, 2019 Mathieu Othacehe <m.othacehe@gmail.com> ;;; Copyright © 2019 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; ;;; This file is part of GNU Guix. ;;; @@ -221,6 +222,7 @@ inferior to MAX-SIZE, #f otherwise." ((btrfs) "btrfs") ((fat16) "fat16") ((fat32) "fat32") + ((jfs) "jfs") ((swap) "linux-swap"))) (define (user-fs-type->mount-type fs-type) @@ -229,7 +231,8 @@ inferior to MAX-SIZE, #f otherwise." ((ext4) "ext4") ((btrfs) "btrfs") ((fat16) "fat") - ((fat32) "vfat"))) + ((fat32) "vfat") + ((jfs) "jfs"))) (define (partition-filesystem-user-type partition) "Return the filesystem type of PARTITION, to be stored in the FS-TYPE field @@ -242,6 +245,7 @@ of <user-partition> record." ((string=? name "btrfs") 'btrfs) ((string=? name "fat16") 'fat16) ((string=? name "fat32") 'fat32) + ((string=? name "jfs") 'jfs) ((or (string=? name "swsusp") (string=? name "linux-swap(v0)") (string=? name "linux-swap(v1)")) @@ -1012,7 +1016,7 @@ bit bucket." (lambda () exp ...))))) (define (create-btrfs-file-system partition) - "Create an btrfs file-system for PARTITION file-name." + "Create a btrfs file-system for PARTITION file-name." (with-null-output-ports (invoke "mkfs.btrfs" "-f" partition))) @@ -1031,6 +1035,11 @@ bit bucket." (with-null-output-ports (invoke "mkfs.fat" "-F32" partition))) +(define (create-jfs-file-system partition) + "Create a JFS file-system for PARTITION file-name." + (with-null-output-ports + (invoke "jfs_mkfs" "-f" partition))) + (define (create-swap-partition partition) "Set up swap area on PARTITION file-name." (with-null-output-ports @@ -1101,6 +1110,10 @@ NEED-FORMATING? field set to #t." (and need-formatting? (not (eq? type 'extended)) (create-fat32-file-system file-name))) + ((jfs) + (and need-formatting? + (not (eq? type 'extended)) + (create-jfs-file-system file-name))) ((swap) (create-swap-partition file-name)) (else diff --git a/gnu/local.mk b/gnu/local.mk index b2062b526c..b40cb1247b 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -7,7 +7,7 @@ # Copyright © 2016, 2017, 2018 Kei Kebreau <kkebreau@posteo.net> # Copyright © 2016, 2017 Rene Saavedra <rennes@openmailbox.org> # Copyright © 2016 Adonay "adfeno" Felipe Nogueira <https://libreplanet.org/wiki/User:Adfeno> <adfeno@openmailbox.org> -# Copyright © 2016, 2017, 2018, 2019 Ricardo Wurmus <rekado@elephly.net> +# Copyright © 2016, 2017, 2018, 2019, 2020 Ricardo Wurmus <rekado@elephly.net> # Copyright © 2016 Ben Woodcroft <donttrustben@gmail.com> # Copyright © 2016, 2017, 2018, 2019 Alex Vong <alexvong1995@gmail.com> # Copyright © 2016, 2017, 2018, 2019 Efraim Flashner <efraim@flashner.co.il> @@ -25,6 +25,7 @@ # Copyright © 2019 Jonathan Brielmaier <jonathan.brielmaier@web.de> # Copyright © 2019 Evan Straw <evan.straw99@gmail.com> # Copyright © 2019 Brett Gilio <brettg@gnu.org> +# Copyright © 2019 Amin Bandali <bandali@gnu.org> # # This file is part of GNU Guix. # @@ -228,7 +229,6 @@ GNU_SYSTEM_MODULES = \ %D%/packages/golang.scm \ %D%/packages/gperf.scm \ %D%/packages/gpodder.scm \ - %D%/packages/gprolog.scm \ %D%/packages/gps.scm \ %D%/packages/graph.scm \ %D%/packages/graphics.scm \ @@ -290,6 +290,7 @@ GNU_SYSTEM_MODULES = \ %D%/packages/key-mon.scm \ %D%/packages/kodi.scm \ %D%/packages/language.scm \ + %D%/packages/lean.scm \ %D%/packages/lego.scm \ %D%/packages/less.scm \ %D%/packages/lesstif.scm \ @@ -376,6 +377,7 @@ GNU_SYSTEM_MODULES = \ %D%/packages/onc-rpc.scm \ %D%/packages/opencl.scm \ %D%/packages/openbox.scm \ + %D%/packages/opencog.scm \ %D%/packages/openldap.scm \ %D%/packages/openstack.scm \ %D%/packages/orpheus.scm \ @@ -403,6 +405,7 @@ GNU_SYSTEM_MODULES = \ %D%/packages/popt.scm \ %D%/packages/printers.scm \ %D%/packages/profiling.scm \ + %D%/packages/prolog.scm \ %D%/packages/pth.scm \ %D%/packages/pulseaudio.scm \ %D%/packages/pumpio.scm \ @@ -1110,6 +1113,8 @@ dist_patch_DATA = \ %D%/packages/patches/libsndfile-CVE-2017-8362.patch \ %D%/packages/patches/libsndfile-CVE-2017-12562.patch \ %D%/packages/patches/libtar-CVE-2013-4420.patch \ + %D%/packages/patches/libtgvoip-disable-sse2.patch \ + %D%/packages/patches/libtgvoip-disable-webrtc.patch \ %D%/packages/patches/libtheora-config-guess.patch \ %D%/packages/patches/libtommath-fix-linkage.patch \ %D%/packages/patches/libtool-skip-tests2.patch \ @@ -1197,7 +1202,6 @@ dist_patch_DATA = \ %D%/packages/patches/netsurf-system-utf8proc.patch \ %D%/packages/patches/netsurf-y2038-tests.patch \ %D%/packages/patches/netsurf-longer-test-timeout.patch \ - %D%/packages/patches/nfs-utils-missing-headers.patch \ %D%/packages/patches/ngircd-handle-zombies.patch \ %D%/packages/patches/nm-plugin-path.patch \ %D%/packages/patches/nsis-env-passthru.patch \ diff --git a/gnu/packages.scm b/gnu/packages.scm index 959777ff8f..143469b288 100644 --- a/gnu/packages.scm +++ b/gnu/packages.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2013 Mark H Weaver <mhw@netris.org> ;;; Copyright © 2014 Eric Bavier <bavier@member.fsf.org> ;;; Copyright © 2016, 2017 Alex Kost <alezost@gmail.com> @@ -30,12 +30,12 @@ #:select ((package-name->name+version . hyphen-separated-name->name+version) mkdir-p)) - #:autoload (guix profiles) (packages->manifest) + #:use-module (guix profiles) #:use-module (guix describe) #:use-module (guix deprecation) #:use-module (ice-9 vlist) #:use-module (ice-9 match) - #:autoload (ice-9 binary-ports) (put-bytevector) + #:use-module (ice-9 binary-ports) #:autoload (system base compile) (compile) #:use-module (srfi srfi-1) #:use-module (srfi srfi-11) diff --git a/gnu/packages/astronomy.scm b/gnu/packages/astronomy.scm index a909b46d6a..3bb236fde9 100644 --- a/gnu/packages/astronomy.scm +++ b/gnu/packages/astronomy.scm @@ -1,6 +1,6 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2016 John Darrington <jmd@gnu.org> -;;; Copyright © 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr> +;;; Copyright © 2018, 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2018, 2019 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2019 by Amar Singh <nly@disroot.org> ;;; @@ -149,7 +149,7 @@ programs for the manipulation and analysis of astronomical data.") (define-public stellarium (package (name "stellarium") - (version "0.19.2") + (version "0.19.3") (source (origin (method url-fetch) @@ -157,7 +157,7 @@ programs for the manipulation and analysis of astronomical data.") "/releases/download/v" version "/stellarium-" version ".tar.gz")) (sha256 - (base32 "10b05slj5fjakrjb20m68xql68plb64mwn0165dy2fry8z2hbl74")))) + (base32 "0p92rgclag0nkic9gk3p9vclb8xx9hv4zlgyij6cyh43s7c1avhp")))) (build-system cmake-build-system) (inputs `(("qtbase" ,qtbase) diff --git a/gnu/packages/audio.scm b/gnu/packages/audio.scm index dcd4711513..55a34460b1 100644 --- a/gnu/packages/audio.scm +++ b/gnu/packages/audio.scm @@ -8,8 +8,8 @@ ;;; Copyright © 2016, 2017 Alex Griffin <a@ajgrf.com> ;;; Copyright © 2016 ng0 <ng0@n0.is> ;;; Copyright © 2016 Lukas Gradl <lgradl@openmailbox.org> -;;; Copyright © 2016, 2017, 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr> -;;; Copyright © 2018 Oleg Pykhalov <go.wigust@gmail.com> +;;; Copyright © 2016, 2017, 2018, 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr> +;;; Copyright © 2018, 2020 Oleg Pykhalov <go.wigust@gmail.com> ;;; Copyright © 2018 okapi <okapi@firemail.cc> ;;; Copyright © 2018 Maxim Cournoyer <maxim.cournoyer@gmail.com> ;;; Copyright © 2018 Clément Lassieur <clement@lassieur.org> @@ -722,6 +722,36 @@ performances. The plugins include a cellular automaton synthesizer, an envelope follower, distortion effects, tape effects and more.") (license license:gpl2+))) +(define-public swh-plugins + (package + (name "swh-plugins") + (version "0.4.17") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/swh/ladspa.git") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1c98z2xxz9pgcb4dg99gz8qrylh5cnag0j18a52d88ifsy24isvq")))) + (native-inputs + `(("autoconf" ,autoconf) + ("automake" ,automake) + ("gettext" ,gettext-minimal) ;for autopoint + ("libtool" ,libtool) + ("perl" ,perl) + ("pkg-config" ,pkg-config) + ("which" ,which))) + (inputs + `(("fftwf" ,fftwf) + ("perl-xml-parser" ,perl-xml-parser))) + (build-system gnu-build-system) + (home-page "http://plugin.org.uk") + (synopsis "The SWH Plugins package for the LADSPA plugin system") + (description "This package provides Steve Harris's LADSPA plugins.") + (license license:gpl2+))) + (define-public swh-plugins-lv2 (package (name "swh-plugins-lv2") @@ -2733,7 +2763,7 @@ Tracker 3 S3M and Impulse Tracker IT files.") (define-public soundtouch (package (name "soundtouch") - (version "2.1.1") + (version "2.1.2") (source (origin (method git-fetch) @@ -2742,7 +2772,7 @@ Tracker 3 S3M and Impulse Tracker IT files.") (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "0p6jzgfgqw061702dmd2b6r4arz48ac3mmx2qkvvzf8s5jjzykdh")))) + (base32 "174wgm3s0inmbnkrlnspxjwm2014qhjhkbdqa5r8rbfi0nzqxzsz")))) (build-system gnu-build-system) (native-inputs `(("autoconf" ,autoconf) diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm index 21b32a1ab1..28ba16fb4b 100644 --- a/gnu/packages/bootloaders.scm +++ b/gnu/packages/bootloaders.scm @@ -10,6 +10,7 @@ ;;; Copyright © 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2019 nee <nee@cock.li> ;;; Copyright © 2019 Mathieu Othacehe <m.othacehe@gmail.com> +;;; Copyright © 2020 Björn Höfling <bjoern.hoefling@bjoernhoefling.de> ;;; ;;; This file is part of GNU Guix. ;;; @@ -376,7 +377,7 @@ menu to select one of the installed operating systems.") ("swig" ,swig) ("valgrind" ,valgrind))) (inputs - `(("python-2" ,python-2))) + `(("python" ,python))) (arguments `(#:make-flags (list "CC=gcc" diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index fa65104dfb..9de658e790 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -16,7 +16,7 @@ ;;; Copyright © 2016 Troy Sankey <sankeytms@gmail.com> ;;; Copyright © 2016 Lukas Gradl <lgradl@openmailbox.org> ;;; Copyright © 2016 Hartmut Goebel <h.goebel@crazy-compilers.com> -;;; Copyright © 2016, 2017, 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr> +;;; Copyright © 2016, 2017, 2018, 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2017 Julien Lepiller <julien@lepiller.eu> ;;; Copyright © 2017 Thomas Danckaert <post@thomasdanckaert.be> ;;; Copyright © 2017, 2018 Arun Isaac <arunisaac@systemreboot.net> @@ -310,7 +310,7 @@ format.") (define-public cppcheck (package (name "cppcheck") - (version "1.89") + (version "1.90") (source (origin (method git-fetch) (uri (git-reference @@ -318,7 +318,7 @@ format.") (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "07yn1zycsb7sn1v7fprihbl0ih4n2zkd7l9jvmkjcskvwn4n21h0")))) + (base32 "0h7ir2x0k005fm586dxmaphgv5cyz25k3k4sh02p7zb78gzx398h")))) (build-system cmake-build-system) (arguments '(#:configure-flags '("-DBUILD_TESTS=ON"))) @@ -379,7 +379,7 @@ and it supports a very flexible form of test discovery.") (define-public doctest (package (name "doctest") - (version "2.3.5") + (version "2.3.6") (home-page "https://github.com/onqtam/doctest") (source (origin (method git-fetch) @@ -387,7 +387,7 @@ and it supports a very flexible form of test discovery.") (file-name (git-file-name name version)) (sha256 (base32 - "0rddlzhnv0f5036q0m0p019pismka7sx6x8cnzk65sk77b1dsbhg")))) + "070gkwffi73i2p0azga9yxj8km32bp8bw4jvkvz1vzlpavyii5kn")))) (build-system cmake-build-system) (synopsis "C++ test framework") (description diff --git a/gnu/packages/compression.scm b/gnu/packages/compression.scm index cf23e88547..cb73dcec75 100644 --- a/gnu/packages/compression.scm +++ b/gnu/packages/compression.scm @@ -10,7 +10,7 @@ ;;; Copyright © 2015, 2016, 2017, 2018, 2019 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2016 Ben Woodcroft <donttrustben@gmail.com> ;;; Copyright © 2016 Danny Milosavljevic <dannym@scratchpost.org> -;;; Copyright © 2016, 2017, 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr> +;;; Copyright © 2016, 2017, 2018, 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2016 David Craven <david@craven.ch> ;;; Copyright © 2016, 2019 Kei Kebreau <kkebreau@posteo.net> ;;; Copyright © 2016, 2018, 2019 Marius Bakke <mbakke@fastmail.com> @@ -2091,7 +2091,7 @@ possibly untrusted extraction shell script.") (define-public ncompress (package (name "ncompress") - (version "4.2.4.5") + (version "4.2.4.6") (source (origin (method git-fetch) (uri (git-reference @@ -2101,7 +2101,7 @@ possibly untrusted extraction shell script.") (file-name (string-append name "-" version ".tar.gz")) (sha256 (base32 - "0s3ik7k5a5vzcfiayhsxrc87drg3l425aqapspmw5py91b9jhc8r")))) + "1a4yir1ilafz0nzxdwigj204j4yy2zljbc501nsaqqm3dxdap8zn")))) (arguments '(#:make-flags (list "CC=gcc" (string-append "BINDIR=" %output "/bin") diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 7b2cdfec5d..0bb9ce7c4a 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -2,6 +2,7 @@ ;;; Copyright © 2018 Julien Lepiller <julien@lepiller.eu> ;;; Copyright © 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2019 Dan Frumin <dfrumin@cs.ru.nl> +;;; Copyright © 2020 Brett Gilio <brettg@gnu.org> ;;; ;;; This file is part of GNU Guix. ;;; @@ -20,6 +21,7 @@ (define-module (gnu packages coq) #:use-module (gnu packages) + #:use-module (gnu packages autotools) #:use-module (gnu packages base) #:use-module (gnu packages bison) #:use-module (gnu packages boost) @@ -43,7 +45,7 @@ (define-public coq (package (name "coq") - (version "8.9.1") + (version "8.10.2") (source (origin (method git-fetch) @@ -52,7 +54,8 @@ (commit (string-append "V" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "1p4z967s18wkblayv12ygqsrqlyk5ax1pz40yf4kag8pva6gblhk")))) + (base32 + "0ji2rzd70b3hcwfw97qk7rv3m2977ylqnq82l1555dp3njr8nm3q")))) (native-search-paths (list (search-path-specification (variable "COQPATH") @@ -60,7 +63,7 @@ (build-system ocaml-build-system) (outputs '("out" "ide")) (inputs - `(("lablgtk" ,lablgtk) + `(("lablgtk" ,lablgtk3) ("python" ,python-2) ("camlp5" ,camlp5) ("ocaml-num" ,ocaml-num))) @@ -73,13 +76,6 @@ (lambda _ (for-each make-file-writable (find-files ".")) #t)) - (add-after 'unpack 'remove-lablgtk-references - (lambda _ - ;; This is not used anywhere, but creates a reference to lablgtk in - ;; every binary - (substitute* '("config/coq_config.mli" "configure.ml") - ((".*coqideincl.*") "")) - #t)) (replace 'configure (lambda* (#:key outputs #:allow-other-keys) (let* ((out (assoc-ref outputs "out")) @@ -100,8 +96,8 @@ (lambda* (#:key outputs #:allow-other-keys) (let* ((out (assoc-ref outputs "out")) (bin (string-append out "/bin"))) - ;; These are exact copies of the version without the .opt suffix. - ;; Remove them to save 35 MiB in the result + ;; These files are exact copies without `.opt` extension. + ;; Removing these saves 35 MiB in the resulting package. (delete-file (string-append bin "/coqtop.opt")) (delete-file (string-append bin "/coqidetop.opt"))) #t)) @@ -117,9 +113,9 @@ (lambda _ (with-directory-excursion "test-suite" ;; These two tests fail. - ;; This one fails because the output is not formatted as expected. + ;; Fails because the output is not formatted as expected. (delete-file-recursively "coq-makefile/timing") - ;; This one fails because we didn't build coqtop.byte. + ;; Fails because we didn't build coqtop.byte. (delete-file-recursively "coq-makefile/findlib-package") (invoke "make"))))))) (home-page "https://coq.inria.fr") @@ -128,7 +124,7 @@ "Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.") - ;; The code is distributed under lgpl2.1. + ;; The source code is distributed under lgpl2.1. ;; Some of the documentation is distributed under opl1.0+. (license (list license:lgpl2.1 license:opl1.0+)))) @@ -212,18 +208,22 @@ provers.") (define-public coq-flocq (package (name "coq-flocq") - (version "3.1.0") - (source (origin - (method url-fetch) - ;; Use the ‘Latest version’ link for a stable URI across releases. - (uri (string-append "https://gforge.inria.fr/frs/download.php/" - "file/37901/flocq-" version ".tar.gz")) - (sha256 - (base32 - "02szrgz9m0ac51la1lqpiv6i2g0zbgx9gz5rp0q1g00ajldyna5c")))) + (version "3.2.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://gitlab.inria.fr/flocq/flocq.git") + (commit (string-append "flocq-" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "15bi36x7zj0glsb3s2gwqd4wswhfzh36rbp7imbyff53a7nna95l")))) (build-system gnu-build-system) (native-inputs - `(("ocaml" ,ocaml) + `(("autoconf" ,autoconf) + ("automake" ,automake) + ("ocaml" ,ocaml) ("which" ,which) ("coq" ,coq))) (arguments @@ -232,6 +232,12 @@ provers.") "/lib/coq/user-contrib/Flocq")) #:phases (modify-phases %standard-phases + (add-after 'unpack 'remove-failing-examples + (lambda _ + (substitute* "Remakefile.in" + ;; Fails on a union error. + (("Double_rounding_odd_radix.v") "")) + #t)) (add-before 'configure 'fix-remake (lambda _ (substitute* "remake.cpp" @@ -248,7 +254,7 @@ provers.") (replace 'install (lambda _ (invoke "./remake" "install")))))) - (home-page "http://flocq.gforge.inria.fr/") + (home-page "https://flocq.gforge.inria.fr/") (synopsis "Floating-point formalization for the Coq system") (description "Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix @@ -259,25 +265,33 @@ inside Coq.") (define-public coq-gappa (package (name "coq-gappa") - (version "1.3.4") - (source (origin - (method url-fetch) - (uri (string-append "https://gforge.inria.fr/frs/download.php/file/37918/gappa-" - version ".tar.gz")) - (sha256 - (base32 - "1wdg07dk4lbq7dr80ywzna0lclwgi8bddzc6yfx19z1zn9yljzxh")))) + (version "1.4.2") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://gitlab.inria.fr/gappa/coq.git") + (commit (string-append "gappalib-coq-" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0r7jwp5xssdfzivs2flp7mzrscqhgl63mryhhf1cvndpgzqwfk2f")))) (build-system gnu-build-system) (native-inputs - `(("ocaml" ,ocaml) + `(("autoconf" ,autoconf) + ("automake" ,automake) + ("ocaml" ,ocaml) ("which" ,which) ("coq" ,coq) + ("camlp5" ,camlp5) ("bison" ,bison) ("flex" ,flex))) (inputs `(("gmp" ,gmp) ("mpfr" ,mpfr) ("boost" ,boost))) + (propagated-inputs + `(("coq-flocq" ,coq-flocq))) (arguments `(#:configure-flags (list (string-append "--libdir=" (assoc-ref %outputs "out") @@ -291,11 +305,13 @@ inside Coq.") #t)) (replace 'build (lambda _ (invoke "./remake"))) - (replace 'check - (lambda _ (invoke "./remake" "check"))) + ;; FIXME: Figure out why failures occur, and re-enable check phase. + (delete 'check) + ;; (replace 'check + ;; (lambda _ (invoke "./remake" "check"))) (replace 'install (lambda _ (invoke "./remake" "install")))))) - (home-page "http://gappa.gforge.inria.fr/") + (home-page "https://gappa.gforge.inria.fr/") (synopsis "Verify and formally prove properties on numerical programs") (description "Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point @@ -309,7 +325,7 @@ assistant.") (define-public coq-mathcomp (package (name "coq-mathcomp") - (version "1.8.0") + (version "1.10.0") (source (origin (method git-fetch) @@ -318,14 +334,14 @@ assistant.") (commit (string-append "mathcomp-" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "1sdrw3b6lc8crz02lp90a863rvyzhc9vcfsrdvc9m311yiaad4xv")))) + (base32 "1h5h1c2025r1ms5qryvwy6pikxmpmmjav6yl127xpzmqdi6w732d")))) (build-system gnu-build-system) (native-inputs `(("ocaml" ,ocaml) ("which" ,which) ("coq" ,coq))) (arguments - `(#:tests? #f ; no need to test formally-verified programs :) + `(#:tests? #f ; No tests. #:phases (modify-phases %standard-phases (delete 'configure) @@ -333,7 +349,6 @@ assistant.") (lambda _ (chdir "mathcomp") #t)) (replace 'install (lambda* (#:key outputs #:allow-other-keys) - (setenv "COQLIB" (string-append (assoc-ref outputs "out") "/lib/coq/")) (invoke "make" "-f" "Makefile.coq" (string-append "COQLIB=" (assoc-ref outputs "out") "/lib/coq/") @@ -352,17 +367,22 @@ part of the distribution.") (define-public coq-coquelicot (package (name "coq-coquelicot") - (version "3.0.2") - (source (origin - (method url-fetch) - (uri (string-append "https://gforge.inria.fr/frs/download.php/" - "file/37523/coquelicot-" version ".tar.gz")) - (sha256 - (base32 - "1biia7nfqf7vaqq5gmykl4rwjyvrcwss6r2jdf0in5pvp2rnrj2w")))) + (version "3.0.3") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://gitlab.inria.fr/coquelicot/coquelicot.git") + (commit (string-append "coquelicot-" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0m5wbr2s8lnf8b7cfwv15hyzsmbcaz6hgdn7aazcrkxnwr87vgkp")))) (build-system gnu-build-system) (native-inputs - `(("ocaml" ,ocaml) + `(("autoconf" ,autoconf) + ("automake" ,automake) + ("ocaml" ,ocaml) ("which" ,which) ("coq" ,coq))) (propagated-inputs @@ -384,7 +404,7 @@ part of the distribution.") (lambda _ (invoke "./remake" "check"))) (replace 'install (lambda _ (invoke "./remake" "install")))))) - (home-page "http://coquelicot.saclay.inria.fr/index.html") + (home-page "http://coquelicot.saclay.inria.fr") (synopsis "Coq library for Reals") (description "Coquelicot is an easier way of writing formulas and theorem statements, achieved by relying on total functions in place of dependent types @@ -433,17 +453,22 @@ provides BigN, BigZ, BigQ that used to be part of Coq standard library.") (define-public coq-interval (package (name "coq-interval") - (version "3.4.0") - (source (origin - (method url-fetch) - (uri (string-append "https://gforge.inria.fr/frs/download.php/" - "file/37524/interval-" version ".tar.gz")) - (sha256 - (base32 - "023j9sd64brqvjdidqkn5m8d7a93zd9r86ggh573z9nkjm2m7vvg")))) + (version "3.4.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://gitlab.inria.fr/coqinterval/interval.git") + (commit (string-append "interval-" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "03q3dfqi3r3f7aji5s06ig4aav9ajcwswwdzi5lrgr69z0m487k4")))) (build-system gnu-build-system) (native-inputs - `(("ocaml" ,ocaml) + `(("autoconf" ,autoconf) + ("automake" ,automake) + ("ocaml" ,ocaml) ("which" ,which) ("coq" ,coq))) (propagated-inputs @@ -524,16 +549,16 @@ uses Ltac to synthesize the substitution operation.") (define-public coq-equations (package (name "coq-equations") - (version "1.2") + (version "1.2.1") (source (origin (method git-fetch) (uri (git-reference (url "https://github.com/mattam82/Coq-Equations.git") - (commit (string-append "v" version "-8.9")))) + (commit (string-append "v" version "-8.10")))) (file-name (git-file-name name version)) (sha256 (base32 - "1q3wvicr43bgy7xn1diwh4j43mnrhprrc2xd22qlbz9cl6bhf8bj")))) + "023q5dww3drw35dm9bi9p9d0wrj9k7vax7hfdsprf8l340pb4s0k")))) (build-system gnu-build-system) (native-inputs `(("ocaml" ,ocaml) @@ -545,10 +570,9 @@ uses Ltac to synthesize the substitution operation.") (modify-phases %standard-phases (replace 'configure (lambda* (#:key outputs #:allow-other-keys) - (invoke "coq_makefile" "-f" "_CoqProject" "-o" "Makefile"))) + (invoke "sh" "./configure.sh"))) (replace 'install (lambda* (#:key outputs #:allow-other-keys) - (setenv "COQLIB" (string-append (assoc-ref outputs "out") "/lib/coq/")) (invoke "make" (string-append "COQLIB=" (assoc-ref outputs "out") "/lib/coq/") diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 37a34fe236..067aee230c 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -3674,6 +3674,35 @@ front-ends. Company comes with many back-ends, e.g. @code{company-elisp}. These are distributed in separate files and can be used individually.") (license license:gpl3+))) +(define-public emacs-company-posframe + (let ((version "0.1.0") + (revision "1") + (commit "67d899502384fb9ab2870aba0af41523dea7b64f")) + (package + (name "emacs-company-posframe") + (version (git-version version revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/tumashu/company-posframe.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "051smlvz1siwglsd9k9l0m20mygrx4niflmyshha0064287aysxr")))) + (build-system emacs-build-system) + (propagated-inputs + `(("emacs-company" ,emacs-company) + ("emacs-posframe" ,emacs-posframe))) + (home-page "https://github.com/tumashu/company-posframe") + (synopsis "Use a posframe for @code{emacs-company}'s candidate menu") + (description + "Allows @code{emacs-company} to use child frames for its candidate menus. + +@code{emacs-company-posframe} is fast enough for daily use and supports CJK +languages.") + (license license:gpl3+)))) + (define-public emacs-irony-mode (package (name "emacs-irony-mode") @@ -5323,7 +5352,7 @@ parallel.") (define-public emacs-request (package (name "emacs-request") - (version "0.3.1") + (version "0.3.2") (source (origin (method git-fetch) (uri (git-reference @@ -5332,8 +5361,10 @@ parallel.") (file-name (git-file-name name version)) (sha256 (base32 - "0fhhd349l4iqkrjxqzpckfk2w45x2g4cccpm1dqzv9m49md1wphx")))) + "1djywhvvb6kwdj0nd3axjvb7k2g06dzkc6hsf29w9rsk96vr8ryl")))) (build-system emacs-build-system) + (arguments + `(#:tests? #f)) ; requires network access. (propagated-inputs `(("emacs-deferred" ,emacs-deferred))) (home-page "https://github.com/tkf/emacs-request") @@ -6540,7 +6571,7 @@ functions to assist in reviewing changes on files.") (define-public emacs-pyvenv (package (name "emacs-pyvenv") - (version "1.20") + (version "1.21") (source (origin (method git-fetch) (uri (git-reference @@ -6549,7 +6580,7 @@ functions to assist in reviewing changes on files.") (file-name (git-file-name name version)) (sha256 (base32 - "1x052fsavb94x3scpqd6n9spqgzaahzbdxhg4qa5sy6hqsabn6zh")))) + "055sgk8zf4wb5nqsf3qasf5gg861zlb1831733f1qcrd2ij5gzxx")))) (build-system emacs-build-system) (arguments `(#:phases @@ -17726,6 +17757,154 @@ experience by providing optional integration with other popular Emacs packages like @code{company}, @code{flycheck}, and @code{projectile}.") (license license:gpl3+))) +(define-public emacs-pfuture + (let ((commit "368254ee30692c709400db413c347e18e76a8a55")) + (package + (name "emacs-pfuture") + (version (git-version "1.6" "1" commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/Alexander-Miller/pfuture.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "096raqpjx84njws85r7pqq1wi9w9bjwkr0ga1mbbhlna1mfn3mg4")))) + (build-system emacs-build-system) + (home-page + "https://github.com/Alexander-Miller/pfuture") + (synopsis "Simple wrapper around asynchronous processes for Emacs") + (description "This package provides a simple wrapper around asynchronous +processes for Emacs") + (license license:gpl3+)))) + +(define-public emacs-treemacs + (package + (name "emacs-treemacs") + (version "2.6") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/Alexander-Miller/treemacs.git") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "13gs8g05xj7np3i2q3bbxg6zgdiazzn1spxii4x0cyd4pg83c0i1")))) + (build-system emacs-build-system) + (propagated-inputs + `(("emacs-dash" ,emacs-dash) + ("emacs-s" ,emacs-s) + ("emacs-f" ,emacs-f) + ("emacs-ace-window" ,emacs-ace-window) + ("emacs-pfuture" ,emacs-pfuture) + ("emacs-hydra" ,emacs-hydra) + ("emacs-ht" ,emacs-ht))) + (native-inputs + `(("emacs-buttercup" ,emacs-buttercup) + ("emacs-el-mock" ,emacs-el-mock))) + (inputs + `(("python" ,python))) + (arguments + `(#:tests? #t ;TODO: Investigate ‘treemacs--parse-collapsed-dirs’ test failure. + #:phases + (modify-phases %standard-phases + (add-after 'unpack 'fix-makefile + (lambda _ + (substitute* "Makefile" + (("@\\$\\(CASK\\) exec ") "")) + #t)) + (add-after 'fix-makefile 'chdir-elisp + ;; Elisp directory is not in root of the source. + (lambda _ + (chdir "src/elisp"))) + (replace 'check + (lambda _ + (with-directory-excursion "../.." ;treemacs root + (chmod "test/test-treemacs.el" #o644) + (emacs-substitute-sexps "test/test-treemacs.el" + ("(describe \"treemacs--parse-collapsed-dirs\"" + "")) + (invoke "make" "test")))) + (add-before 'install 'patch-paths + (lambda* (#:key inputs outputs #:allow-other-keys) + (with-directory-excursion "../.." ;treemacs root + (chmod "src/elisp/treemacs-core-utils.el" #o644) + (emacs-substitute-variables "src/elisp/treemacs-core-utils.el" + ("treemacs-dir" + (string-append (assoc-ref outputs "out") "/"))) + (chmod "src/elisp/treemacs-icons.el" #o644) + (substitute* "src/elisp/treemacs-icons.el" + (("icons/default") "share/emacs-treemacs/images")) + (chmod "src/elisp/treemacs-customization.el" #o644) + (emacs-substitute-variables "src/elisp/treemacs-customization.el" + ("treemacs-python-executable" + (string-append (assoc-ref inputs "python") "/bin/python3"))) + (chmod "src/elisp/treemacs-async.el" #o644) + (substitute* "src/elisp/treemacs-async.el" + (("src/scripts") (string-append "share/" ,name "/scripts")))) + #t)) + (add-after 'install 'install-data + (lambda* (#:key outputs #:allow-other-keys) + (let ((images (string-append (assoc-ref outputs "out") + "/share/" ,name "/images"))) + (with-directory-excursion "../.." ;treemacs root + (copy-recursively "icons/default" images) + (copy-recursively "src/scripts" + (string-append (assoc-ref outputs "out") + "/share/" ,name "/scripts")) + #t))))))) + (home-page "https://github.com/Alexander-Miller/treemacs") + (synopsis "Emacs tree style file explorer") + (description "Powerful and flexible file tree project explorer.") + (license license:gpl3+))) + +(define-public emacs-treemacs-extra + (package + (inherit emacs-treemacs) + (name "emacs-treemacs-extra") + (propagated-inputs + `(,@(package-propagated-inputs emacs-treemacs) + ("emacs-evil" ,emacs-evil) + ("emacs-magit" ,emacs-magit) + ("emacs-projectile" ,emacs-projectile))) + (arguments + (substitute-keyword-arguments + (package-arguments emacs-treemacs) + ((#:phases phases) + `(modify-phases ,phases + (add-after 'chdir-elisp 'copy-extra + (lambda _ + (copy-recursively "../extra" "."))))))))) + +(define-public emacs-lsp-java + (package + (name "emacs-lsp-java") + (version "2.2") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/emacs-lsp/lsp-java.git") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0hcnvbyaqyypgby1bfj4zbrbq97amk8hfx0sj4w73rl46yf4jk3j")))) + (build-system emacs-build-system) + (propagated-inputs + `(("emacs-lsp-mode" ,emacs-lsp-mode) + ("emacs-markdown-mode" ,emacs-markdown-mode) + ("emacs-dash" ,emacs-dash) + ("emacs-f" ,emacs-f) + ("emacs-ht" ,emacs-ht) + ("emacs-request" ,emacs-request) + ("emacs-treemacs" ,emacs-treemacs))) + (home-page "https://github.com/emacs-lsp/lsp-java/") + (synopsis "Java support for lsp-mode") + (description "Emacs Java IDE using Eclipse JDT Language Server.") + (license license:gpl3+))) + (define-public emacs-lsp-ui (package (name "emacs-lsp-ui") @@ -17753,6 +17932,29 @@ like @code{company}, @code{flycheck}, and @code{projectile}.") and code peeking.") (license license:gpl3+))) +(define-public emacs-lsp-lua-emmy + (let ((commit "ab53fb2a8b8942804eb75bab5624fd19f1d360bf")) + (package + (name "emacs-lsp-lua-emmy") + (version (git-version "0.1.0" "1" commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/phenix3443/lsp-lua-emmy.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0rbizis73n1w5ig07fj1han74chbc1zpbp5bn37rj0gz608aqka8")))) + (build-system emacs-build-system) + (propagated-inputs + `(("emacs-lsp-mode" ,emacs-lsp-mode))) + (home-page "https://github.com/phenix3443/lsp-lua-emmy/") + (synopsis "Lua support in @code{lsp-mode} client for Emacs") + (description "This package provides a Lua language support in +@code{lsp-mode} client for Emacs.") + (license license:gpl3+)))) + (define-public emacs-lsp-ivy (let ((commit "caf1e1d7e22ed0b5fe18dd508d1a6f83dd163288") (revision "2")) @@ -19853,6 +20055,10 @@ contrast and few colors.") ;; files. In order to cope with this issue, we disable ;; byte-compilation until this issue is resolved. ;; <https://github.com/hlissner/emacs-doom-themes/issues/314> + ;; + ;; NOTE: Byte-comp has been disabled in/after commit 9cd6872. + ;; However our method of selective disabling is preferential to + ;; just widely disabling byte-compilation. (add-after 'move-themes 'disable-breaking-compilation (lambda _ (for-each (lambda (file) @@ -20657,3 +20863,89 @@ buffer. It can be used to toggle an alternative mode-line, toggle its visibilit or simply disable the mode-line in buffers where it is not very useful.") (home-page "https://github.com/hlissner/emacs-hide-mode-line") (license license:expat))) + +(define-public emacs-helm-cider + ;; No new release since March 2018. + (let ((commit "9363cc537f06233345aa3af5cd46aa5681ad607b")) + (package + (name "emacs-helm-cider") + (version (git-version "0.4.0" "1" commit)) + (home-page "https://github.com/clojure-emacs/helm-cider") + (source (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0vfn4smqba1vsshz48ggkj8gs94la0sxb1sq4shrb41qj2x3dci7")))) + (build-system emacs-build-system) + (propagated-inputs + `(("emacs-helm" ,emacs-helm) + ("emacs-cider" ,emacs-cider))) + (synopsis "Helm interface to Clojure's CIDER") + (description "Helm-CIDER adds Helm interfaces to +@command{cider-apropos}, @command{cider-apropos-documentation}, +@command{cider-browse-ns} (namespaces). + +It also provides original Helm commands: @command{helm-cider-spec}, +@command{helm-cider-spec-ns}, @command{helm-cider-repl-history}, +@command{helm-cider-cheatsheet}.") + (license license:gpl3+)))) + +(define-public emacs-edn + ;; No release since February 2016 + (let ((commit "be9e32d1b49e35247b263b0243df7cfdc8d413ab")) + (package + (name "emacs-edn") + (version (git-version "1.1.2" "1" commit)) + (home-page "https://github.com/expez/edn.el") + (source (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1xp2hjhn52k6l1g6ypva6dsklpawni7gvjafbz6404f9dyxflh7l")))) + (build-system emacs-build-system) + (propagated-inputs + `(("emacs-peg" ,emacs-peg))) + (synopsis "Read and write EDN from Elisp") + (description "This is an Emacs Lisp library for reading and writing the +data format @code{edn}. See @url{https://github.com/edn-format/edn}.") + (license license:gpl3+)))) + +(define-public emacs-helm-clojuredocs + (let ((commit "5a7f0f2cb401be0b09e73262a1c18265ab9a3cea")) + (package + (name "emacs-helm-clojuredocs") + (version (git-version "0.3" "1" commit)) + (home-page "https://github.com/mbuczko/helm-clojuredocs") + (source (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "015b8zxh91ljhqvn6z43gy08di54xcw9skw0i7frj3d7gk984qhl")))) + (build-system emacs-build-system) + (propagated-inputs + `(("emacs-helm" ,emacs-helm) + ("emacs-edn" ,emacs-edn))) + (synopsis "Search help on clojuredocs.org with Helm") + (description "This packages provides a Helm interface to lookup Clojure +documentation on @url{https://clojuredocs.org} with Helm. + +Two function are exposed: +@itemize +@item @command{helm-clojuredocs}: opens a Helm session with no initial +pattern. Searching starts with minimal 3 characters entered. +@item @command{helm-clojuredocs-at-point}: opens a Helm session with initial +pattern guessed from thing under current cursor position. +@end itemize\n") + (license license:gpl3+)))) diff --git a/gnu/packages/game-development.scm b/gnu/packages/game-development.scm index cfe271075a..7aef6b09d2 100644 --- a/gnu/packages/game-development.scm +++ b/gnu/packages/game-development.scm @@ -17,6 +17,7 @@ ;;; Copyright © 2019 Pierre Neidhardt <mail@ambrevar.xyz> ;;; Copyright © 2019 Leo Prikler <leo.prikler@student.tugraz.at> ;;; Copyright © 2019 Jethro Cao <jethrocao@gmail.com> +;;; Copyright © 2020 Nicolas Goaziou <mail@nicolasgoaziou.fr> ;;; ;;; This file is part of GNU Guix. ;;; @@ -82,6 +83,7 @@ #:use-module (gnu packages python-xyz) #:use-module (gnu packages qt) #:use-module (gnu packages sdl) + #:use-module (gnu packages sphinx) #:use-module (gnu packages stb) #:use-module (gnu packages texinfo) #:use-module (gnu packages tls) @@ -1956,3 +1958,74 @@ focuses solely on developing a fully accurate XNA4 runtime for the desktop.") license:lgpl2.1 ; LzxDecoder.cs ;; Mono.Xna: license:expat)))) + +(define-public libccd + (package + (name "libccd") + (version "2.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/danfis/libccd.git") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0sfmn5pd7k5kyhbxnd689xmsa5v843r7sska96dlysqpljd691jc")))) + (build-system cmake-build-system) + (arguments + `(#:configure-flags '("-DBUILD_DOCUMENTATION=ON" + "-DBUILD_TESTING=ON" + "-DENABLE_DOUBLE_PRECISION=ON"))) + (native-inputs + `(("python-sphinx" ,python-sphinx))) + (home-page "https://github.com/danfis/libccd") + (synopsis "Library for collision detection between two convex shapes") + (description "@code{libccd} is library for a collision detection +between two convex shapes. @code{libccd} implements variation on +Gilbert–Johnson–Keerthi algorithm plus Expand Polytope Algorithm (EPA) +and also implements algorithm Minkowski Portal Refinement (MPR, +a.k.a. XenoCollide) as described in Game Programming Gems 7.") + (license license:expat))) + +(define-public ode + (package + (name "ode") + (version "0.16") + (source + (origin + (method url-fetch) + (uri (string-append "https://bitbucket.org/odedevs/ode/downloads/" + "ode-" version ".tar.gz")) + (sha256 + (base32 "09xzrarxwxcf6rdv5jsjfjh454jnn29dpcw3wh6ic50kkipvg8sb")) + (modules '((guix build utils))) + (snippet + '(begin + (delete-file-recursively "libccd") + #t)))) + (build-system cmake-build-system) + (arguments + `(#:configure-flags '("-DODE_WITH_LIBCCD_SYSTEM=ON") + #:phases + (modify-phases %standard-phases + (add-after 'unpack 'unbundle-libccd + (lambda _ + (substitute* "CMakeLists.txt" + (("configure_file\\(libccd/.*") "")) + #t))))) + (inputs + `(("glu" ,glu) + ("libccd" ,libccd) + ("mesa" ,mesa))) + (home-page "http://www.ode.org/") + (synopsis "High performance library for simulating rigid body dynamics") + (description "ODE is a high performance library for simulating +rigid body dynamics. It is fully featured, stable, mature and +platform independent with an easy to use C/C++ API. It has advanced +joint types and integrated collision detection with friction. ODE is +useful for simulating vehicles, objects in virtual reality +environments and virtual creatures. It is currently used in many +computer games, 3D authoring tools and simulation tools.") + ;; Software is dual-licensed. + (license (list license:lgpl2.1+ license:expat)))) diff --git a/gnu/packages/games.scm b/gnu/packages/games.scm index 066e2c8cf3..f4b74abe11 100644 --- a/gnu/packages/games.scm +++ b/gnu/packages/games.scm @@ -3747,7 +3747,7 @@ with the \"Stamp\" tool within Tux Paint.") (define-public supertux (package (name "supertux") - (version "0.6.0") + (version "0.6.1") (source (origin (method url-fetch) (uri (string-append "https://github.com/SuperTux/supertux/" @@ -3756,7 +3756,7 @@ with the \"Stamp\" tool within Tux Paint.") (file-name (string-append name "-" version ".tar.gz")) (sha256 (base32 - "1h1s4abirkdv4ag22zvyk6zkk64skqbjmcnnba67ps4hdzxfbhy4")) + "0lqch5gcq6ccnspy93z9r13bp8w2j1vrd8jhvk5kp4qhrd1f069s")) (patches (search-patches "supertux-unbundle-squirrel.patch")))) (arguments @@ -3789,11 +3789,11 @@ with the \"Stamp\" tool within Tux Paint.") ("boost" ,boost) ("freetype" ,freetype) ("squirrel" ,squirrel))) - (native-inputs `(("pkg-config" ,pkg-config))) + (native-inputs + `(("pkg-config" ,pkg-config))) (synopsis "2D platformer game") - (description "SuperTux is a free classic 2D jump'n run sidescroller game -in a style similar to the original Super Mario games covered under -the GNU GPL.") + (description "SuperTux is a classic 2D jump'n run sidescroller game in +a style similar to the original Super Mario games.") (home-page "https://supertux.org/") (license license:gpl3+))) diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 275d115eeb..e71cc2fee2 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -548,7 +548,18 @@ to other formats.") (base32 "08cwz39iwgsyyb2wqhb8vfbmh1cwfkgfiy7adp08w7rwqi99x3dp")))) (build-system meson-build-system) - (arguments '(#:glib-or-gtk? #t)) + (arguments + `(#:glib-or-gtk? #t + #:phases (modify-phases %standard-phases + (add-after 'install 'wrap + (lambda* (#:key outputs #:allow-other-keys) + ;; GNOME Characters needs Typelib files from GTK and + ;; gnome-desktop. + (wrap-program (string-append (assoc-ref outputs "out") + "/bin/gnome-characters") + `("GI_TYPELIB_PATH" ":" prefix + (,(getenv "GI_TYPELIB_PATH")))) + #t))))) (native-inputs `(("gettext" ,gettext-minimal) ("glib:bin" ,glib "bin") @@ -558,7 +569,8 @@ to other formats.") (inputs `(("gjs" ,gjs) ("gtk+" ,gtk+) - ("libunistring" ,libunistring))) + ("libunistring" ,libunistring) + ("gnome-desktop" ,gnome-desktop))) (home-page "https://wiki.gnome.org/Apps/CharacterMap") (synopsis "Find and insert unusual characters") (description "Characters is a simple utility application to find @@ -5285,7 +5297,7 @@ share them with others via social networking and more.") (define-public file-roller (package (name "file-roller") - (version "3.32.2") + (version "3.32.3") (source (origin (method url-fetch) (uri (string-append "mirror://gnome/sources/file-roller/" @@ -5293,7 +5305,7 @@ share them with others via social networking and more.") "file-roller-" version ".tar.xz")) (sha256 (base32 - "0w8s6hakgsvb2nqwbv0lr8ki4cbf1pz5z3qwkb0b2k7ppbh7j2n6")))) + "0ap2hxvjljh4p6wsd9ikh2my3vsxp9r2nvjxxj3v87nwfyw1y4dy")))) (build-system meson-build-system) (native-inputs `(("desktop-file-utils" ,desktop-file-utils) ; for update-desktop-database diff --git a/gnu/packages/gprolog.scm b/gnu/packages/gprolog.scm deleted file mode 100644 index 166bf33294..0000000000 --- a/gnu/packages/gprolog.scm +++ /dev/null @@ -1,68 +0,0 @@ -;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2013 Nikita Karetnikov <nikita@karetnikov.org> -;;; Copyright © 2013 Mark H Weaver <mhw@netris.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 gprolog) - #:use-module (guix download) - #:use-module (guix licenses) - #:use-module (guix packages) - #:use-module (guix build-system gnu) - #:use-module (srfi srfi-1)) - -(define-public gprolog - (package - (name "gprolog") - (version "1.4.5") - (source - (origin - (method url-fetch) - ;; Recent versions are not hosted on the GNU mirrors. - (uri (list (string-append "http://gprolog.org/gprolog-" version - ".tar.gz") - (string-append "mirror://gnu/gprolog/gprolog-" version - ".tar.gz"))) - (sha256 - (base32 - "0z4cc42n3k6i35b8mr816iwsvrpxshw6d7dgz6s2h1hy0l7g1p5z")))) - (build-system gnu-build-system) - (arguments - `(#:configure-flags - (list (string-append - "--with-install-dir=" %output "/share/gprolog")) - #:phases - (modify-phases %standard-phases - (add-before 'configure 'change-dir-n-fix-shells - (lambda _ - (chdir "src") - (substitute* "configure" - (("-/bin/sh") (string-append "-" (which "sh"))) - (("= /bin/sh") (string-append "= " (which "sh")))) - #t))))) - (home-page "https://www.gnu.org/software/gprolog/") - (synopsis "Prolog compiler") - (description - "GNU Prolog is a standards-compliant Prolog compiler with constraint -solving over finite domains. It accepts Prolog+ constraint programs and -produces a compiled, native binary which can function in a stand-alone -manner. It also features an interactive interpreter.") - (license (list gpl2+ lgpl3+)) - - ;; See 'configure' for the list of supported architectures. - (supported-systems (fold delete - %supported-systems - '("armhf-linux" "mips64el-linux"))))) diff --git a/gnu/packages/guile-xyz.scm b/gnu/packages/guile-xyz.scm index fa612b66e9..80ff00b23b 100644 --- a/gnu/packages/guile-xyz.scm +++ b/gnu/packages/guile-xyz.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2014, 2015, 2018 Mark H Weaver <mhw@netris.org> ;;; Copyright © 2015, 2017 Christopher Allan Webber <cwebber@dustycloud.org> ;;; Copyright © 2016 Alex Sassmannshausen <alex@pompo.co> @@ -2740,3 +2740,61 @@ tests being run, resulting clearer and more specific output.") comparing, and writing Semantic Versions. It also includes ranges in the style of the Node Package Manager (NPM).") (license license:gpl3+))) + +(define-public guile-hashing + (package + (name "guile-hashing") + (version "1.2.0") + (home-page "https://github.com/weinholt/hashing") + (source (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1362d3lmpv7slmv1zmr9wy8panq9sjr9787gc2hagd646mpsfpkl")))) + (build-system guile-build-system) + (arguments + `(#:modules ((guix build guile-build-system) + (guix build utils) + (srfi srfi-26) + (ice-9 ftw)) + #:implicit-inputs? #f ;needs nothing but Guile + #:phases (modify-phases %standard-phases + (add-before 'build 'move-sls-files + (lambda _ + ;; Move the source under hashing/ in order to match + ;; module names, and rename .sls files to .scm. + (define (target file) + (string-append "hashing/" file)) + + (define (sls->scm sls) + (string-append (string-drop-right sls 4) + ".scm")) + + (mkdir "hashing") + (for-each (lambda (file) + (rename-file file (sls->scm file))) + (find-files "." "\\.sls$")) + (for-each (lambda (file) + (rename-file file (target file))) + (scandir "." (cut string-suffix? ".scm" <>))) + (rename-file "private" "hashing/private") + #t))))) + (native-inputs + `(("guile" ,guile-2.2))) + (synopsis "Cryprographic hash functions implemented in Scheme") + (description + "The @code{(hashing @dots{})} modules implement cryptographic hash +functions in pure R6RS Scheme: CRC, HMAC, MD5, SHA-1, and SHA-2 (SHA-256, +SHA-512).") + (license license:expat))) + +(define-public guile3.0-hashing + (package + (inherit guile-hashing) + (name "guile3.0-hashing") + (native-inputs + `(("guile" ,guile-next))))) diff --git a/gnu/packages/ibus.scm b/gnu/packages/ibus.scm index 70e10eae01..512a1ff9ec 100644 --- a/gnu/packages/ibus.scm +++ b/gnu/packages/ibus.scm @@ -669,6 +669,13 @@ Method Engine.") (assoc-ref inputs "rime-data") "/share/rime-data\"\n"))) #t)) + (add-after 'unpack 'fix-file-names + (lambda* (#:key outputs #:allow-other-keys) + ;; IBus uses the component file rime.xml to start the Rime + ;; engine. It must be patched with appropriate file names. + (substitute* "rime.xml" + (("/usr") (assoc-ref outputs "out"))) + #t)) (delete 'configure)))) (inputs `(("gdk-pixbuf" ,gdk-pixbuf) diff --git a/gnu/packages/language.scm b/gnu/packages/language.scm index 1ed2483615..cec0ffa942 100644 --- a/gnu/packages/language.scm +++ b/gnu/packages/language.scm @@ -3,6 +3,7 @@ ;;; Copyright © 2017, 2018 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2018 ng0 <ng0@n0.is> ;;; Copyright © 2019 Alex Vong <alexvong1995@gmail.com> +;;; Copyright © 2020 Ricardo Wurmus <rekado@elephly.net> ;;; ;;; This file is part of GNU Guix. ;;; @@ -883,3 +884,27 @@ suitable for both the desktop and mobile devices.") (("zinnia") "wagomu")) #t)))))) (license lgpl2.1))) ; all files + +(define-public link-grammar + (package + (name "link-grammar") + (version "5.7.0") + (source (origin + (method url-fetch) + (uri (string-append "https://www.abisource.com/downloads/" + "link-grammar/" version + "/link-grammar-" version ".tar.gz")) + (sha256 + (base32 + "0ak1v469k56v3511kxxkxvx1nw6zcxcl0f1kcvc82ffacqbr4y96")))) + (build-system gnu-build-system) + (home-page "https://www.abisource.com/projects/link-grammar/") + (synopsis "Link grammar parser") + (description "The Link Grammar Parser is a syntactic parser of English, +Russian, Arabic and Persian (and other languages as well), based on Link +Grammar, an original theory of syntax and morphology. Given a sentence, the +system assigns to it a syntactic structure, which consists of a set of +labelled links connecting pairs of words. The parser also produces a +\"constituent\" (HPSG style phrase tree) representation of a sentence (showing +noun phrases, verb phrases, etc.).") + (license bsd-3))) diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm new file mode 100644 index 0000000000..235113d475 --- /dev/null +++ b/gnu/packages/lean.scm @@ -0,0 +1,65 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright © 2019 Amin Bandali <bandali@gnu.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 lean) + #:use-module (gnu packages multiprecision) + #:use-module (guix build-system cmake) + #:use-module ((guix licenses) #:prefix license:) + #:use-module (guix packages) + #:use-module (guix git-download)) + +(define-public lean + (package + (name "lean") + (version "3.5.0") + (home-page "https://github.com/leanprover-community/lean") + (source (origin + (method git-fetch) + (uri (git-reference (url home-page) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1fdblq8ckrv6wqxfl4ybcs3ybfq7y096c9f5j4j75ymb14r401lr")))) + (build-system cmake-build-system) + (inputs + `(("gmp" ,gmp))) + (arguments + `(#:build-type "Release" ; default upstream build type + #:phases + (modify-phases %standard-phases + (add-after 'patch-source-shebangs 'patch-tests-shebangs + (lambda _ + (let ((sh (which "sh")) + (bash (which "bash"))) + (substitute* (find-files "tests/lean" "\\.sh$") + (("#![[:blank:]]?/bin/sh") + (string-append "#!" sh)) + (("#![[:blank:]]?/bin/bash") + (string-append "#!" bash)) + (("#![[:blank:]]?usr/bin/env bash") + (string-append "#!" bash))) + #t))) + (add-before 'configure 'chdir-to-src + (lambda _ (chdir "src") #t))))) + (synopsis "The Lean theorem prover and programming language") + (description + "Lean is a theorem prover and programming language with a small trusted +core based on dependent typed theory, aiming to bridge the gap between +interactive and automated theorem proving.") + (license license:asl2.0))) diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 46d8b2fd39..501a010b25 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -356,42 +356,42 @@ corresponding UPSTREAM-SOURCE (an origin), using the given DEBLOB-SCRIPTS." "linux-" version ".tar.xz")) (sha256 hash))) -(define-public linux-libre-5.4-version "5.4.7") +(define-public linux-libre-5.4-version "5.4.8") (define-public linux-libre-5.4-pristine-source (let ((version linux-libre-5.4-version) - (hash (base32 "1jgwg5qb7lb30m5ywvpfagzrl6d0i524qpy3v99mina6j4fv5jdb"))) + (hash (base32 "0llss8hbzkwqxx92y419vj2jvq0d8k52iivh3f59wgqr0b4i9i22"))) (make-linux-libre-source version (%upstream-linux-source version hash) deblob-scripts-5.4))) -(define-public linux-libre-4.19-version "4.19.92") +(define-public linux-libre-4.19-version "4.19.93") (define-public linux-libre-4.19-pristine-source (let ((version linux-libre-4.19-version) - (hash (base32 "18l3k0hgyanh6axgmmaaff139vpw6lf3fcf9iglpqwgspgw7rhr9"))) + (hash (base32 "0d2qgwnmvnwbsijc8k85sgmywyrv55wpah6qwjk6kgx8h8zx5x9a"))) (make-linux-libre-source version (%upstream-linux-source version hash) deblob-scripts-4.19))) -(define-public linux-libre-4.14-version "4.14.161") +(define-public linux-libre-4.14-version "4.14.162") (define-public linux-libre-4.14-pristine-source (let ((version linux-libre-4.14-version) - (hash (base32 "1jc1izlvgymp9x61r4yz2xhplwmp6x8laxqj9wy33iz6a2gn48wx"))) + (hash (base32 "0jwbr7q17khv0174hl0kp78bsyhjv0mljfvrnbl9qdfl9hi70lgn"))) (make-linux-libre-source version (%upstream-linux-source version hash) deblob-scripts-4.14))) -(define-public linux-libre-4.9-version "4.9.207") +(define-public linux-libre-4.9-version "4.9.208") (define-public linux-libre-4.9-pristine-source (let ((version linux-libre-4.9-version) - (hash (base32 "090181vij95py22jhx7baaxabb78w0j5hsfsnzp6bv2vgdz671na"))) + (hash (base32 "0njjw1i8dilihn1hz62zra4b9y05fb3r2k2sqlkd0wfn86c1rbdp"))) (make-linux-libre-source version (%upstream-linux-source version hash) deblob-scripts-4.9))) -(define-public linux-libre-4.4-version "4.4.207") +(define-public linux-libre-4.4-version "4.4.208") (define-public linux-libre-4.4-pristine-source (let ((version linux-libre-4.4-version) - (hash (base32 "024flajnl3l4yk8sgqdrfrl21js4vsjcv4ivmjblj4l9fl3hdjb6"))) + (hash (base32 "03jj91z5dc0ybpjy9w6aanb3k53gcj7gsjc32h3ldf72hlmgz6aq"))) (make-linux-libre-source version (%upstream-linux-source version hash) deblob-scripts-4.4))) diff --git a/gnu/packages/lisp-xyz.scm b/gnu/packages/lisp-xyz.scm index 0aa7a21ec5..8d9cf53526 100644 --- a/gnu/packages/lisp-xyz.scm +++ b/gnu/packages/lisp-xyz.scm @@ -5,16 +5,16 @@ ;;; Copyright © 2016 Federico Beffa <beffa@fbengineering.ch> ;;; Copyright © 2016, 2017 ng0 <ng0@n0.is> ;;; Copyright © 2016, 2017 Andy Patterson <ajpatter@uwaterloo.ca> -;;; Copyright © 2017, 2019 Ricardo Wurmus <rekado@elephly.net> +;;; Copyright © 2017, 2019, 2020 Ricardo Wurmus <rekado@elephly.net> ;;; Copyright © 2017, 2018, 2019 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2017, 2019 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2018 Benjamin Slade <slade@jnanam.net> ;;; Copyright © 2018 Alex Vong <alexvong1995@gmail.com> ;;; Copyright © 2018 Pierre Neidhardt <mail@ambrevar.xyz> ;;; Copyright © 2018, 2019 Pierre Langlois <pierre.langlois@gmx.com> -;;; Copyright © 2019 Katherine Cox-Buday <cox.katherine.e@gmail.com> +;;; Copyright © 2019, 2020 Katherine Cox-Buday <cox.katherine.e@gmail.com> ;;; Copyright © 2019 Jesse Gildersleve <jessejohngildersleve@protonmail.com> -;;; Copyright © 2019 Guillaume Le Vaillant <glv@posteo.net> +;;; Copyright © 2019, 2020 Guillaume Le Vaillant <glv@posteo.net> ;;; Copyright © 2019 Brett Gilio <brettg@gnu.org> ;;; ;;; This file is part of GNU Guix. @@ -53,6 +53,7 @@ #:use-module (gnu packages gtk) #:use-module (gnu packages libffi) #:use-module (gnu packages lisp) + #:use-module (gnu packages maths) #:use-module (gnu packages pkg-config) #:use-module (gnu packages python) #:use-module (gnu packages python-xyz) @@ -370,6 +371,219 @@ ANSI-compliant Common Lisp implementations.") (define-public cl-unicode (sbcl-package->cl-source-package sbcl-cl-unicode)) +(define-public sbcl-zpb-ttf + (package + (name "sbcl-zpb-ttf") + (version "1.0.3") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/xach/zpb-ttf.git") + (commit (string-append "release-" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1wh66vjijzqlydnrihynpwp6796917xwrh0i9li93c17kyxa74ih")))) + (build-system asdf-build-system/sbcl) + (home-page "https://github.com/xach/zpb-ttf") + (synopsis "TrueType font file access for Common Lisp") + (description + "ZPB-TTF is a TrueType font file parser that provides an interface for +reading typographic metrics, glyph outlines, and other information from the +file.") + (license license:bsd-2))) + +(define-public ecl-zpb-ttf + (sbcl-package->ecl-package sbcl-zpb-ttf)) + +(define-public cl-zpb-ttf + (sbcl-package->cl-source-package sbcl-zpb-ttf)) + +(define-public sbcl-cl-aa + (package + (name "sbcl-cl-aa") + (version "0.1.5") + (source + (origin + (method url-fetch) + (uri (string-append "http://projects.tuxee.net/cl-vectors/" + "files/cl-vectors-" version ".tar.gz")) + (sha256 + (base32 + "04lhwi0kq8pkwhgd885pk80m1cp9sfvjjn5zj70s1dnckibhdmqh")))) + (build-system asdf-build-system/sbcl) + (arguments '(#:asd-file "cl-aa.asd")) + (home-page "http://projects.tuxee.net/cl-vectors/") + (synopsis "Polygon rasterizer") + (description + "This is a Common Lisp library implementing the AA polygon rasterization +algorithm from the @url{http://antigrain.com, Antigrain} project.") + (license license:expat))) + +(define-public ecl-cl-aa + (sbcl-package->ecl-package sbcl-cl-aa)) + +(define-public cl-aa + (sbcl-package->cl-source-package sbcl-cl-aa)) + +(define-public sbcl-cl-paths + (package + (inherit sbcl-cl-aa) + (name "sbcl-cl-paths") + (arguments '(#:asd-file "cl-paths.asd")) + (synopsis "Facilities to create and manipulate vectorial paths") + (description + "This package provides facilities to create and manipulate vectorial +paths."))) + +(define-public ecl-cl-paths + (sbcl-package->ecl-package sbcl-cl-paths)) + +(define-public cl-paths + (sbcl-package->cl-source-package sbcl-cl-paths)) + +(define-public sbcl-cl-paths-ttf + (package + (inherit sbcl-cl-aa) + (name "sbcl-cl-paths-ttf") + (arguments '(#:asd-file "cl-paths-ttf.asd")) + (inputs + `(("cl-paths" ,sbcl-cl-paths) + ("zpb-ttf" ,sbcl-zpb-ttf))) + (synopsis "Facilities to create and manipulate vectorial paths") + (description + "This package provides facilities to create and manipulate vectorial +paths."))) + +(define-public ecl-cl-paths-ttf + (sbcl-package->ecl-package sbcl-cl-paths-ttf)) + +(define-public cl-paths-ttf + (sbcl-package->cl-source-package sbcl-cl-paths-ttf)) + +(define-public sbcl-cl-vectors + (package + (inherit sbcl-cl-aa) + (name "sbcl-cl-vectors") + (arguments '(#:asd-file "cl-vectors.asd")) + (inputs + `(("cl-aa" ,sbcl-cl-aa) + ("cl-paths" ,sbcl-cl-paths))) + (synopsis "Create, transform and render anti-aliased vectorial paths") + (description + "This is a pure Common Lisp library to create, transform and render +anti-aliased vectorial paths."))) + +(define-public ecl-cl-vectors + (sbcl-package->ecl-package sbcl-cl-vectors)) + +(define-public cl-vectors + (sbcl-package->cl-source-package sbcl-cl-vectors)) + +(define-public sbcl-spatial-trees + ;; There have been no releases. + (let ((commit "81fdad0a0bf109c80a53cc96eca2e093823400ba") + (revision "1")) + (package + (name "sbcl-spatial-trees") + (version (git-version "0" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/rpav/spatial-trees.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "11rhc6h501dwcik2igkszz7b9n515cr99m5pjh4r2qfwgiri6ysa")))) + (build-system asdf-build-system/sbcl) + (arguments + '(#:tests? #f ; spatial-trees.test requires spatial-trees.nns + #:asd-file "spatial-trees.asd" + #:test-asd-file "spatial-trees.test.asd")) + (native-inputs + `(("fiveam" ,sbcl-fiveam))) + (home-page "https://github.com/rpav/spatial-trees") + (synopsis "Dynamic index data structures for spatially-extended data") + (description + "Spatial-trees is a set of dynamic index data structures for +spatially-extended data.") + (license license:bsd-3)))) + +(define-public ecl-spatial-trees + (sbcl-package->ecl-package sbcl-spatial-trees)) + +(define-public cl-spatial-trees + (sbcl-package->cl-source-package sbcl-spatial-trees)) + +(define-public sbcl-flexichain + ;; There are no releases. + (let ((commit "13d2a6c505ed0abfcd4c4ec7d7145059b06855d6") + (revision "1")) + (package + (name "sbcl-flexichain") + (version "1.5.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/robert-strandh/Flexichain.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0pfyvhsfbjd2sjb30grfs52r51a428xglv7bwydvpg2lc117qimg")))) + (build-system asdf-build-system/sbcl) + (home-page "https://github.com/robert-strandh/Flexichain.git") + (synopsis "Dynamically add elements to or remove them from sequences") + (description + "This package provides an implementation of the flexichain protocol, +allowing client code to dynamically add elements to, and delete elements from +a sequence (or chain) of such elements.") + (license license:lgpl2.1+)))) + +(define-public ecl-flexichain + (sbcl-package->ecl-package sbcl-flexichain)) + +(define-public cl-flexichain + (sbcl-package->cl-source-package sbcl-flexichain)) + +(define-public sbcl-cl-pdf + ;; There are no releases + (let ((commit "752e337e6d6fc206f09d091a982e7f8e5c404e4e") + (revision "1")) + (package + (name "sbcl-cl-pdf") + (version (git-version "0" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/mbattyani/cl-pdf.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1cg3k3m3r11ipb8j008y8ipynj97l3xjlpi2knqc9ndmx4r3kb1r")))) + (build-system asdf-build-system/sbcl) + (inputs + `(("iterate" ,sbcl-iterate) + ("zpb-ttf" ,sbcl-zpb-ttf))) + (home-page "https://github.com/mbattyani/cl-pdf") + (synopsis "Common Lisp library for generating PDF files") + (description + "CL-PDF is a cross-platform Common Lisp library for generating PDF +files.") + (license license:bsd-2)))) + +(define-public ecl-cl-pdf + (sbcl-package->ecl-package sbcl-cl-pdf)) + +(define-public cl-pdf + (sbcl-package->cl-source-package sbcl-cl-pdf)) + (define-public sbcl-clx (package (name "sbcl-clx") @@ -7439,3 +7653,1505 @@ your own classes.") (define-public cl-plump (sbcl-package->cl-source-package sbcl-plump)) + +(define-public sbcl-antik-base + (let ((commit "e4711a69b3d6bf37b5727af05c3cfd03e8428ba3") + (revision "1")) + (package + (name "sbcl-antik-base") + (version (git-version "0.0.0" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://gitlab.common-lisp.net/antik/antik.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "047ga2c38par2xbgg4qx6hwv06qhf1c1f67as8xvir6s80lip1km")))) + (build-system asdf-build-system/sbcl) + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ppcre" ,sbcl-cl-ppcre) + ("iterate" ,sbcl-iterate) + ("metabang-bind" ,sbcl-metabang-bind) + ("named-readtables" ,sbcl-named-readtables) + ("split-sequence" ,sbcl-split-sequence))) + (native-inputs + `(("lisp-unit" ,sbcl-lisp-unit))) + (synopsis "Scientific and engineering computation in Common Lisp") + (description + "Antik provides a foundation for scientific and engineering +computation in Common Lisp. It is designed not only to facilitate +numerical computations, but to permit the use of numerical computation +libraries and the interchange of data and procedures, whether +foreign (non-Lisp) or Lisp libraries. It is named after the +Antikythera mechanism, one of the oldest examples of a scientific +computer known.") + (home-page "https://common-lisp.net/project/antik/") + (license license:gpl3)))) + +(define-public cl-antik-base + (sbcl-package->cl-source-package sbcl-antik-base)) + +(define-public ecl-antik-base + (sbcl-package->ecl-package sbcl-antik-base)) + +(define-public sbcl-foreign-array + (package + (inherit sbcl-antik-base) + (name "sbcl-foreign-array") + (arguments + (substitute-keyword-arguments (package-arguments sbcl-antik-base) + ((#:asd-file _ "") "foreign-array.asd") + ((#:asd-system-name _ #f) "foreign-array"))) + (inputs + `(("antik-base" ,sbcl-antik-base) + ("cffi" ,sbcl-cffi) + ("trivial-garbage" ,sbcl-trivial-garbage) + ("static-vectors" ,sbcl-static-vectors))) + (synopsis "Common Lisp library providing access to foreign arrays"))) + +(define-public cl-foreign-array + (sbcl-package->cl-source-package sbcl-foreign-array)) + +(define-public ecl-foreign-array + (sbcl-package->ecl-package sbcl-foreign-array)) + +(define-public sbcl-physical-dimension + (package + (inherit sbcl-antik-base) + (name "sbcl-physical-dimension") + (inputs + `(("fare-utils" ,sbcl-fare-utils) + ("foreign-array" ,sbcl-foreign-array) + ("trivial-utf-8" ,sbcl-trivial-utf-8))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-antik-base) + ((#:asd-file _ "") "physical-dimension.asd") + ((#:asd-system-name _ #f) "physical-dimension"))) + (synopsis + "Common Lisp library providing computations with physical units"))) + +(define-public cl-physical-dimension + (sbcl-package->cl-source-package sbcl-physical-dimension)) + +(define-public sbcl-science-data + (package + (inherit sbcl-antik-base) + (name "sbcl-science-data") + (inputs + `(("physical-dimension" ,sbcl-physical-dimension) + ("drakma" ,sbcl-drakma))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-antik-base) + ((#:asd-file _ "") "science-data.asd") + ((#:asd-system-name _ #f) "science-data"))) + (synopsis + "Common Lisp library for scientific and engineering numerical data"))) + +(define-public cl-science-data + (sbcl-package->cl-source-package sbcl-science-data)) + +(define-public sbcl-gsll + (let ((commit "1a8ada22f9cf5ed7372d352b2317f4ccdb6ab308") + (revision "1")) + (package + (name "sbcl-gsll") + (version (git-version "0.0.0" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://gitlab.common-lisp.net/antik/gsll.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0z5nypfk26hxihb08p085644afawicrgb4xvadh3lmrn46qbjfn4")))) + (build-system asdf-build-system/sbcl) + (native-inputs + `(("lisp-unit" ,sbcl-lisp-unit))) + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cffi-grovel" ,sbcl-cffi-grovel) + ("cffi-libffi" ,sbcl-cffi-libffi) + ("foreign-array" ,sbcl-foreign-array) + ("gsl" ,gsl) + ("metabang-bind" ,sbcl-metabang-bind) + ("trivial-features" ,sbcl-trivial-features) + ("trivial-garbage" ,sbcl-trivial-garbage))) + (arguments + `(#:tests? #f + #:phases + (modify-phases %standard-phases + (add-after 'unpack 'fix-cffi-paths + (lambda* (#:key inputs #:allow-other-keys) + (substitute* "gsll.asd" + ((":depends-on \\(#:foreign-array") + ":depends-on (#:foreign-array #:cffi-libffi")) + (substitute* "init/init.lisp" + (("libgslcblas.so" all) + (string-append + (assoc-ref inputs "gsl") "/lib/" all))) + (substitute* "init/init.lisp" + (("libgsl.so" all) + (string-append + (assoc-ref inputs "gsl") "/lib/" all)))))))) + (synopsis "GNU Scientific Library for Lisp") + (description + "The GNU Scientific Library for Lisp (GSLL) allows the use of the +GNU Scientific Library (GSL) from Common Lisp. This library provides a +full range of common mathematical operations useful to scientific and +engineering applications. The design of the GSLL interface is such +that access to most of the GSL library is possible in a Lisp-natural +way; the intent is that the user not be hampered by the restrictions +of the C language in which GSL has been written. GSLL thus provides +interactive use of GSL for getting quick answers, even for someone not +intending to program in Lisp.") + (home-page "https://common-lisp.net/project/gsll/") + (license license:gpl3)))) + +(define-public cl-gsll + (sbcl-package->cl-source-package sbcl-gsll)) + +(define-public sbcl-antik + (package + (inherit sbcl-antik-base) + (name "sbcl-antik") + (inputs + `(("gsll" ,sbcl-gsll) + ("physical-dimension" ,sbcl-physical-dimension))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-antik-base) + ((#:asd-file _ "") "antik.asd") + ((#:asd-system-name _ #f) "antik"))))) + +(define-public cl-antik + (sbcl-package->cl-source-package sbcl-antik)) + +(define-public sbcl-cl-interpol + (let ((commit "1fd288d861db85bc4677cff3cdd6af75fda1afb4") + (revision "1")) + (package + (name "sbcl-cl-interpol") + (version (git-version "0.2.6" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/edicl/cl-interpol.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1hnikak52hmcq1r5f616m6qq1108qnkw80pja950nv1fq5p0ppjn")))) + (build-system asdf-build-system/sbcl) + (inputs + `(("cl-unicode" ,sbcl-cl-unicode) + ("named-readtables" ,sbcl-named-readtables))) + (native-inputs + `(("flexi-streams" ,sbcl-flexi-streams))) + (synopsis "String interpolation for Common Lisp") + (description + "CL-INTERPOL is a library for Common Lisp which modifies the +reader so that you can have interpolation within strings similar to +Perl or Unix Shell scripts. It also provides various ways to insert +arbitrary characters into literal strings even if your editor/IDE +doesn't support them.") + (home-page "https://edicl.github.io/cl-interpol/") + (license license:bsd-3)))) + +(define-public cl-interpol + (sbcl-package->cl-source-package sbcl-cl-interpol)) + +(define-public ecl-cl-interpol + (sbcl-package->ecl-package sbcl-cl-interpol)) + +(define sbcl-symbol-munger-boot0 + ;; There is a cyclical dependency between symbol-munger and lisp-unit2. + ;; See https://github.com/AccelerationNet/symbol-munger/issues/4 + (let ((commit "cc2bb4b7acd454d756484aec81ba487648385fc3") + (revision "1")) + (package + (name "sbcl-symbol-munger-boot0") + (version (git-version "0.0.1" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/AccelerationNet/symbol-munger.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0diav5ricqsybqvbp4bkxyj3bn3v9n7xb2pqqc4vg1algsw2pyjl")))) + (build-system asdf-build-system/sbcl) + (arguments + `(#:asd-file "symbol-munger.asd" + #:asd-system-name "symbol-munger")) + (inputs + `(("iterate" ,sbcl-iterate) + ("alexandria" ,sbcl-alexandria))) + (native-inputs + `(("lisp-unit" ,sbcl-lisp-unit))) + (synopsis + "Capitalization and spacing conversion functions for Common Lisp") + (description + "This is a Common Lisp library to change the capitalization and spacing +of a string or a symbol. It can convert to and from Lisp, english, underscore +and camel-case rules.") + (home-page "https://github.com/AccelerationNet/symbol-munger") + ;; The package declares a BSD license, but all of the license + ;; text is MIT. + ;; See https://github.com/AccelerationNet/symbol-munger/issues/5 + (license license:expat)))) + +(define sbcl-lisp-unit2-boot0 + ;; There is a cyclical dependency between symbol-munger and lisp-unit2. + ;; See https://github.com/AccelerationNet/symbol-munger/issues/4 + (let ((commit "fb9721524d1e4e73abb223ee036d74ce14a5505c") + (revision "1")) + (package + (name "sbcl-lisp-unit2-boot0") + (version (git-version "0.2.0" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/AccelerationNet/lisp-unit2.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1rsqy8y0jqll6xn9a593848f5wvd5ribv4csry1ly0hmdhfnqzlp")))) + (build-system asdf-build-system/sbcl) + (arguments + `(#:asd-file "lisp-unit2.asd" + #:asd-system-name "lisp-unit2")) + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-interpol" ,sbcl-cl-interpol) + ("iterate" ,sbcl-iterate) + ("symbol-munger-boot0" ,sbcl-symbol-munger-boot0))) + (synopsis "Test Framework for Common Lisp") + (description + "LISP-UNIT2 is a Common Lisp library that supports unit testing in the +style of JUnit for Java. It is a new version of the lisp-unit library written +by Chris Riesbeck.") + (home-page "https://github.com/AccelerationNet/lisp-unit2") + (license license:expat)))) + +(define-public sbcl-symbol-munger + (let ((commit "97598d4c3c53fd5da72ab78908fbd5d8c7a13416") + (revision "1")) + (package + (name "sbcl-symbol-munger") + (version (git-version "0.0.1" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/AccelerationNet/symbol-munger.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0y8jywjy0ldyhp7bxf16fdvdd2qgqnd7nlhlqfpfnzxcqk4xy1km")))) + (build-system asdf-build-system/sbcl) + (inputs + `(("alexandria" ,sbcl-alexandria) + ("iterate" ,sbcl-iterate))) + (native-inputs + `(("lisp-unit2-boot0" ,sbcl-lisp-unit2-boot0))) + (synopsis + "Capitalization and spacing conversion functions for Common Lisp") + (description + "This is a Common Lisp library to change the capitalization and spacing +of a string or a symbol. It can convert to and from Lisp, english, underscore +and camel-case rules.") + (home-page "https://github.com/AccelerationNet/symbol-munger") + ;; The package declares a BSD license, but all of the license + ;; text is MIT. + ;; See https://github.com/AccelerationNet/symbol-munger/issues/5 + (license license:expat)))) + +(define-public cl-symbol-munger + (sbcl-package->cl-source-package sbcl-symbol-munger)) + +(define-public ecl-symbol-munger + (sbcl-package->ecl-package sbcl-symbol-munger)) + +(define-public sbcl-lisp-unit2 + (package + (inherit sbcl-lisp-unit2-boot0) + (name "sbcl-lisp-unit2") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-interpol" ,sbcl-cl-interpol) + ("iterate" ,sbcl-iterate) + ("symbol-munger" ,sbcl-symbol-munger))))) + +(define-public cl-lisp-unit2 + (sbcl-package->cl-source-package sbcl-lisp-unit2)) + +(define-public ecl-lisp-unit2 + (sbcl-package->ecl-package sbcl-lisp-unit2)) + +(define-public sbcl-cl-csv + (let ((commit "3eba29c8364b033fbe0d189c2500559278b6a362") + (revision "1")) + (package + (name "sbcl-cl-csv") + (version (git-version "1.0.6" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/AccelerationNet/cl-csv.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "07h4ni89jzx93clx453hlnnb5g53hhlcmz5hghqv6ysam48lc8g6")))) + (build-system asdf-build-system/sbcl) + (arguments + ;; See: https://github.com/AccelerationNet/cl-csv/pull/34 + `(#:tests? #f)) + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-interpol" ,sbcl-cl-interpol) + ("iterate" ,sbcl-iterate))) + (native-inputs + `(("lisp-unit2" ,sbcl-lisp-unit2))) + (synopsis "Common lisp library for comma-separated values") + (description + "This is a Common Lisp library providing functions to read/write CSV +from/to strings, streams and files.") + (home-page "https://github.com/AccelerationNet/cl-csv") + (license license:bsd-3)))) + +(define-public cl-csv + (sbcl-package->cl-source-package sbcl-cl-csv)) + +(define-public ecl-cl-csv + (sbcl-package->ecl-package sbcl-cl-csv)) + +(define-public sbcl-external-program + (let ((commit "5888b8f1fd3953feeeacecbba4384ddda584a749") + (revision "1")) + (package + (name "sbcl-external-program") + (version (git-version "0.0.6" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/sellout/external-program.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0vww1x3yilb3bjwg6k184vaj4vxyxw4vralhnlm6lk4xac67kc9z")))) + (build-system asdf-build-system/sbcl) + (inputs + `(("trivial-features" ,sbcl-trivial-features))) + (native-inputs + `(("fiveam" ,sbcl-fiveam))) + (synopsis "Common Lisp library for running external programs") + (description + "EXTERNAL-PROGRAM enables running programs outside the Lisp +process. It is an attempt to make the RUN-PROGRAM functionality in +implementations like SBCL and CCL as portable as possible without +sacrificing much in the way of power.") + (home-page "https://github.com/sellout/external-program") + (license license:llgpl)))) + +(define-public cl-external-program + (sbcl-package->cl-source-package sbcl-external-program)) + +(define-public ecl-external-program + (sbcl-package->ecl-package sbcl-external-program)) + +(define sbcl-cl-ana-boot0 + (let ((commit "fa7cee4c50aa1c859652813049ba0da7c18a0df9") + (revision "1")) + (package + (name "sbcl-cl-ana-boot0") + (version (git-version "0.0.0" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ghollisjr/cl-ana.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0mr47l57m276dbpap7irr4fcnk5fgknhf6mgv4043s8h73amk5qh")))) + (build-system asdf-build-system/sbcl) + (synopsis "Common Lisp data analysis library") + (description + "CL-ANA is a data analysis library in Common Lisp providing tabular and +binned data analysis along with nonlinear least squares fitting and +visualization.") + (home-page "https://github.com/ghollisjr/cl-ana") + (license license:gpl3)))) + +(define-public sbcl-cl-ana.pathname-utils + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.pathname-utils") + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "pathname-utils/cl-ana.pathname-utils.asd") + ((#:asd-system-name _ #f) "cl-ana.pathname-utils"))))) + +(define-public cl-ana.pathname-utils + (sbcl-package->cl-source-package sbcl-cl-ana.pathname-utils)) + +(define-public ecl-cl-ana.pathname-utils + (sbcl-package->ecl-package sbcl-cl-ana.pathname-utils)) + +(define-public sbcl-cl-ana.package-utils + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.package-utils") + (inputs + `(("alexandria" ,sbcl-alexandria))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "package-utils/cl-ana.package-utils.asd") + ((#:asd-system-name _ #f) "cl-ana.package-utils"))))) + +(define-public cl-ana.package-utils + (sbcl-package->cl-source-package sbcl-cl-ana.package-utils)) + +(define-public ecl-cl-ana.package-utils + (sbcl-package->ecl-package sbcl-cl-ana.package-utils)) + +(define-public sbcl-cl-ana.string-utils + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.string-utils") + (inputs + `(("split-sequence" ,sbcl-split-sequence))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "string-utils/cl-ana.string-utils.asd") + ((#:asd-system-name _ #f) "cl-ana.string-utils"))))) + +(define-public cl-ana.string-utils + (sbcl-package->cl-source-package sbcl-cl-ana.string-utils)) + +(define-public ecl-cl-ana.string-utils + (sbcl-package->ecl-package sbcl-cl-ana.string-utils)) + +(define-public sbcl-cl-ana.functional-utils + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.functional-utils") + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "functional-utils/cl-ana.functional-utils.asd") + ((#:asd-system-name _ #f) "cl-ana.functional-utils"))))) + +(define-public cl-ana.functional-utils + (sbcl-package->cl-source-package sbcl-cl-ana.functional-utils)) + +(define-public ecl-cl-ana.functional-utils + (sbcl-package->ecl-package sbcl-cl-ana.functional-utils)) + +(define-public sbcl-cl-ana.list-utils + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.list-utils") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.functional-utils" ,sbcl-cl-ana.functional-utils) + ("cl-ana.string-utils" ,sbcl-cl-ana.string-utils))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "list-utils/cl-ana.list-utils.asd") + ((#:asd-system-name _ #f) "cl-ana.list-utils"))))) + +(define-public cl-ana.list-utils + (sbcl-package->cl-source-package sbcl-cl-ana.list-utils)) + +(define-public ecl-cl-ana.list-utils + (sbcl-package->ecl-package sbcl-cl-ana.list-utils)) + +(define-public sbcl-cl-ana.generic-math + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.generic-math") + (inputs + `(("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.package-utils" ,sbcl-cl-ana.package-utils))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "generic-math/cl-ana.generic-math.asd") + ((#:asd-system-name _ #f) "cl-ana.generic-math"))))) + +(define-public cl-ana.generic-math + (sbcl-package->cl-source-package sbcl-cl-ana.generic-math)) + +(define-public ecl-cl-ana.generic-math + (sbcl-package->ecl-package sbcl-cl-ana.generic-math)) + +(define-public sbcl-cl-ana.math-functions + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.math-functions") + (inputs + `(("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("gsll" ,sbcl-gsll))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "math-functions/cl-ana.math-functions.asd") + ((#:asd-system-name _ #f) "cl-ana.math-functions"))))) + +(define-public cl-ana.math-functions + (sbcl-package->cl-source-package sbcl-cl-ana.math-functions)) + +(define-public sbcl-cl-ana.calculus + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.calculus") + (inputs + `(("cl-ana.generic-math" ,sbcl-cl-ana.generic-math))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "calculus/cl-ana.calculus.asd") + ((#:asd-system-name _ #f) "cl-ana.calculus"))))) + +(define-public cl-ana.calculus + (sbcl-package->cl-source-package sbcl-cl-ana.calculus)) + +(define-public ecl-cl-ana.calculus + (sbcl-package->ecl-package sbcl-cl-ana.calculus)) + +(define-public sbcl-cl-ana.symbol-utils + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.symbol-utils") + (inputs + `(("cl-ana.list-utils" ,sbcl-cl-ana.list-utils))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "symbol-utils/cl-ana.symbol-utils.asd") + ((#:asd-system-name _ #f) "cl-ana.symbol-utils"))))) + +(define-public cl-ana.symbol-utils + (sbcl-package->cl-source-package sbcl-cl-ana.symbol-utils)) + +(define-public ecl-cl-ana.symbol-utils + (sbcl-package->ecl-package sbcl-cl-ana.symbol-utils)) + +(define-public sbcl-cl-ana.macro-utils + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.macro-utils") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.string-utils" ,sbcl-cl-ana.string-utils) + ("cl-ana.symbol-utils" ,sbcl-cl-ana.symbol-utils) + ("split-sequence" ,sbcl-split-sequence))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "macro-utils/cl-ana.macro-utils.asd") + ((#:asd-system-name _ #f) "cl-ana.macro-utils"))))) + +(define-public cl-ana.macro-utils + (sbcl-package->cl-source-package sbcl-cl-ana.macro-utils)) + +(define-public ecl-cl-ana.macro-utils + (sbcl-package->ecl-package sbcl-cl-ana.macro-utils)) + +(define-public sbcl-cl-ana.binary-tree + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.binary-tree") + (inputs + `(("cl-ana.functional-utils" ,sbcl-cl-ana.functional-utils) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.macro-utils" ,sbcl-cl-ana.macro-utils))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "binary-tree/cl-ana.binary-tree.asd") + ((#:asd-system-name _ #f) "cl-ana.binary-tree"))))) + +(define-public cl-ana.binary-tree + (sbcl-package->cl-source-package sbcl-cl-ana.binary-tree)) + +(define-public ecl-cl-ana.binary-tree + (sbcl-package->ecl-package sbcl-cl-ana.binary-tree)) + +(define-public sbcl-cl-ana.tensor + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.tensor") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.macro-utils" ,sbcl-cl-ana.macro-utils) + ("cl-ana.symbol-utils" ,sbcl-cl-ana.symbol-utils))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "tensor/cl-ana.tensor.asd") + ((#:asd-system-name _ #f) "cl-ana.tensor"))))) + +(define-public cl-ana.tensor + (sbcl-package->cl-source-package sbcl-cl-ana.tensor)) + +(define-public ecl-cl-ana.tensor + (sbcl-package->ecl-package sbcl-cl-ana.tensor)) + +(define-public sbcl-cl-ana.error-propogation + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.error-propogation") + (inputs + `(("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.math-functions" ,sbcl-cl-ana.math-functions))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "error-propogation/cl-ana.error-propogation.asd") + ((#:asd-system-name _ #f) "cl-ana.error-propogation"))))) + +(define-public cl-ana.error-propogation + (sbcl-package->cl-source-package sbcl-cl-ana.error-propogation)) + +(define-public sbcl-cl-ana.quantity + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.quantity") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.error-propogation" ,sbcl-cl-ana.error-propogation) + ("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.macro-utils" ,sbcl-cl-ana.macro-utils) + ("cl-ana.symbol-utils" ,sbcl-cl-ana.symbol-utils))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "quantity/cl-ana.quantity.asd") + ((#:asd-system-name _ #f) "cl-ana.quantity"))))) + +(define-public cl-ana.quantity + (sbcl-package->cl-source-package sbcl-cl-ana.quantity)) + +(define-public sbcl-cl-ana.table + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.table") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.functional-utils" ,sbcl-cl-ana.functional-utils) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.macro-utils" ,sbcl-cl-ana.macro-utils) + ("cl-ana.string-utils" ,sbcl-cl-ana.string-utils) + ("cl-ana.symbol-utils" ,sbcl-cl-ana.symbol-utils))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "table/cl-ana.table.asd") + ((#:asd-system-name _ #f) "cl-ana.table"))))) + +(define-public cl-ana.table + (sbcl-package->cl-source-package sbcl-cl-ana.table)) + +(define-public ecl-cl-ana.table + (sbcl-package->ecl-package sbcl-cl-ana.table)) + +(define-public sbcl-cl-ana.table-utils + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.table-utils") + (inputs + `(("cl-ana.string-utils" ,sbcl-cl-ana.string-utils) + ("cl-ana.symbol-utils" ,sbcl-cl-ana.symbol-utils) + ("cl-ana.table" ,sbcl-cl-ana.table))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "table-utils/cl-ana.table-utils.asd") + ((#:asd-system-name _ #f) "cl-ana.table-utils"))))) + +(define-public cl-ana.table-utils + (sbcl-package->cl-source-package sbcl-cl-ana.table-utils)) + +(define-public ecl-cl-ana.table-utils + (sbcl-package->ecl-package sbcl-cl-ana.table-utils)) + +(define-public sbcl-cl-ana.hdf-cffi + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.hdf-cffi") + (inputs + `(("cffi" ,sbcl-cffi) + ("hdf5" ,hdf5-parallel-openmpi))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "hdf-cffi/cl-ana.hdf-cffi.asd") + ((#:asd-system-name _ #f) "cl-ana.hdf-cffi") + ((#:phases phases '%standard-phases) + `(modify-phases ,phases + (add-after 'unpack 'fix-paths + (lambda* (#:key inputs #:allow-other-keys) + (substitute* "hdf-cffi/hdf-cffi.lisp" + (("/usr/lib/i386-linux-gnu/hdf5/serial/libhdf5.so") + (string-append + (assoc-ref inputs "hdf5") + "/lib/libhdf5.so"))))))))))) + +(define-public cl-ana.hdf-cffi + (sbcl-package->cl-source-package sbcl-cl-ana.hdf-cffi)) + +(define-public ecl-cl-ana.hdf-cffi + (sbcl-package->ecl-package sbcl-cl-ana.hdf-cffi)) + +(define-public sbcl-cl-ana.int-char + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.int-char") + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "int-char/cl-ana.int-char.asd") + ((#:asd-system-name _ #f) "cl-ana.int-char"))))) + +(define-public cl-ana.int-char + (sbcl-package->cl-source-package sbcl-cl-ana.int-char)) + +(define-public ecl-cl-ana.int-char + (sbcl-package->ecl-package sbcl-cl-ana.int-char)) + +(define-public sbcl-cl-ana.memoization + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.memoization") + (inputs + `(("alexandria" ,sbcl-alexandria))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "memoization/cl-ana.memoization.asd") + ((#:asd-system-name _ #f) "cl-ana.memoization"))))) + +(define-public cl-ana.memoization + (sbcl-package->cl-source-package sbcl-cl-ana.memoization)) + +(define-public ecl-cl-ana.memoization + (sbcl-package->ecl-package sbcl-cl-ana.memoization)) + +(define-public sbcl-cl-ana.typespec + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.typespec") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cffi" ,sbcl-cffi) + ("cl-ana.int-char" ,sbcl-cl-ana.int-char) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.memoization" ,sbcl-cl-ana.memoization) + ("cl-ana.string-utils" ,sbcl-cl-ana.string-utils) + ("cl-ana.symbol-utils" ,sbcl-cl-ana.symbol-utils) + ("cl-ana.tensor" ,sbcl-cl-ana.tensor))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "typespec/cl-ana.typespec.asd") + ((#:asd-system-name _ #f) "cl-ana.typespec"))))) + +(define-public cl-ana.typespec + (sbcl-package->cl-source-package sbcl-cl-ana.typespec)) + +(define-public ecl-cl-ana.typespec + (sbcl-package->ecl-package sbcl-cl-ana.typespec)) + +(define-public sbcl-cl-ana.hdf-typespec + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.hdf-typespec") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cffi" ,sbcl-cffi) + ("cl-ana.hdf-cffi" ,sbcl-cl-ana.hdf-cffi) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.memoization" ,sbcl-cl-ana.memoization) + ("cl-ana.string-utils" ,sbcl-cl-ana.string-utils) + ("cl-ana.symbol-utils" ,sbcl-cl-ana.symbol-utils) + ("cl-ana.typespec" ,sbcl-cl-ana.typespec))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "hdf-typespec/cl-ana.hdf-typespec.asd") + ((#:asd-system-name _ #f) "cl-ana.hdf-typespec"))))) + +(define-public cl-ana.hdf-typespec + (sbcl-package->cl-source-package sbcl-cl-ana.hdf-typespec)) + +(define-public ecl-cl-ana.hdf-typespec + (sbcl-package->ecl-package sbcl-cl-ana.hdf-typespec)) + +(define-public sbcl-cl-ana.hdf-utils + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.hdf-utils") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cffi" ,sbcl-cffi) + ("cl-ana.hdf-cffi" ,sbcl-cl-ana.hdf-cffi) + ("cl-ana.hdf-typespec" ,sbcl-cl-ana.hdf-typespec) + ("cl-ana.macro-utils" ,sbcl-cl-ana.macro-utils) + ("cl-ana.memoization" ,sbcl-cl-ana.memoization) + ("cl-ana.pathname-utils" ,sbcl-cl-ana.pathname-utils) + ("cl-ana.string-utils" ,sbcl-cl-ana.string-utils) + ("cl-ana.typespec" ,sbcl-cl-ana.typespec))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "hdf-utils/cl-ana.hdf-utils.asd") + ((#:asd-system-name _ #f) "cl-ana.hdf-utils"))))) + +(define-public cl-ana.hdf-utils + (sbcl-package->cl-source-package sbcl-cl-ana.hdf-utils)) + +(define-public ecl-cl-ana.hdf-utils + (sbcl-package->ecl-package sbcl-cl-ana.hdf-utils)) + +(define-public sbcl-cl-ana.typed-table + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.typed-table") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.string-utils" ,sbcl-cl-ana.string-utils) + ("cl-ana.symbol-utils" ,sbcl-cl-ana.symbol-utils) + ("cl-ana.table" ,sbcl-cl-ana.table) + ("cl-ana.typespec" ,sbcl-cl-ana.typespec))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "typed-table/cl-ana.typed-table.asd") + ((#:asd-system-name _ #f) "cl-ana.typed-table"))))) + +(define-public cl-ana.typed-table + (sbcl-package->cl-source-package sbcl-cl-ana.typed-table)) + +(define-public ecl-cl-ana.typed-table + (sbcl-package->ecl-package sbcl-cl-ana.typed-table)) + +(define-public sbcl-cl-ana.hdf-table + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.hdf-table") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.binary-tree" ,sbcl-cl-ana.binary-tree) + ("cl-ana.hdf-cffi" ,sbcl-cl-ana.hdf-cffi) + ("cl-ana.hdf-typespec" ,sbcl-cl-ana.hdf-typespec) + ("cl-ana.hdf-utils" ,sbcl-cl-ana.hdf-utils) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.memoization" ,sbcl-cl-ana.memoization) + ("cl-ana.table" ,sbcl-cl-ana.table) + ("cl-ana.typed-table" ,sbcl-cl-ana.typed-table) + ("cl-ana.typespec" ,sbcl-cl-ana.typespec))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "hdf-table/cl-ana.hdf-table.asd") + ((#:asd-system-name _ #f) "cl-ana.hdf-table"))))) + +(define-public cl-ana.hdf-table + (sbcl-package->cl-source-package sbcl-cl-ana.hdf-table)) + +(define-public ecl-cl-ana.hdf-table + (sbcl-package->ecl-package sbcl-cl-ana.hdf-table)) + +(define-public sbcl-cl-ana.gsl-cffi + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.gsl-cffi") + (inputs + `(("cffi" ,sbcl-cffi) + ("gsl" ,gsl))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "gsl-cffi/cl-ana.gsl-cffi.asd") + ((#:asd-system-name _ #f) "cl-ana.gsl-cffi") + ((#:phases phases '%standard-phases) + `(modify-phases ,phases + (add-after 'unpack 'fix-paths + (lambda* (#:key inputs #:allow-other-keys) + (substitute* "gsl-cffi/gsl-cffi.lisp" + (("define-foreign-library gsl-cffi" all) + (string-append all " (:unix " + (assoc-ref inputs "gsl") + "/lib/libgsl.so)"))))))))))) + +(define-public cl-ana.gsl-cffi + (sbcl-package->cl-source-package sbcl-cl-ana.gsl-cffi)) + +(define-public ecl-cl-ana.gsl-cffi + (sbcl-package->ecl-package sbcl-cl-ana.gsl-cffi)) + +(define-public sbcl-cl-ana.ntuple-table + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.ntuple-table") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cffi" ,sbcl-cffi) + ("cl-ana.gsl-cffi" ,sbcl-cl-ana.gsl-cffi) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.table" ,sbcl-cl-ana.table) + ("cl-ana.typed-table" ,sbcl-cl-ana.typed-table) + ("cl-ana.typespec" ,sbcl-cl-ana.typespec) + ("gsll" ,sbcl-gsll))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "ntuple-table/cl-ana.ntuple-table.asd") + ((#:asd-system-name _ #f) "cl-ana.ntuple-table"))))) + +(define-public cl-ana.ntuple-table + (sbcl-package->cl-source-package sbcl-cl-ana.ntuple-table)) + +(define-public sbcl-cl-ana.csv-table + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.csv-table") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("antik" ,sbcl-antik) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.table" ,sbcl-cl-ana.table) + ("cl-csv" ,sbcl-cl-csv) + ("iterate" ,sbcl-iterate))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "csv-table/cl-ana.csv-table.asd") + ((#:asd-system-name _ #f) "cl-ana.csv-table"))))) + +(define-public cl-ana.csv-table + (sbcl-package->cl-source-package sbcl-cl-ana.csv-table)) + +(define-public sbcl-cl-ana.reusable-table + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.reusable-table") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.table" ,sbcl-cl-ana.table))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "reusable-table/cl-ana.reusable-table.asd") + ((#:asd-system-name _ #f) "cl-ana.reusable-table"))))) + +(define-public cl-ana.reusable-table + (sbcl-package->cl-source-package sbcl-cl-ana.reusable-table)) + +(define-public ecl-cl-ana.reusable-table + (sbcl-package->ecl-package sbcl-cl-ana.reusable-table)) + +(define-public sbcl-cl-ana.linear-algebra + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.linear-algebra") + (inputs + `(("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.math-functions" ,sbcl-cl-ana.math-functions) + ("cl-ana.tensor" ,sbcl-cl-ana.tensor) + ("gsll" ,sbcl-gsll))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "linear-algebra/cl-ana.linear-algebra.asd") + ((#:asd-system-name _ #f) "cl-ana.linear-algebra"))))) + +(define-public cl-ana.linear-algebra + (sbcl-package->cl-source-package sbcl-cl-ana.linear-algebra)) + +(define-public sbcl-cl-ana.lorentz + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.lorentz") + (inputs + `(("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.linear-algebra" ,sbcl-cl-ana.linear-algebra) + ("cl-ana.tensor" ,sbcl-cl-ana.tensor) + ("iterate" ,sbcl-iterate))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "lorentz/cl-ana.lorentz.asd") + ((#:asd-system-name _ #f) "cl-ana.lorentz"))))) + +(define-public cl-ana.lorentz + (sbcl-package->cl-source-package sbcl-cl-ana.lorentz)) + +(define-public sbcl-cl-ana.clos-utils + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.clos-utils") + (inputs + `(("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.symbol-utils" ,sbcl-cl-ana.symbol-utils) + ("cl-ana.tensor" ,sbcl-cl-ana.tensor) + ("closer-mop" ,sbcl-closer-mop))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "clos-utils/cl-ana.clos-utils.asd") + ((#:asd-system-name _ #f) "cl-ana.clos-utils"))))) + +(define-public cl-ana.clos-utils + (sbcl-package->cl-source-package sbcl-cl-ana.clos-utils)) + +(define-public ecl-cl-ana.clos-utils + (sbcl-package->ecl-package sbcl-cl-ana.clos-utils)) + +(define-public sbcl-cl-ana.hash-table-utils + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.hash-table-utils") + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "hash-table-utils/cl-ana.hash-table-utils.asd") + ((#:asd-system-name _ #f) "cl-ana.hash-table-utils"))))) + +(define-public cl-ana.hash-table-utils + (sbcl-package->cl-source-package sbcl-cl-ana.hash-table-utils)) + +(define-public ecl-cl-ana.hash-table-utils + (sbcl-package->ecl-package sbcl-cl-ana.hash-table-utils)) + +(define-public sbcl-cl-ana.map + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.map") + (inputs + `(("cl-ana.hash-table-utils" ,sbcl-cl-ana.hash-table-utils))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "map/cl-ana.map.asd") + ((#:asd-system-name _ #f) "cl-ana.map"))))) + +(define-public cl-ana.map + (sbcl-package->cl-source-package sbcl-cl-ana.map)) + +(define-public ecl-cl-ana.map + (sbcl-package->ecl-package sbcl-cl-ana.map)) + +(define-public sbcl-cl-ana.fitting + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.fitting") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.error-propogation" ,sbcl-cl-ana.error-propogation) + ("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.map" ,sbcl-cl-ana.map) + ("cl-ana.math-functions" ,sbcl-cl-ana.math-functions) + ("gsll" ,sbcl-gsll))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "fitting/cl-ana.fitting.asd") + ((#:asd-system-name _ #f) "cl-ana.fitting"))))) + +(define-public cl-ana.fitting + (sbcl-package->cl-source-package sbcl-cl-ana.fitting)) + +(define-public sbcl-cl-ana.histogram + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.histogram") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("iterate" ,sbcl-iterate) + ("cl-ana.binary-tree" ,sbcl-cl-ana.binary-tree) + ("cl-ana.clos-utils" ,sbcl-cl-ana.clos-utils) + ("cl-ana.fitting" ,sbcl-cl-ana.fitting) + ("cl-ana.functional-utils" ,sbcl-cl-ana.functional-utils) + ("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.hash-table-utils" ,sbcl-cl-ana.hash-table-utils) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.macro-utils" ,sbcl-cl-ana.macro-utils) + ("cl-ana.map" ,sbcl-cl-ana.map) + ("cl-ana.tensor" ,sbcl-cl-ana.tensor))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "histogram/cl-ana.histogram.asd") + ((#:asd-system-name _ #f) "cl-ana.histogram"))))) + +(define-public cl-ana.histogram + (sbcl-package->cl-source-package sbcl-cl-ana.histogram)) + +(define-public sbcl-cl-ana.file-utils + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.file-utils") + (inputs + `(("external-program" ,sbcl-external-program) + ("split-sequence" ,sbcl-split-sequence))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "file-utils/cl-ana.file-utils.asd") + ((#:asd-system-name _ #f) "cl-ana.file-utils"))))) + +(define-public cl-ana.file-utils + (sbcl-package->cl-source-package sbcl-cl-ana.file-utils)) + +(define-public ecl-cl-ana.file-utils + (sbcl-package->ecl-package sbcl-cl-ana.file-utils)) + +(define-public sbcl-cl-ana.statistics + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.statistics") + (inputs + `(("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.histogram" ,sbcl-cl-ana.histogram) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.macro-utils" ,sbcl-cl-ana.macro-utils) + ("cl-ana.map" ,sbcl-cl-ana.map))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "statistics/cl-ana.statistics.asd") + ((#:asd-system-name _ #f) "cl-ana.statistics"))))) + +(define-public cl-ana.statistics + (sbcl-package->cl-source-package sbcl-cl-ana.statistics)) + +(define-public sbcl-cl-ana.gnuplot-interface + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.gnuplot-interface") + (inputs + `(("external-program" ,sbcl-external-program))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "gnuplot-interface/cl-ana.gnuplot-interface.asd") + ((#:asd-system-name _ #f) "cl-ana.gnuplot-interface"))))) + +(define-public cl-ana.gnuplot-interface + (sbcl-package->cl-source-package sbcl-cl-ana.gnuplot-interface)) + +(define-public ecl-cl-ana.gnuplot-interface + (sbcl-package->ecl-package sbcl-cl-ana.gnuplot-interface)) + +(define-public sbcl-cl-ana.plotting + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.plotting") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.error-propogation" ,sbcl-cl-ana.error-propogation) + ("cl-ana.functional-utils" ,sbcl-cl-ana.functional-utils) + ("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.gnuplot-interface" ,sbcl-cl-ana.gnuplot-interface) + ("cl-ana.histogram" ,sbcl-cl-ana.histogram) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.macro-utils" ,sbcl-cl-ana.macro-utils) + ("cl-ana.map" ,sbcl-cl-ana.map) + ("cl-ana.math-functions" ,sbcl-cl-ana.math-functions) + ("cl-ana.pathname-utils" ,sbcl-cl-ana.pathname-utils) + ("cl-ana.string-utils" ,sbcl-cl-ana.string-utils) + ("cl-ana.tensor" ,sbcl-cl-ana.tensor) + ("external-program" ,sbcl-external-program) + ("split-sequence" ,sbcl-split-sequence))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "plotting/cl-ana.plotting.asd") + ((#:asd-system-name _ #f) "cl-ana.plotting"))))) + +(define-public cl-ana.plotting + (sbcl-package->cl-source-package sbcl-cl-ana.plotting)) + +(define-public sbcl-cl-ana.table-viewing + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.table-viewing") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.histogram" ,sbcl-cl-ana.histogram) + ("cl-ana.macro-utils" ,sbcl-cl-ana.macro-utils) + ("cl-ana.plotting" ,sbcl-cl-ana.plotting) + ("cl-ana.string-utils" ,sbcl-cl-ana.string-utils) + ("cl-ana.table" ,sbcl-cl-ana.table))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "table-viewing/cl-ana.table-viewing.asd") + ((#:asd-system-name _ #f) "cl-ana.table-viewing"))))) + +(define-public cl-ana.table-viewing + (sbcl-package->cl-source-package sbcl-cl-ana.table-viewing)) + +(define-public sbcl-cl-ana.serialization + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.serialization") + (inputs + `(("cl-ana.error-propogation" ,sbcl-cl-ana.error-propogation) + ("cl-ana.hdf-utils" ,sbcl-cl-ana.hdf-utils) + ("cl-ana.hdf-table" ,sbcl-cl-ana.hdf-table) + ("cl-ana.histogram" ,sbcl-cl-ana.histogram) + ("cl-ana.int-char" ,sbcl-cl-ana.int-char) + ("cl-ana.macro-utils" ,sbcl-cl-ana.macro-utils) + ("cl-ana.typespec" ,sbcl-cl-ana.typespec))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "serialization/cl-ana.serialization.asd") + ((#:asd-system-name _ #f) "cl-ana.serialization"))))) + +(define-public cl-ana.serialization + (sbcl-package->cl-source-package sbcl-cl-ana.serialization)) + +(define-public sbcl-cl-ana.makeres + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.makeres") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.error-propogation" ,sbcl-cl-ana.error-propogation) + ("cl-ana.file-utils" ,sbcl-cl-ana.file-utils) + ("cl-ana.functional-utils" ,sbcl-cl-ana.functional-utils) + ("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.hash-table-utils" ,sbcl-cl-ana.hash-table-utils) + ("cl-ana.hdf-utils" ,sbcl-cl-ana.hdf-utils) + ("cl-ana.histogram" ,sbcl-cl-ana.histogram) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.macro-utils" ,sbcl-cl-ana.macro-utils) + ("cl-ana.map" ,sbcl-cl-ana.map) + ("cl-ana.memoization" ,sbcl-cl-ana.memoization) + ("cl-ana.pathname-utils" ,sbcl-cl-ana.pathname-utils) + ("cl-ana.plotting" ,sbcl-cl-ana.plotting) + ("cl-ana.reusable-table" ,sbcl-cl-ana.reusable-table) + ("cl-ana.serialization" ,sbcl-cl-ana.serialization) + ("cl-ana.string-utils" ,sbcl-cl-ana.string-utils) + ("cl-ana.symbol-utils" ,sbcl-cl-ana.symbol-utils) + ("cl-ana.table" ,sbcl-cl-ana.table) + ("external-program" ,sbcl-external-program))) + (native-inputs + `(("cl-fad" ,sbcl-cl-fad))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "makeres/cl-ana.makeres.asd") + ((#:asd-system-name _ #f) "cl-ana.makeres"))))) + +(define-public cl-ana.makeres + (sbcl-package->cl-source-package sbcl-cl-ana.makeres)) + +(define-public sbcl-cl-ana.makeres-macro + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.makeres-macro") + (inputs + `(("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.makeres" ,sbcl-cl-ana.makeres))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "makeres-macro/cl-ana.makeres-macro.asd") + ((#:asd-system-name _ #f) "cl-ana.makeres-macro"))))) + +(define-public cl-ana.makeres-macro + (sbcl-package->cl-source-package sbcl-cl-ana.makeres-macro)) + +(define-public sbcl-cl-ana.makeres-block + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.makeres-block") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.macro-utils" ,sbcl-cl-ana.macro-utils) + ("cl-ana.makeres" ,sbcl-cl-ana.makeres))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "makeres-block/cl-ana.makeres-block.asd") + ((#:asd-system-name _ #f) "cl-ana.makeres-block"))))) + +(define-public cl-ana.makeres-block + (sbcl-package->cl-source-package sbcl-cl-ana.makeres-block)) + +(define-public sbcl-cl-ana.makeres-progress + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.makeres-progress") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.makeres" ,sbcl-cl-ana.makeres))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "makeres-progress/cl-ana.makeres-progress.asd") + ((#:asd-system-name _ #f) "cl-ana.makeres-progress"))))) + +(define-public cl-ana.makeres-progress + (sbcl-package->cl-source-package sbcl-cl-ana.makeres-progress)) + +(define-public sbcl-cl-ana.makeres-table + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.makeres-table") + (inputs + `(("cl-ana.csv-table" ,sbcl-cl-ana.csv-table) + ("cl-ana.hash-table-utils" ,sbcl-cl-ana.hash-table-utils) + ("cl-ana.hdf-table" ,sbcl-cl-ana.hdf-table) + ("cl-ana.hdf-utils" ,sbcl-cl-ana.hdf-utils) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.macro-utils" ,sbcl-cl-ana.macro-utils) + ("cl-ana.makeres" ,sbcl-cl-ana.makeres) + ("cl-ana.makeres-macro" ,sbcl-cl-ana.makeres-macro) + ("cl-ana.memoization" ,sbcl-cl-ana.memoization) + ("cl-ana.ntuple-table" ,sbcl-cl-ana.ntuple-table) + ("cl-ana.reusable-table" ,sbcl-cl-ana.reusable-table) + ("cl-ana.string-utils" ,sbcl-cl-ana.string-utils) + ("cl-ana.table" ,sbcl-cl-ana.table))) + (native-inputs + `(("cl-fad" ,sbcl-cl-fad))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "makeres-table/cl-ana.makeres-table.asd") + ((#:asd-system-name _ #f) "cl-ana.makeres-table"))))) + +(define-public cl-ana.makeres-table + (sbcl-package->cl-source-package sbcl-cl-ana.makeres-table)) + +(define-public sbcl-cl-ana.makeres-graphviz + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.makeres-graphviz") + (inputs + `(("cl-ana.makeres" ,sbcl-cl-ana.makeres) + ("external-program" ,sbcl-external-program))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "makeres-graphviz/cl-ana.makeres-graphviz.asd") + ((#:asd-system-name _ #f) "cl-ana.makeres-graphviz"))))) + +(define-public cl-ana.makeres-graphviz + (sbcl-package->cl-source-package sbcl-cl-ana.makeres-graphviz)) + +(define-public sbcl-cl-ana.makeres-branch + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.makeres-branch") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.hash-table-utils" ,sbcl-cl-ana.hash-table-utils) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.map" ,sbcl-cl-ana.map) + ("cl-ana.makeres" ,sbcl-cl-ana.makeres))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "makeres-branch/cl-ana.makeres-branch.asd") + ((#:asd-system-name _ #f) "cl-ana.makeres-branch"))))) + +(define-public cl-ana.makeres-branch + (sbcl-package->cl-source-package sbcl-cl-ana.makeres-branch)) + +(define-public sbcl-cl-ana.makeres-utils + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.makeres-utils") + (inputs + `(("alexandria" ,sbcl-alexandria) + ("cl-ana.file-utils" ,sbcl-cl-ana.file-utils) + ("cl-ana.fitting" ,sbcl-cl-ana.fitting) + ("cl-ana.functional-utils" ,sbcl-cl-ana.functional-utils) + ("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.histogram" ,sbcl-cl-ana.histogram) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.macro-utils" ,sbcl-cl-ana.macro-utils) + ("cl-ana.makeres" ,sbcl-cl-ana.makeres) + ("cl-ana.map" ,sbcl-cl-ana.map) + ("cl-ana.pathname-utils" ,sbcl-cl-ana.pathname-utils) + ("cl-ana.plotting" ,sbcl-cl-ana.plotting) + ("cl-ana.reusable-table" ,sbcl-cl-ana.reusable-table) + ("cl-ana.string-utils" ,sbcl-cl-ana.string-utils) + ("cl-ana.symbol-utils" ,sbcl-cl-ana.symbol-utils) + ("cl-ana.table" ,sbcl-cl-ana.table))) + (native-inputs + `(("cl-fad" ,sbcl-cl-fad))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "makeres-utils/cl-ana.makeres-utils.asd") + ((#:asd-system-name _ #f) "cl-ana.makeres-utils"))))) + +(define-public cl-ana.makeres-utils + (sbcl-package->cl-source-package sbcl-cl-ana.makeres-utils)) + +(define-public sbcl-cl-ana.statistical-learning + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana.statistical-learning") + (inputs + `(("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.functional-utils" ,sbcl-cl-ana.functional-utils) + ("cl-ana.histogram" ,sbcl-cl-ana.histogram) + ("cl-ana.linear-algebra" ,sbcl-cl-ana.linear-algebra) + ("cl-ana.list-utils" ,sbcl-cl-ana.list-utils) + ("cl-ana.macro-utils" ,sbcl-cl-ana.macro-utils) + ("cl-ana.math-functions" ,sbcl-cl-ana.math-functions) + ("cl-ana.map" ,sbcl-cl-ana.map) + ("cl-ana.statistics" ,sbcl-cl-ana.statistics))) + (native-inputs + `(("cl-fad" ,sbcl-cl-fad))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") + "statistical-learning/cl-ana.statistical-learning.asd") + ((#:asd-system-name _ #f) "cl-ana.statistical-learning"))))) + +(define-public cl-ana.statistical-learning + (sbcl-package->cl-source-package sbcl-cl-ana.statistical-learning)) + +(define-public sbcl-cl-ana + (package + (inherit sbcl-cl-ana-boot0) + (name "sbcl-cl-ana") + (inputs + `(("cl-ana.binary-tree" ,sbcl-cl-ana.binary-tree) + ("cl-ana.calculus" ,sbcl-cl-ana.calculus) + ("cl-ana.clos-utils" ,sbcl-cl-ana.clos-utils) + ("cl-ana.csv-table" ,sbcl-cl-ana.csv-table) + ("cl-ana.error-propogation" ,sbcl-cl-ana.error-propogation) + ("cl-ana.file-utils" ,sbcl-cl-ana.file-utils) + ("cl-ana.fitting" ,sbcl-cl-ana.fitting) + ("cl-ana.generic-math" ,sbcl-cl-ana.generic-math) + ("cl-ana.hash-table-utils" ,sbcl-cl-ana.hash-table-utils) + ("cl-ana.hdf-table" ,sbcl-cl-ana.hdf-table) + ("cl-ana.histogram" ,sbcl-cl-ana.histogram) + ("cl-ana.int-char" ,sbcl-cl-ana.int-char) + ("cl-ana.linear-algebra" ,sbcl-cl-ana.linear-algebra) + ("cl-ana.lorentz" ,sbcl-cl-ana.lorentz) + ("cl-ana.map" ,sbcl-cl-ana.map) + ("cl-ana.makeres" ,sbcl-cl-ana.makeres) + ("cl-ana.makeres-block" ,sbcl-cl-ana.makeres-block) + ("cl-ana.makeres-branch" ,sbcl-cl-ana.makeres-branch) + ("cl-ana.makeres-graphviz" ,sbcl-cl-ana.makeres-graphviz) + ("cl-ana.makeres-macro" ,sbcl-cl-ana.makeres-macro) + ("cl-ana.makeres-progress" ,sbcl-cl-ana.makeres-progress) + ("cl-ana.makeres-table" ,sbcl-cl-ana.makeres-table) + ("cl-ana.makeres-utils" ,sbcl-cl-ana.makeres-utils) + ("cl-ana.math-functions" ,sbcl-cl-ana.math-functions) + ("cl-ana.ntuple-table" ,sbcl-cl-ana.ntuple-table) + ("cl-ana.package-utils" ,sbcl-cl-ana.package-utils) + ("cl-ana.pathname-utils" ,sbcl-cl-ana.pathname-utils) + ("cl-ana.plotting" ,sbcl-cl-ana.plotting) + ("cl-ana.quantity" ,sbcl-cl-ana.quantity) + ("cl-ana.reusable-table" ,sbcl-cl-ana.reusable-table) + ("cl-ana.serialization" ,sbcl-cl-ana.serialization) + ("cl-ana.statistics" ,sbcl-cl-ana.statistics) + ("cl-ana.statistical-learning" ,sbcl-cl-ana.statistical-learning) + ("cl-ana.table" ,sbcl-cl-ana.table) + ("cl-ana.table-utils" ,sbcl-cl-ana.table-utils) + ("cl-ana.table-viewing" ,sbcl-cl-ana.table-viewing) + ("cl-ana.tensor" ,sbcl-cl-ana.tensor) + ("libffi" ,libffi))) + (native-inputs + `(("cl-fad" ,sbcl-cl-fad))) + (arguments + (substitute-keyword-arguments (package-arguments sbcl-cl-ana-boot0) + ((#:asd-file _ "") "cl-ana.asd") + ((#:asd-system-name _ #f) "cl-ana"))))) + +(define-public cl-ana + (sbcl-package->cl-source-package sbcl-cl-ana)) diff --git a/gnu/packages/lua.scm b/gnu/packages/lua.scm index 23604868a5..a69291ec8a 100644 --- a/gnu/packages/lua.scm +++ b/gnu/packages/lua.scm @@ -3,7 +3,7 @@ ;;; Copyright © 2014 Raimon Grau <raimonster@gmail.com> ;;; Copyright © 2014 Mark H Weaver <mhw@netris.org> ;;; Copyright © 2014 Andreas Enge <andreas@enge.fr> -;;; Copyright © 2016, 2017 Efraim Flashner <efraim@flashner.co.il> +;;; Copyright © 2016, 2017, 2020 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2016, 2019 Ricardo Wurmus <rekado@elephly.net> ;;; Copyright © 2016 doncatnip <gnopap@gmail.com> ;;; Copyright © 2016, 2017, 2019 Clément Lassieur <clement@lassieur.org> @@ -196,14 +196,14 @@ language.") (name name) (version "3.0-rc1") (source (origin - (method url-fetch) - (uri (string-append - "https://github.com/diegonehab/luasocket/archive/v" - version ".tar.gz")) - (file-name (string-append name "-" version ".tar.gz")) + (method git-fetch) + (uri (git-reference + (url "https://github.com/diegonehab/luasocket") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) (sha256 (base32 - "0j8jx8bjicvp9khs26xjya8c495wrpb7parxfnabdqa5nnsxjrwb")))) + "1chs7z7a3i3lck4x7rz60ziwbf793gw169hpjdfca8y4yf1hzsxk")))) (build-system gnu-build-system) (arguments `(#:make-flags @@ -248,16 +248,18 @@ handy.") (define (make-lua-filesystem name lua) (package (name name) - (version "1.6.3") + (version "1.7.0.2") (source (origin - (method url-fetch) - (uri (string-append "https://github.com/keplerproject/" - "luafilesystem/archive/v_" - "1_6_3" ".tar.gz")) - (file-name (string-append name "-" version ".tar.gz")) + (method git-fetch) + (uri (git-reference + (url "https://github.com/keplerproject/luafilesystem") + (commit (string-append "v" + (string-join + (string-split version #\.) "_"))))) + (file-name (git-file-name name version)) (sha256 (base32 - "0s10ckxin0bysd6gaywqhxkpw3ybjhprr8m655b8cx3pxjwd49am")))) + "0zmprgkm9zawdf9wnw0v3w6ibaj442wlc6alp39hmw610fl4vghi")))) (build-system gnu-build-system) (arguments `(#:make-flags @@ -291,14 +293,16 @@ directory structure and file attributes.") (define (make-lua-sec name lua) (package (name name) - (version "0.7") + (version "0.9") (source (origin - (method url-fetch) - (uri (string-append "https://github.com/brunoos/luasec/archive/" - "luasec-" version ".tar.gz")) + (method git-fetch) + (uri (git-reference + (url "https://github.com/brunoos/luasec") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) (sha256 (base32 - "0c9sdz3gvrsbvvdqzpnsappgwl40hfljlpfybqis6wia3mdyjxi1")))) + "0ssncgkggyr8i3z6zbvgrgsqj2q8676rnsikhpfwnk9n7sx4gwbl")))) (build-system gnu-build-system) (arguments `(#:make-flags @@ -340,14 +344,14 @@ secure session between the peers.") (version "0.9.2") (source (origin - (method url-fetch) - (uri (string-append - "https://github.com/pavouk/lgi/archive/" - version ".tar.gz")) - (file-name (string-append name "-" version ".tar.gz")) + (method git-fetch) + (uri (git-reference + (url "https://github.com/pavouk/lgi") + (commit version))) + (file-name (git-file-name name version)) (sha256 - (base32 - "0kwcaj3ahi9gxfyp0lr5zgr6vi1mgsg9sz0980x0nwxlh9a11i6g")))) + (base32 + "03rbydnj411xpjvwsyvhwy4plm96481d7jax544mvk7apd8sd5jj")))) (build-system gnu-build-system) (arguments '(#:make-flags (list "CC=gcc" @@ -454,7 +458,7 @@ Grammars (PEGs).") (define (make-lua-luv name lua) (package (name name) - (version "1.30.1-1") + (version "1.32.0-0") (source (origin ;; The release tarball includes the sources of libuv but does ;; not include the pkg-config files. @@ -465,7 +469,7 @@ Grammars (PEGs).") (file-name (git-file-name name version)) (sha256 (base32 - "0b2zxrsjxzhzwfp28lchplrp272v6zkbpq1ddz7a0rf20l7dbls1")))) + "0c65c1lhbl0axnyks3910gjs0z0hw7w6jvl07g8kbpnbvfl4qajh")))) (build-system cmake-build-system) (arguments `(#:tests? #f ; there are none diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 0ed61ad4a1..be6e5b21e4 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -583,7 +583,7 @@ large scale eigenvalue problems.") (define-public lapack (package (name "lapack") - (version "3.7.1") + (version "3.9.0") (source (origin (method url-fetch) @@ -591,26 +591,18 @@ large scale eigenvalue problems.") version ".tgz")) (sha256 (base32 - "1j51r7n5w4k7r3lrvy7710xrpkg40wf4rqnmngfz6ck9ypckzign")))) + "1155qixp26c12yrxc76z9mlfw2h3xxymxxv5znpgzh5gaykpndgj")))) (build-system cmake-build-system) (home-page "http://www.netlib.org/lapack/") (inputs `(("fortran" ,gfortran) - ("python" ,python-2))) + ("python" ,python-wrapper))) (arguments `(#:configure-flags (list "-DBUILD_SHARED_LIBS:BOOL=YES" "-DLAPACKE=ON" - ;; Build the 'LAPACKE_clatms' functions. - "-DLAPACKE_WITH_TMG=ON") - #:phases - (modify-phases %standard-phases - (add-before 'check 'patch-python - (lambda* (#:key inputs #:allow-other-keys) - (let ((python (assoc-ref inputs "python"))) - (substitute* "lapack_testing.py" - (("/usr/bin/env python") python))) - #t))))) + "-DLAPACKE_WITH_TMG=ON" + "-DBUILD_TESTING=ON"))) (synopsis "Library for numerical linear algebra") (description "LAPACK is a Fortran 90 library for solving the most commonly occurring diff --git a/gnu/packages/messaging.scm b/gnu/packages/messaging.scm index 1c5866fc49..b71e68a90f 100644 --- a/gnu/packages/messaging.scm +++ b/gnu/packages/messaging.scm @@ -17,7 +17,7 @@ ;;; Copyright © 2018 Pierre-Antoine Rouby <contact@parouby.fr> ;;; Copyright © 2019 Tanguy Le Carrour <tanguy@bioneland.org> ;;; Copyright © 2019, 2020 Brett Gilio <brettg@gnu.org> -;;; Copyright © 2019 Timotej Lazar <timotej.lazar@araneo.si> +;;; Copyright © 2019, 2020 Timotej Lazar <timotej.lazar@araneo.si> ;;; ;;; This file is part of GNU Guix. ;;; @@ -214,7 +214,7 @@ additional IM client. BitlBee currently supports XMPP/Jabber (including Google Talk), MSN Messenger, Yahoo! Messenger, AIM and ICQ, and the Twitter microblogging network (plus all other Twitter API compatible services like identi.ca and status.net).") - (home-page "http://www.bitlbee.org/") + (home-page "https://www.bitlbee.org/") (license (list license:gpl2+ license:bsd-2)))) (define-public bitlbee-discord diff --git a/gnu/packages/networking.scm b/gnu/packages/networking.scm index bbcae8f38c..5a8019a8fc 100644 --- a/gnu/packages/networking.scm +++ b/gnu/packages/networking.scm @@ -14,7 +14,7 @@ ;;; Copyright © 2016, 2017 Pjotr Prins <pjotr.guix@thebird.nl> ;;; Copyright © 2017 Mathieu Othacehe <m.othacehe@gmail.com> ;;; Copyright © 2017 Leo Famulari <leo@famulari.name> -;;; Copyright © 2017, 2018, 2019 Efraim Flashner <efraim@flashner.co.il> +;;; Copyright © 2017, 2018, 2019, 2020 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2017, 2018, 2019 Rutger Helling <rhelling@mykolab.com> ;;; Copyright © 2017, 2019 Gábor Boskovits <boskovits@gmail.com> ;;; Copyright © 2017 Thomas Danckaert <post@thomasdanckaert.be> @@ -1237,6 +1237,14 @@ It is intended primarily for use in testing.") (base32 "0ln5f57vc8388kyh9vhx2infrdzfhbpgyby74h1qsnhwds95m0vh")))) (build-system perl-build-system) + (arguments + '(#:phases + (modify-phases %standard-phases + (add-after 'unpack 'dont-link-with-nsl ; Borrowed from Debian. + (lambda _ + (substitute* "Makefile.PL" + (("-lnsl") "")) + #t))))) (inputs `(("perl-net-cidr-lite" ,perl-net-cidr-lite) ("perl-socket6" ,perl-socket6))) diff --git a/gnu/packages/nfs.scm b/gnu/packages/nfs.scm index 9d7acc3592..a3d5383c4d 100644 --- a/gnu/packages/nfs.scm +++ b/gnu/packages/nfs.scm @@ -2,6 +2,7 @@ ;;; Copyright © 2016 John Darrington <jmd@gnu.org> ;;; Copyright © 2017, 2018 Leo Famulari <leo@famulari.name> ;;; Copyright © 2018 Efraim Flashner <efraim@flashner.co.il> +;;; Copyright © 2020 Ricardo Wurmus <rekado@elephly.net> ;;; ;;; This file is part of GNU Guix. ;;; @@ -20,6 +21,7 @@ (define-module (gnu packages nfs) #:use-module (gnu packages) + #:use-module (gnu packages crypto) #:use-module (gnu packages linux) #:use-module (gnu packages libevent) #:use-module (gnu packages kerberos) @@ -42,32 +44,27 @@ (define-public nfs-utils (package (name "nfs-utils") - (version "2.1.1") + (version "2.4.2") (source (origin (method url-fetch) (uri (string-append "mirror://kernel.org/linux/utils/nfs-utils/" version "/nfs-utils-" version ".tar.xz")) - (patches (search-patches "nfs-utils-missing-headers.patch")) (sha256 (base32 - "1vqrqzhg9nh2wj1icp7k8v9dibgnn521b45np79nnkmqf16bbbhg")))) + "0f0hm8jq1p5gra55v621qpbb3mryakaikzpy5znkvxym0dx76r24")))) (build-system gnu-build-system) (arguments `(#:configure-flags `("--without-tcp-wrappers" ,(string-append "--with-start-statd=" (assoc-ref %outputs "out") "/sbin/start-statd") - ,(string-append "--with-krb5=" (assoc-ref %build-inputs "mit-krb5"))) + ,(string-append "--with-krb5=" (assoc-ref %build-inputs "mit-krb5")) + ,(string-append "--with-pluginpath=" + (assoc-ref %outputs "out") + "/lib/libnfsidmap")) #:phases (modify-phases %standard-phases - (add-after 'unpack 'fix-glibc-compatability - (lambda _ - (substitute* '("utils/blkmapd/device-discovery.c" - "utils/blkmapd/dm-device.c") - (("<sys/stat.h>") - "<sys/stat.h>\n#include <sys/sysmacros.h>")) - #t)) (add-before 'configure 'adjust-command-file-names (lambda _ ;; Remove assumptions of FHS from start-statd script @@ -81,6 +78,11 @@ (string-append "exec " (assoc-ref %outputs "out") "/sbin/rpc.statd"))) + ;; find rpcgen + (substitute* "configure" + (("/usr/local/bin/rpcgen") + (which "rpcgen"))) + ;; This hook tries to write to /var ;; That needs to be done by a service too. (substitute* `("Makefile.in") @@ -96,20 +98,23 @@ (substitute* `("utils/statd/statd.c") (("/usr/sbin/") (string-append (assoc-ref %outputs "out") "/sbin/"))) - (substitute* `("utils/osd_login/Makefile.in" - "utils/mount/Makefile.in" + (substitute* `("utils/mount/Makefile.in" + "utils/nfsdcld/Makefile.in" "utils/nfsdcltrack/Makefile.in") (("^sbindir = /sbin") (string-append "sbindir = " (assoc-ref %outputs "out") "/sbin"))) #t))))) - (inputs `(("libevent" ,libevent) - ("libnfsidmap" ,libnfsidmap) - ("sqlite" ,sqlite) - ("lvm2" ,lvm2) - ("util-linux" ,util-linux) - ("mit-krb5" ,mit-krb5) - ("libtirpc" ,libtirpc))) + (inputs + `(("keyutils" ,keyutils) + ("libevent" ,libevent) + ("libnfsidmap" ,libnfsidmap) + ("rpcsvc-proto" ,rpcsvc-proto) ;for 'rpcgen' + ("sqlite" ,sqlite) + ("lvm2" ,lvm2) + ("util-linux" ,util-linux) + ("mit-krb5" ,mit-krb5) + ("libtirpc" ,libtirpc))) (native-inputs `(("pkg-config" ,pkg-config))) (home-page "http://www.kernel.org/pub/linux/utils/nfs-utils/") diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 2988810fc7..3253d0285a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -13,6 +13,7 @@ ;;; Copyright © 2018, 2019 Gabriel Hondet <gabrielhondet@gmail.com> ;;; Copyright © 2018 Kei Kebreau <kkebreau@posteo.net> ;;; Copyright © 2019 Ricardo Wurmus <rekado@elephly.net> +;;; Copyright © 2020 Brett Gilio <brettg@gnu.org> ;;; ;;; This file is part of GNU Guix. ;;; @@ -31,6 +32,7 @@ (define-module (gnu packages ocaml) #:use-module (gnu packages) + #:use-module (gnu packages algebra) #:use-module (gnu packages autotools) #:use-module (gnu packages base) #:use-module (gnu packages bison) @@ -3070,7 +3072,7 @@ instead of bindings to a C library.") (define-public ocaml-utop (package (name "ocaml-utop") - (version "2.4.2") + (version "2.4.3") (source (origin (method git-fetch) @@ -3079,7 +3081,7 @@ instead of bindings to a C library.") (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "0z8klqwqmq5i111p4awzvlvirhm1dxp0mbfagwfiwq1wg72v6zdm")))) + (base32 "1bl4943qpi3qy152dbdm5glhx19zsiylmn4rcxi8l66g58hikyjp")))) (build-system dune-build-system) (arguments `(#:jbuild? #t @@ -3092,7 +3094,7 @@ instead of bindings to a C library.") ("react" ,ocaml-react) ("camomile" ,ocaml-camomile) ("zed" ,ocaml-zed))) - (home-page "https://github.com/diml/utop") + (home-page "https://github.com/ocaml-community/utop") (synopsis "Improved interface to the OCaml toplevel") (description "UTop is an improved toplevel for OCaml. It can run in a terminal or in Emacs. It supports line editing, history, real-time and context @@ -5177,3 +5179,142 @@ Text inside doc comments is marked up in ocamldoc syntax. Odoc's main advantage over ocamldoc is an accurate cross-referencer, which handles the complexity of the OCaml module system.") (license license:isc))) + +(define-public ocaml-fftw3 + (package + (name "ocaml-fftw3") + (version "0.8.4") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/Chris00/fftw-ocaml.git") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0l66yagjkwdcib6q55wd8wiap50vi23qiahkghlvm28z7nvbclfk")))) + (build-system dune-build-system) + (arguments + `(#:tests? #t + #:test-target "tests")) + (propagated-inputs + `(("fftw" ,fftw) + ("fftwf" ,fftwf))) + (native-inputs + `(("ocaml-cppo" ,ocaml-cppo) + ("ocaml-lacaml" ,ocaml-lacaml))) + (home-page + "https://github.com/Chris00/fftw-ocaml") + (synopsis + "Bindings to FFTW3") + (description + "Bindings providing OCaml support for the seminal Fast Fourier Transform +library FFTW.") + (license license:lgpl2.1))) ; with static linking exception. + +(define-public ocaml-lacaml + (package + (name "ocaml-lacaml") + (version "11.0.5") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/mmottl/lacaml.git") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "180yb79a3qgx067qcpm50q12hrimjygf06rgkzbish9d1zfm670c")))) + (build-system dune-build-system) + (arguments + `(#:tests? #f)) ; No test target. + (native-inputs + `(("openblas" ,openblas) + ("lapack" ,lapack) + ("ocaml-base" ,ocaml-base) + ("ocaml-stdio" ,ocaml-stdio))) + (home-page "https://mmottl.github.io/lacaml/") + (synopsis + "OCaml-bindings to BLAS and LAPACK") + (description + "Lacaml interfaces the BLAS-library (Basic Linear Algebra Subroutines) and +LAPACK-library (Linear Algebra routines). It also contains many additional +convenience functions for vectors and matrices.") + (license license:lgpl2.1))) + +(define-public ocaml-cairo2 + (package + (name "ocaml-cairo2") + (version "0.6.1") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/Chris00/ocaml-cairo.git") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0wzysis9fa850s68qh8vrvqc6svgllhwra3kzll2ibv0wmdqrich")))) + (build-system dune-build-system) + (arguments + `(#:test-target "tests")) + (inputs + `(("cairo" ,cairo) + ("gtk+-2" ,gtk+-2) + ("lablgtk" ,lablgtk))) + (native-inputs + `(("pkg-config" ,pkg-config))) + (home-page "https://github.com/Chris00/ocaml-cairo") + (synopsis "Binding to Cairo, a 2D Vector Graphics Library") + (description "Ocaml-cairo2 is a binding to Cairo, a 2D graphics library +with support for multiple output devices. Currently supported output targets +include the X Window System, Quartz, Win32, image buffers, PostScript, PDF, +and SVG file output.") + (license license:lgpl3+))) + +(define-public lablgtk3 + (package + (name "lablgtk") + (version "3.0.beta8") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/garrigue/lablgtk.git") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "08pgwnia240i2rw1rbgiahg673kwa7b6bvhsg3z4b47xr5sh9pvz")))) + (build-system dune-build-system) + (arguments + `(#:tests? #t + #:test-target "." + #:phases + (modify-phases %standard-phases + (add-before 'build 'make-writable + (lambda _ + (for-each (lambda (file) + (chmod file #o644)) + (find-files "." ".")) + #t))))) + (propagated-inputs + `(("ocaml-cairo2" ,ocaml-cairo2))) + (inputs + `(("camlp5" ,camlp5) + ("gtk+" ,gtk+) + ("gtksourceview-3" ,gtksourceview-3) + ("gtkspell3" ,gtkspell3))) + (native-inputs + `(("pkg-config" ,pkg-config))) + (home-page "https://github.com/garrigue/lablgtk") + (synopsis "OCaml interface to GTK+3") + (description "LablGtk is an OCaml interface to GTK+ 1.2, 2.x and 3.x. It +provides a strongly-typed object-oriented interface that is compatible with the +dynamic typing of GTK+. Most widgets and methods are available. LablGtk +also provides bindings to gdk-pixbuf, the GLArea widget (in combination with +LablGL), gnomecanvas, gnomeui, gtksourceview, gtkspell, libglade (and it can +generate OCaml code from .glade files), libpanel, librsvg and quartz.") + ;; Version 2 only, with linking exception. + (license license:lgpl2.0))) diff --git a/gnu/packages/opencog.scm b/gnu/packages/opencog.scm new file mode 100644 index 0000000000..c6828d6603 --- /dev/null +++ b/gnu/packages/opencog.scm @@ -0,0 +1,295 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright © 2020 Ricardo Wurmus <rekado@elephly.net> +;;; +;;; 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 opencog) + #:use-module (gnu packages) + #:use-module (gnu packages boost) + #:use-module (gnu packages check) + #:use-module (gnu packages databases) + #:use-module (gnu packages guile) + #:use-module (gnu packages language) + #:use-module (gnu packages linux) + #:use-module (gnu packages multiprecision) + #:use-module (gnu packages pkg-config) + #:use-module (gnu packages python) + #:use-module ((guix licenses) #:prefix license:) + #:use-module (guix packages) + #:use-module (guix git-download) + #:use-module (guix build-system cmake) + #:use-module (guix utils)) + +(define-public cogutil + ;; The last release was in 2016. Other OpenCog packages require a later + ;; version. + (let ((commit "b07b41b2eaf01627c78b27f1f28bb09ef7086f8e") + (revision "1")) + (package + (name "cogutil") + (version (git-version "2.0.3" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/opencog/cogutil.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1ymmcrinp0prlxsmxmwdjjl4kgaj7wzq39d5b1q2apgg94yfdhqb")))) + (build-system cmake-build-system) + (arguments + `(#:test-target "tests")) + (inputs + `(("boost" ,boost))) + (native-inputs + `(("cxxtest" ,cxxtest) + ("python" ,python-minimal) + ("pkg-config" ,pkg-config))) + (home-page "https://github.com/opencog/cogutil/") + (synopsis "Low-level C++ programming utilities used by OpenCog components") + (description "The OpenCog utilities is a miscellaneous collection of C++ +utilities use for typical programming tasks in multiple OpenCog projects.") + ;; Either of these licenses. + (license (list license:agpl3 license:asl2.0))))) + +(define-public atomspace + ;; The last release was in 2016 and doesn't build with our Boost package. + (let ((commit "86c848dfc7135b3c47deb581f8da54a60f6711c9") + (revision "1")) + (package + (name "atomspace") + (version (git-version "5.0.3" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/opencog/atomspace.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0vxzhszb0z8081li38hid07a5axzxyflsmq1mcn4b1k4z1j8ggch")))) + (build-system cmake-build-system) + (arguments + `(#:test-target "tests" + #:configure-flags + (list (string-append "-DGUILE_INCLUDE_DIR=" + (assoc-ref %build-inputs "guile") + "/include/guile/2.2/") + (string-append "-DGUILE_SITE_DIR=" + (assoc-ref %outputs "out") + "/share/guile/site/2.2/")))) + (inputs + `(("boost" ,boost) + ("cogutil" ,cogutil) + ("gmp" ,gmp) + ("guile" ,guile-2.2) + ("postgresql" ,postgresql))) + (native-inputs + `(("cxxtest" ,cxxtest) + ("python" ,python-minimal) + ("pkg-config" ,pkg-config))) + (home-page "https://github.com/opencog/atomspace/") + (synopsis "OpenCog hypergraph database, query system and rule engine") + (description "The OpenCog AtomSpace is an in-RAM @dfn{knowledge +representation} (KR) database, an associated query engine and graph-re-writing +system, and a rule-driven inferencing engine that can apply and manipulate +sequences of rules to perform reasoning. It is a layer that sits on top of +ordinary distributed (graph) databases, providing a large variety of advanced +features not otherwise available.") + (license license:agpl3)))) + +(define-public cogserver + ;; There are no releases. + (let ((commit "c8ad85fef446819e6bd711f0791887a5aa6a41f9") + (revision "1")) + (package + (name "cogserver") + (version (git-version "0" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/opencog/cogserver.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0flwl2cbmnj7kjcx8vwk7rbhsp2si0a51ci0hx88a3xx1f76cp3f")))) + (build-system cmake-build-system) + (arguments + `(#:tests? #f ; See https://github.com/opencog/cogserver/issues/24 + #:test-target "tests" + #:configure-flags + (list (string-append "-DGUILE_INCLUDE_DIR=" + (assoc-ref %build-inputs "guile") + "/include/guile/2.2/") + (string-append "-DGUILE_SITE_DIR=" + (assoc-ref %outputs "out") + "/share/guile/site/2.2/")))) + (inputs + `(("atomspace" ,atomspace) + ("boost" ,boost) + ("cogutil" ,cogutil) + ("gmp" ,gmp) + ("guile" ,guile-2.2))) + (native-inputs + `(("cxxtest" ,cxxtest) + ("python" ,python-minimal) + ("pkg-config" ,pkg-config))) + (home-page "https://github.com/opencog/cogserver/") + (synopsis "OpenCog network server") + (description "The OpenCog Cogserver is a network and job server for the +OpenCog framework.") + (license license:agpl3)))) + +(define-public attention + ;; There are no releases. + (let ((commit "87d43679280ce486cd6757765d2e1df6d502991d") + (revision "1")) + (package + (name "attention") + (version (git-version "0" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/opencog/attention.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0sndslphicv6w9qpag168rqkxq5sf71l5qbfx6zhsd5bzlf5fhwv")))) + (build-system cmake-build-system) + (arguments + `(#:test-target "tests" + #:configure-flags + (list + (string-append "-DGUILE_INCLUDE_DIR=" + (assoc-ref %build-inputs "guile") + "/include/guile/2.2/") + (string-append "-DGUILE_SITE_DIR=" + (assoc-ref %outputs "out") + "/share/guile/site/2.2/")))) + (inputs + `(("atomspace" ,atomspace) + ("boost" ,boost) + ("cogserver" ,cogserver) + ("cogutil" ,cogutil) + ("gmp" ,gmp) + ("guile" ,guile-2.2))) + (native-inputs + `(("cxxtest" ,cxxtest) + ("python" ,python-minimal) + ("pkg-config" ,pkg-config))) + (home-page "https://github.com/opencog/attention/") + (synopsis "OpenCog attention allocation subsystem") + (description "Attention Allocation is an OpenCog subsystem meant to +control the application of processing and memory resources to specific +tasks.") + (license license:agpl3)))) + +(define-public opencog + ;; There are no recent releases. + (let ((commit "ceac90507610cb2d0ee98f97a2086865292b1204") + (revision "1")) + (package + (name "opencog") + (version (git-version "0.1.4" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/opencog/opencog.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1j8wv910fvrmph370wv5pv2f4bc2s9vl6i7bw3pkmwbdhxkhjbhm")))) + (build-system cmake-build-system) + (arguments + `(#:test-target "tests" + #:configure-flags + (list + (string-append "-DGUILE_INCLUDE_DIR=" + (assoc-ref %build-inputs "guile") + "/include/guile/2.2/") + (string-append "-DGUILE_SITE_DIR=" + (assoc-ref %outputs "out") + "/share/guile/site/2.2/")))) + (inputs + `(("attention" ,attention) + ("atomspace" ,atomspace) + ("boost" ,boost) + ("cogserver" ,cogserver) + ("cogutil" ,cogutil) + ("gmp" ,gmp) + ("guile" ,guile-2.2) + ("libuuid" ,util-linux) + ("link-grammar" ,link-grammar))) + (native-inputs + `(("cxxtest" ,cxxtest) + ("python" ,python-minimal) + ("pkg-config" ,pkg-config))) + (home-page "https://github.com/opencog/attention/") + (synopsis "Framework for integrated artificial intelligence") + (description "OpenCog is a framework for developing AI systems, +especially appropriate for integrative multi-algorithm systems, and artificial +general intelligence systems. It currently contains a functional core +framework, and a number of cognitive agents at varying levels of completion, +some already displaying interesting and useful functionalities alone and in +combination.") + (license license:agpl3)))) + +(define-public agi-bio + ;; There are no releases. + (let ((commit "b5c6f3d99e8cca3798bf0cdf2c32f4bdb8098efb") + (revision "1")) + (package + (name "agi-bio") + (version (git-version "0" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/opencog/agi-bio.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0c3q0nhmd03nvqm1ih10y28n596cjvfhkcfvzw2fmz1sn3ywdah4")))) + (build-system cmake-build-system) + (arguments + `(#:tests? #f ; there are none + #:configure-flags + (list + (string-append "-DGUILE_INCLUDE_DIR=" + (assoc-ref %build-inputs "guile") + "/include/guile/2.2/") + (string-append "-DGUILE_SITE_DIR=" + (assoc-ref %outputs "out") + "/share/guile/site/2.2/")))) + (inputs + `(("atomspace" ,atomspace) + ("cogutil" ,cogutil) + ("gmp" ,gmp) + ("guile" ,guile-2.2))) + (native-inputs + `(("cxxtest" ,cxxtest) + ("python" ,python-minimal) + ("pkg-config" ,pkg-config))) + (home-page "https://github.com/opencog/agi-bio") + (synopsis "Genomic and proteomic data exploration and pattern mining") + (description "This is a package for genomic and proteomic research using +the OpenCog toolset with Guile. This includes experiments in applying pattern +mining and other OpenCog components.") + (license license:agpl3)))) diff --git a/gnu/packages/package-management.scm b/gnu/packages/package-management.scm index 1daab4e879..6becdb22a9 100644 --- a/gnu/packages/package-management.scm +++ b/gnu/packages/package-management.scm @@ -1,15 +1,15 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2013, 2014, 2015, 2016, 2017, 2018, 2019 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2015, 2017 Ricardo Wurmus <rekado@elephly.net> ;;; Copyright © 2017 Muriithi Frederick Muriuki <fredmanglis@gmail.com> ;;; Copyright © 2017, 2018 Oleg Pykhalov <go.wigust@gmail.com> ;;; Copyright © 2017 Roel Janssen <roel@gnu.org> -;;; Copyright © 2017, 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr> +;;; Copyright © 2017, 2018, 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2018 Julien Lepiller <julien@lepiller.eu> ;;; Copyright © 2018, 2019 Rutger Helling <rhelling@mykolab.com> ;;; Copyright © 2018 Sou Bunnbu <iyzsong@member.fsf.org> ;;; Copyright © 2018, 2019 Eric Bavier <bavier@member.fsf.org> -;;; Copyright © 2019 Efraim Flashner <efraim@flashner.co.il> +;;; Copyright © 2019, 2020 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2019 Jonathan Brielmaier <jonathan.brielmaier@web.de> ;;; ;;; This file is part of GNU Guix. @@ -110,8 +110,8 @@ ;; Note: the 'update-guix-package.scm' script expects this definition to ;; start precisely like this. (let ((version "1.0.1") - (commit "41b4b713f4892918a9a1950acdd89f33b977d143") - (revision 10)) + (commit "f38eabe952608478230895e380ef441d65ea625e") + (revision 11)) (package (name "guix") @@ -127,7 +127,7 @@ (commit commit))) (sha256 (base32 - "08sblj4xy78va6zlxmxdq2id58pjr8rjqxxycd77hiacsqbjh9g6")) + "1wnm1wqa38dpd5bk6avyfm0rgx72vlx36a06scyg8d57kl47mzjf")) (file-name (string-append "guix-" version "-checkout")))) (build-system gnu-build-system) (arguments @@ -176,16 +176,27 @@ ;; Copy the bootstrap guile tarball in the store used ;; by the test suite. (define (intern file recursive?) - (let ((base (strip-store-file-name file))) - ;; Note: don't use 'guix download' here because we - ;; need to set the 'recursive?' argument. - (invoke "./test-env" "guile" "-c" - (object->string - `(begin - (use-modules (guix)) - (with-store store - (add-to-store store ,base ,recursive? - "sha256" ,file))))))) + ;; Note: don't use 'guix download' here because we + ;; need to set the 'recursive?' argument. + (define base + (strip-store-file-name file)) + + (define code + `(begin + (use-modules (guix)) + (with-store store + (let* ((item (add-to-store store ,base + ,recursive? + "sha256" ,file)) + (root (string-append "/tmp/gc-root-" + (basename item)))) + ;; Register a root so that the GC tests + ;; don't delete those. + (symlink item root) + (add-indirect-root store root))))) + + (invoke "./test-env" "guile" "-c" + (object->string code))) (intern (assoc-ref inputs "boot-guile") #f) @@ -566,13 +577,14 @@ transactions from C or Python.") (version "1.6.3") (source (origin - (method url-fetch) - (uri (string-append "https://github.com/Anaconda-Platform/" - "anaconda-client/archive/" version ".tar.gz")) - (file-name (string-append name "-" version ".tar.gz")) + (method git-fetch) + (uri (git-reference + (url "https://github.com/Anaconda-Platform/anaconda-client") + (commit version))) + (file-name (git-file-name name version)) (sha256 (base32 - "1wv4wi6k5jz7rlwfgvgfdizv77x3cr1wa2aj0k1595g7fbhkjhz2")))) + "0w1bfxnydjl9qp53r2gcvr6vlpdqqilcrzqxrll9sgg6vwdyiyyp")))) (build-system python-build-system) (propagated-inputs `(("python-pyyaml" ,python-pyyaml) @@ -621,13 +633,14 @@ environments.") (version "4.3.16") (source (origin - (method url-fetch) - (uri (string-append "https://github.com/conda/conda/archive/" - version ".tar.gz")) - (file-name (string-append name "-" version ".tar.gz")) + (method git-fetch) + (uri (git-reference + (url "https://github.com/conda/conda") + (commit version))) + (file-name (git-file-name name version)) (sha256 (base32 - "1jq8hyrc5npb5sf4vw6s6by4602yj8f79vzpbwdfgpkn02nfk1dv")))) + "1qwy0awx4qf2pbk8z2b7q6wdcq7mvwpxxjhg27mbirdvs5hw7hb2")))) (build-system python-build-system) (arguments `(#:phases @@ -663,6 +676,8 @@ environments.") ;; directory left when you build with the --keep-failed ;; option (delete-file "gateways/disk/test_delete.py") + ;; This file is no longer writable after downloading with 'git-fetch' + (make-file-writable "conda_env/support/saved-env/environment.yml") #t)))) (replace 'check (lambda _ diff --git a/gnu/packages/patches/libtgvoip-disable-sse2.patch b/gnu/packages/patches/libtgvoip-disable-sse2.patch new file mode 100644 index 0000000000..0e4faeab26 --- /dev/null +++ b/gnu/packages/patches/libtgvoip-disable-sse2.patch @@ -0,0 +1,51 @@ +Copied from Debian. + +Description: Disable SSE2 code on i386 + This patch is not complete. A high-graded solution may use automatic switching + between SSE2 and C++ implementations based on the results of runtime checks. + The webrtc code already provides for one of them inside its GetCPUInfo function. +Bug-Debian: https://bugs.debian.org/892823 +Author: Nicholas Guriev <guriev-ns@ya.ru> +Last-Update: Tue, 29 Jan 2019 23:26:38 +0300 + +--- a/libtgvoip.gyp ++++ b/libtgvoip.gyp +@@ -871,11 +871,7 @@ + 'WEBRTC_POSIX', + ], + 'conditions': [ +- [ '"<!(uname -m)" == "i686"', { +- 'cflags_cc': [ +- '-msse2', +- ], +- }], ['"<!(uname -s)" == "Linux"', { ++ [ '"<!(uname -s)" == "Linux"', { + 'defines': [ + 'WEBRTC_LINUX', + ], +--- a/webrtc_dsp/rtc_base/system/arch.h ++++ b/webrtc_dsp/rtc_base/system/arch.h +@@ -28,7 +28,10 @@ + #define WEBRTC_ARCH_64_BITS + #define WEBRTC_ARCH_LITTLE_ENDIAN + #elif defined(_M_IX86) || defined(__i386__) ++#if defined(__SSE2__) ++// This macro is mostly used to detect SSE2 extension. + #define WEBRTC_ARCH_X86_FAMILY ++#endif + #define WEBRTC_ARCH_X86 + #define WEBRTC_ARCH_32_BITS + #define WEBRTC_ARCH_LITTLE_ENDIAN +--- a/webrtc_dsp/typedefs.h ++++ b/webrtc_dsp/typedefs.h +@@ -28,7 +28,10 @@ + #define WEBRTC_ARCH_64_BITS + #define WEBRTC_ARCH_LITTLE_ENDIAN + #elif defined(_M_IX86) || defined(__i386__) ++#if defined(__SSE2__) ++// This macro is mostly used to detect SSE2 extension. + #define WEBRTC_ARCH_X86_FAMILY ++#endif + #define WEBRTC_ARCH_X86 + #define WEBRTC_ARCH_32_BITS + #define WEBRTC_ARCH_LITTLE_ENDIAN diff --git a/gnu/packages/patches/libtgvoip-disable-webrtc.patch b/gnu/packages/patches/libtgvoip-disable-webrtc.patch new file mode 100644 index 0000000000..0ca532301c --- /dev/null +++ b/gnu/packages/patches/libtgvoip-disable-webrtc.patch @@ -0,0 +1,47 @@ +Copied from Debian. + +Description: Fix build of WebRTC on non-Linux systems + * Define the WEBRTC_LINUX macro only on Linux, and not on GNU/Hurd or FreeBSD. + * Fix type cast in the CurrentThreadId function. +Bug-Debian: https://bugs.debian.org/920851 +Author: Nicholas Guriev <guriev-ns@ya.ru> +Last-Update: Tue, 29 Jan 2019 23:26:44 +0300 + +--- a/libtgvoip.gyp ++++ b/libtgvoip.gyp +@@ -869,20 +869,18 @@ + '"<(OS)" == "linux"', { + 'defines': [ + 'WEBRTC_POSIX', +- 'WEBRTC_LINUX', + ], + 'conditions': [ + [ '"<!(uname -m)" == "i686"', { + 'cflags_cc': [ + '-msse2', + ], ++ }], ['"<!(uname -s)" == "Linux"', { ++ 'defines': [ ++ 'WEBRTC_LINUX', ++ ], + }] + ], +- 'direct_dependent_settings': { +- 'libraries': [ +- +- ], +- }, + }, + ], + ], +--- a/webrtc_dsp/rtc_base/platform_thread_types.cc ++++ b/webrtc_dsp/rtc_base/platform_thread_types.cc +@@ -31,7 +31,7 @@ PlatformThreadId CurrentThreadId() { + return syscall(__NR_gettid); + #else + // Default implementation for nacl and solaris. +- return reinterpret_cast<pid_t>(pthread_self()); ++ return static_cast<pid_t>(pthread_self()); + #endif + #endif // defined(WEBRTC_POSIX) + } diff --git a/gnu/packages/patches/ncompress-fix-softlinks.patch b/gnu/packages/patches/ncompress-fix-softlinks.patch index 98752e8e64..d667e3ef74 100644 --- a/gnu/packages/patches/ncompress-fix-softlinks.patch +++ b/gnu/packages/patches/ncompress-fix-softlinks.patch @@ -1,4 +1,5 @@ -Patch taken from Debian sid. +Patch taken from Debian sid. Adapted to 4.2.4.6 for Guix by Tobias +Geerinckx-Rice <me@tobias.gr>. Description: Support uncompressing and compressing soft links. Historically, ncompress for Debian has been built using a command line @@ -17,8 +18,8 @@ Index: ncompress/GNUmakefile Makefile: Makefile.def GNUmakefile sed \ -- -e 's:options= :options= $$(CFLAGS) -DNOFUNCDEF -DUTIME_H -DLSTAT $$(LDFLAGS) :' \ -+ -e 's:options= :options= $$(CFLAGS) -DNOFUNCDEF -DUTIME_H $$(LDFLAGS) :' \ +- -e 's:options= :options= -DUTIME_H -DLSTAT :' \ ++ -e 's:options= :options= -DUTIME_H :' \ Makefile.def > Makefile check: diff --git a/gnu/packages/patches/nfs-utils-missing-headers.patch b/gnu/packages/patches/nfs-utils-missing-headers.patch deleted file mode 100644 index 7f0542836e..0000000000 --- a/gnu/packages/patches/nfs-utils-missing-headers.patch +++ /dev/null @@ -1,19 +0,0 @@ -Fix compilation failure with glibc 2.26 caused by missing type -declarations: - ------- -rpc.c: In function ‘nsm_recv_getport’: -rpc.c:469:13: error: ‘UINT16_MAX’ undeclared (first use in this function) - if (port > UINT16_MAX) { ------- - ---- a/support/nsm/rpc.c.orig 2016-08-03 20:25:15.000000000 +0200 -+++ b/support/nsm/rpc.c 2017-08-26 07:41:11.884000000 +0200 -@@ -40,6 +40,7 @@ - - #include <time.h> - #include <stdbool.h> -+#include <stdint.h> - #include <string.h> - #include <unistd.h> - #include <fcntl.h> diff --git a/gnu/packages/perl.scm b/gnu/packages/perl.scm index 44b764618b..c94afbc4b9 100644 --- a/gnu/packages/perl.scm +++ b/gnu/packages/perl.scm @@ -6,7 +6,7 @@ ;;; Copyright © 2015 Eric Dvorsak <eric@dvorsak.fr> ;;; Copyright © 2016, 2018 Mark H Weaver <mhw@netris.org> ;;; Copyright © 2016 Jochem Raat <jchmrt@riseup.net> -;;; Copyright © 2016, 2017, 2018, 2019 Efraim Flashner <efraim@flashner.co.il> +;;; Copyright © 2016, 2017, 2018, 2019, 2020 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2016 ng0 <ng0@n0.is> ;;; Copyright © 2016 Alex Sassmannshausen <alex@pompo.co> ;;; Copyright © 2016, 2018 Roel Janssen <roel@gnu.org> @@ -6882,7 +6882,7 @@ signatures.") (define-public perl-ole-storage-lite (package (name "perl-ole-storage-lite") - (version "0.19") + (version "0.20") (source (origin (method url-fetch) @@ -6892,7 +6892,7 @@ signatures.") ".tar.gz")) (sha256 (base32 - "179cxwqxb0f9dpx8954nvwjmggxxi5ndnang41yav1dx6mf0abp7")))) + "1fpqhhgb8blj4hhs97fsbnbhk29s9yms057a9s9yl20f3hbsc65b")))) (build-system perl-build-system) (home-page "https://metacpan.org/release/OLE-Storage_Lite") (synopsis "Read and write OLE storage files") diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm new file mode 100644 index 0000000000..ca280f77fa --- /dev/null +++ b/gnu/packages/prolog.scm @@ -0,0 +1,152 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright © 2013 Nikita Karetnikov <nikita@karetnikov.org> +;;; Copyright © 2013 Mark H Weaver <mhw@netris.org> +;;; Copyright © 2020 Brett Gilio <brettg@gnu.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 prolog) + #:use-module (guix download) + #:use-module (guix git-download) + #:use-module ((guix licenses) #:prefix license:) + #:use-module (guix packages) + #:use-module (guix build-system cmake) + #:use-module (guix build-system gnu) + #:use-module (gnu packages backup) + #:use-module (gnu packages compression) + #:use-module (gnu packages fontutils) + #:use-module (gnu packages image) + #:use-module (gnu packages libunwind) + #:use-module (gnu packages multiprecision) + #:use-module (gnu packages perl) + #:use-module (gnu packages pkg-config) + #:use-module (gnu packages readline) + #:use-module (gnu packages texinfo) + #:use-module (gnu packages tls) + #:use-module (gnu packages xorg) + #:use-module (srfi srfi-1)) + +(define-public gprolog + (package + (name "gprolog") + (version "1.4.5") + (source + (origin + (method url-fetch) + ;; Recent versions are not hosted on the GNU mirrors. + (uri (list (string-append "http://gprolog.org/gprolog-" version + ".tar.gz") + (string-append "mirror://gnu/gprolog/gprolog-" version + ".tar.gz"))) + (sha256 + (base32 + "0z4cc42n3k6i35b8mr816iwsvrpxshw6d7dgz6s2h1hy0l7g1p5z")))) + (build-system gnu-build-system) + (arguments + `(#:configure-flags + (list (string-append + "--with-install-dir=" %output "/share/gprolog")) + #:phases + (modify-phases %standard-phases + (add-before 'configure 'change-dir-n-fix-shells + (lambda _ + (chdir "src") + (substitute* "configure" + (("-/bin/sh") (string-append "-" (which "sh"))) + (("= /bin/sh") (string-append "= " (which "sh")))) + #t))))) + (home-page "https://www.gnu.org/software/gprolog/") + (synopsis "Prolog compiler") + (description + "GNU Prolog is a standards-compliant Prolog compiler with constraint +solving over finite domains. It accepts Prolog+ constraint programs and +produces a compiled, native binary which can function in a stand-alone +manner. It also features an interactive interpreter.") + (license (list license:gpl2+ + license:lgpl3+)) + + ;; See 'configure' for the list of supported architectures. + (supported-systems (fold delete + %supported-systems + '("armhf-linux" "mips64el-linux"))))) + +(define-public swi-prolog + (package + (name "swi-prolog") + (version "8.1.20") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/SWI-Prolog/swipl-devel.git") + (recursive? #t) ; TODO: Determine if this can be split out. + (commit (string-append "V" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0blpw5g0gszi83wmvyhlh7pk4wlyx00vgaj6qr3ris36cdl8j10a")))) + (build-system cmake-build-system) + (arguments + `(#:parallel-build? #t + #:tests? #t + #:configure-flags + (list "-DINSTALL_DOCUMENTATION=ON" + "-DSWIPL_INSTALL_IN_LIB=OFF") ; FIXME: Breaks RUNPATH validation. + #:phases + (modify-phases %standard-phases + ;; XXX: Delete a variety of tests which fail either attempting to + ;; establish a network connection, or attempts to write to the + ;; immutable store. Phases marked *-pre are disabled /before/ building. + ;; Phases marked *-post are disabled /after/ building. + (add-after 'unpack 'delete-failing-tests-pre + (lambda _ + (substitute* "src/CMakeLists.txt" + ((" save") "")) + (substitute* "src/test.pl" + (("testdir\\('Tests/save'\\).") "")) + (with-directory-excursion "src/Tests" + (for-each delete-file-recursively + '("save"))) + #t)) + (add-before 'check 'delete-failing-tests-post + (lambda _ + (with-directory-excursion "packages" + (for-each delete-file-recursively + '("http" + "pengines" + "RDF" + "semweb" + "ssl"))) + #t))))) + (native-inputs + `(("zlib" ,zlib) + ("gmp" ,gmp) + ("readline" ,readline) + ("texinfo" ,texinfo) + ("libarchive" ,libarchive) + ("libunwind" ,libunwind) + ("libjpeg", libjpeg) + ("libxft" ,libxft) + ("fontconfig" ,fontconfig) + ("perl" ,perl) + ("pkg-config" ,pkg-config) + ("openssl" ,openssl))) + (home-page "https://www.swi-prolog.org/") + (synopsis "ISO/Edinburgh-style Prolog interpreter") + (description "SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog +compiler with a rich set of built-in predicates. It offers a fast, robust and +small environment which enables substantial applications to be developed with +it.") + (license license:bsd-2))) diff --git a/gnu/packages/python-crypto.scm b/gnu/packages/python-crypto.scm index 63d3be17c2..43a0d95ddc 100644 --- a/gnu/packages/python-crypto.scm +++ b/gnu/packages/python-crypto.scm @@ -1,6 +1,6 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2015 Eric Dvorsak <eric@dvorsak.fr> -;;; Copyright © 2015, 2016, 2017, 2018, 2019 Efraim Flashner <efraim@flashner.co.il> +;;; Copyright © 2015, 2016, 2017, 2018, 2019, 2020 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2015, 2016, 2017, 2019 Leo Famulari <leo@famulari.name> ;;; Copyright © 2016, 2017 Marius Bakke <mbakke@fastmail.com> ;;; Copyright © 2017 Ben Sturmfels <ben@sturm.com.au> @@ -533,14 +533,14 @@ python-axolotl.") (version "0.1.39") (source (origin - (method url-fetch) - (uri (string-append - "https://github.com/tgalal/python-axolotl/archive/" - version ".tar.gz")) - (file-name (string-append name "-" version ".tar.gz")) + (method git-fetch) + (uri (git-reference + (url "https://github.com/tgalal/python-axolotl") + (commit version))) + (file-name (git-file-name name version)) (patches (search-patches "python-axolotl-AES-fix.patch")) (sha256 - (base32 "0badsgkgz0ir3hqynxzsfjgacppi874syvvmgccc6j164053x6zm")))) + (base32 "0xm9qgcwf6fq7rhzfcviwhbzcbj4i7wkxkab2z55fy1x82lya9g6")))) (build-system python-build-system) (arguments `(#:phases diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 9b71982c3a..194d8b8b0c 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -14,7 +14,7 @@ ;;; Copyright © 2015, 2016, 2017, 2019 Leo Famulari <leo@famulari.name> ;;; Copyright © 2015, 2017 Ben Woodcroft <donttrustben@gmail.com> ;;; Copyright © 2015, 2016 Erik Edrosa <erik.edrosa@gmail.com> -;;; Copyright © 2015, 2016, 2017, 2018, 2019 Efraim Flashner <efraim@flashner.co.il> +;;; Copyright © 2015, 2016, 2017, 2018, 2019, 2020 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2015, 2017 Kyle Meyer <kyle@kyleam.com> ;;; Copyright © 2015, 2016 Chris Marusich <cmmarusich@gmail.com> ;;; Copyright © 2016 Danny Milosavljevic <dannym+a@scratchpost.org> @@ -57,7 +57,7 @@ ;;; Copyright © 2018, 2019 Maxim Cournoyer <maxim.cournoyer@gmail.com> ;;; Copyright © 2018 Luther Thompson <lutheroto@gmail.com> ;;; Copyright © 2018 Vagrant Cascadian <vagrant@debian.org> -;;; Copyright © 2019 Brett Gilio <brettg@gnu.org> +;;; Copyright © 2019, 2020 Brett Gilio <brettg@gnu.org> ;;; Copyright © 2019 Sam <smbaines8@gmail.com> ;;; Copyright © 2019 Jack Hill <jackhill@jackhill.us> ;;; Copyright © 2019 Guillaume Le Vaillant <glv@posteo.net> @@ -3055,14 +3055,14 @@ Server (PLS).") (define-public python-language-server (package (name "python-language-server") - (version "0.31.2") + (version "0.31.4") (source (origin (method url-fetch) (uri (pypi-uri "python-language-server" version)) (sha256 (base32 - "1iq69wc1fyhirfyq25ih41wq9yvr7bchiw0i116adpdgcq6m9idq")))) + "1nrs56jpx7dvghaas0kc5k9lxas5vr3awj3k87p4akki43nsblb8")))) (build-system python-build-system) (propagated-inputs `(("python-pluggy" ,python-pluggy) @@ -3430,13 +3430,14 @@ capabilities.") (version "1.8.2") (source (origin - (method url-fetch) - (uri (string-append - "https://github.com/numpy/numpy/archive/v" version ".tar.gz")) - (file-name (string-append "python2-numpy-" version ".tar.gz")) + (method git-fetch) + (uri (git-reference + (url "https://github.com/numpy/numpy") + (commit (string-append "v" version)))) + (file-name (git-file-name "numpy" version)) (sha256 (base32 - "0sc20gz1b17xnyrkp5frca3ql5qfalpv916hfg2kqxpwr6jg0f1g")))) + "0ikgi15rsqwbkfsjjxrwh40lqyal2wvyp3923y6w6ch3dcr82sfk")))) (arguments (substitute-keyword-arguments (package-arguments python2-numpy) ((#:phases phases) @@ -5620,18 +5621,20 @@ features useful for text console applications.") (version "1.0.2") (source (origin - (method url-fetch) + (method git-fetch) ;; package author intends on distributing via github rather than pypi: ;; https://github.com/pazz/alot/issues/877#issuecomment-230173331 - (uri (string-append "https://github.com/pazz/urwidtrees/archive/" - version ".tar.gz")) - (file-name (string-append name "-" version ".tar.gz")) + (uri (git-reference + (url "https://github.com/pazz/urwidtrees") + (commit version))) + (file-name (git-file-name name version)) (sha256 (base32 - "0d30lyd3s2a97rhqfax5w9ssqds2z6aydqx3c6j2c2lk3cb4ngvh")))) + "1n1kpidvkdnsqyb82vlvk78gmly96kh8351lqxn2pzgwwns6fml2")))) (build-system python-build-system) (arguments - '(#:tests? #f)) ; no tests + '(#:use-setuptools? #f + #:tests? #f)) ; no tests (propagated-inputs `(("python-urwid" ,python-urwid))) (home-page "https://github.com/pazz/urwidtrees") (synopsis "Tree widgets for urwid") @@ -8063,15 +8066,15 @@ automatically detect a wide range of file encodings.") (version "0.6.2") (source (origin - (method url-fetch) + (method git-fetch) ;; The release on PyPI does not include tests. - (uri (string-append - "https://github.com/docopt/docopt/archive/" - version ".tar.gz")) - (file-name (string-append name "-" version ".tar.gz")) + (uri (git-reference + (url "https://github.com/docopt/docopt") + (commit version))) + (file-name (git-file-name name version)) (sha256 (base32 - "16bf890xbdz3m30rsv2qacklh2rdn1zrfspfnwzx9g7vwz8yw4r1")))) + "0aad9gbswnnhssin2q0m5lmpm0ahyf80ahs2zjigbn5y7fvljnd0")))) (build-system python-build-system) (native-inputs `(("python-pytest" ,python-pytest))) @@ -9520,15 +9523,16 @@ encoding algorithms to do fuzzy string matching.") (name "python2-unicodecsv") (version "0.14.1") (source (origin - (method url-fetch) + (method git-fetch) ;; The test suite is not included in the PyPi release. ;; https://github.com/jdunck/python-unicodecsv/issues/19 - (uri (string-append "https://github.com/jdunck/python-unicodecsv/" - "archive/" version ".tar.gz")) - (file-name (string-append name "-" version ".tar.gz")) + (uri (git-reference + (url "https://github.com/jdunck/python-unicodecsv") + (commit version))) + (file-name (git-file-name name version)) (sha256 (base32 - "087nqanfcyp6mlfbbr5lva5f3w6iz1bybls9xlrb8icmc474wh4w")))) + "15hx2k41a2lpv4hcml9zp4cvlx1171mnb5s4s13xc1pxkq3vgdjy")))) (build-system python-build-system) (arguments `(;; It supports Python 3, but Python 3 can already do Unicode CSV. @@ -9908,7 +9912,7 @@ to occurrences in strings and comments.") (lambda* (#:key inputs #:allow-other-keys) (let ((file-path (assoc-ref inputs "file"))) (substitute* "py3status/parse_config.py" - (("\\['file', '-b'") + (("\\[\"file\", \"-b\"") (string-append "['" file-path "/bin/file', '-b'"))) #t)))) #:tests? #f)) ; TODO: Requires many libraries not in Guix. @@ -12809,29 +12813,27 @@ exception message with a traceback that points to the culprit.") (define-public python-mwclient (package (name "python-mwclient") - (version "0.8.4") + (version "0.10.0") (source (origin - (method url-fetch) + (method git-fetch) ;; The PyPI version wouldn't contain tests. - (uri (string-append "https://github.com/mwclient/mwclient/archive/" - "v" version ".tar.gz")) - (file-name (string-append name "-" version ".tar.gz")) + (uri (git-reference + (url "https://github.com/mwclient/mwclient") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) (sha256 (base32 - "1jj0yhilkjir00719fc7w133x7hdyhkxhk6xblla4asig45klsfv")))) + "1c3q6lwmb05yqywc4ya98ca7hsl15niili8rccl4n1yqp77c103v")))) (build-system python-build-system) (propagated-inputs - `(("python-requests" ,python-requests) - ("python-requests-oauthlib" - ,python-requests-oauthlib) + `(("python-requests-oauthlib" ,python-requests-oauthlib) ("python-six" ,python-six))) (native-inputs `(("python-mock" ,python-mock) ("python-pytest" ,python-pytest) - ("python-pytest-pep8" ,python-pytest-pep8) - ("python-pytest-cache" ,python-pytest-cache) ("python-pytest-cov" ,python-pytest-cov) + ("python-pytest-runner" ,python-pytest-runner) ("python-responses" ,python-responses))) (home-page "https://github.com/btongminh/mwclient") (synopsis "MediaWiki API client") @@ -13316,14 +13318,15 @@ by path in a JSON document (see RFC 6901).") (version "1.16") (source (origin - (method url-fetch) + (method git-fetch) ;; pypi version lacks tests.js - (uri (string-append "https://github.com/stefankoegl/python-json-patch/" - "archive/v" version ".tar.gz")) - (file-name (string-append name "-" version ".tar.gz")) + (uri (git-reference + (url "https://github.com/stefankoegl/python-json-patch") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) (sha256 (base32 - "085ykisl8v7mv9h7hvhdy3l2fjzs4214gx32r5k6nx4f76hbv6y5")))) + "0k9pff06lxama3nhsc7cdxbp83422bdy8ifs52i6xkas8hpyzfzr")))) (build-system python-build-system) (native-inputs `(("python-jsonpointer" ,python-jsonpointer))) @@ -13342,13 +13345,14 @@ applying JSON Patches according to RFC 6902.") (version "0.4") (source (origin - (method url-fetch) - (uri (string-append "https://github.com/stefankoegl/python-json-patch/" - "archive/v" version ".tar.gz")) - (file-name (string-append name "-" version ".tar.gz")) + (method git-fetch) + (uri (git-reference + (url "https://github.com/stefankoegl/python-json-patch") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) (sha256 (base32 - "0j0cd9z9zyp8kppp464jxrfgrnbgkzl1yi10i5gsv8yz6d95929d")))))) + "1fq02y57kinyknxjcav0slcb0k9mwdffqw2hnlhdkpj7palh2mwk")))))) (define-public python2-jsonpatch-0.4 (package-with-python2 python-jsonpatch-0.4)) @@ -14611,12 +14615,13 @@ files, and Makefiles.") (version "0.6") (source (origin - (method url-fetch) - (uri (string-append "https://github.com/Suor/whatever/archive/" version - ".tar.gz")) + (method git-fetch) + (uri (git-reference + (url "https://github.com/Suor/whatever") + (commit version))) + (file-name (git-file-name name version)) (sha256 - (base32 "1rchg9hrlvw4sn20lq1zspczr4x1pv57c02gv73igiqx1hqpy2nc")) - (file-name (string-append name "-" version ".tar.gz")))) + (base32 "1q7ajgqjfivxqsqgnhp4lc4p6jxyh4zprcsdbpd6dw54inaf0av5")))) (build-system python-build-system) (arguments `(#:phases diff --git a/gnu/packages/scheme.scm b/gnu/packages/scheme.scm index cc0bfffea4..16b4e822d2 100644 --- a/gnu/packages/scheme.scm +++ b/gnu/packages/scheme.scm @@ -948,8 +948,8 @@ generation.") (license gpl2+)))) (define-public femtolisp - (let ((commit "68c5b1225572ecf2c52baf62f928063e5a30511b") - (revision "1")) + (let ((commit "ec7601076a976f845bc05ad6bd3ed5b8cde58a97") + (revision "2")) (package (name "femtolisp") (version (string-append "0.0.0-" revision "." (string-take commit 7))) @@ -961,7 +961,7 @@ generation.") (file-name (string-append name "-" version "-checkout")) (sha256 (base32 - "04rnwllxnl86zw8c6pwxznn49bvkvh0f1lfliy085vjzvlq3rgja")))) + "1fcyiqlqn27nd4wxi27km8mhmlzpzzsxzpwsl1bxbmhraq468njw")))) ;; See "utils.h" for supported systems. Upstream bug: ;; https://github.com/JeffBezanson/femtolisp/issues/25 (supported-systems diff --git a/gnu/packages/sdl.scm b/gnu/packages/sdl.scm index f7a34003d1..df86d677ee 100644 --- a/gnu/packages/sdl.scm +++ b/gnu/packages/sdl.scm @@ -11,6 +11,7 @@ ;;; Copyright © 2019 Nicolas Goaziou <mail@nicolasgoaziou.fr> ;;; Copyright © 2019 Marius Bakke <mbakke@fastmail.com> ;;; Copyright © 2019 Pierre Neidhardt <mail@ambrevar.xyz> +;;; Copyright © 2020 Timotej Lazar <timotej.lazar@araneo.si> ;;; ;;; This file is part of GNU Guix. ;;; @@ -261,28 +262,44 @@ WEBP, XCF, XPM, and XV.") "0alrhqgm40p4c92s26mimg9cm1y7rzr6m0p49687jxd9g6130i0n")))) (build-system gnu-build-system) (outputs '("out" "debug")) - ;; no check target - ;; use libmad instead of smpeg - ;; explicitly link against shared libraries instead of dlopening them - (arguments `(#:tests? #f - #:configure-flags '("--enable-music-mp3-mad-gpl" - "--disable-music-mod-shared" - "--disable-music-fluidsynth-shared" - "--disable-music-ogg-shared" - "--disable-music-flac-shared" - "--disable-music-mp3-shared"))) - (inputs `(("libvorbis" ,libvorbis) - ("libflac" ,flac) - ("libmad" ,libmad) - ("libmikmod" ,libmikmod) - ("libmodplug" ,libmodplug))) - ;; FIXME: Add libfluidsynth + (arguments + `(#:tests? #f ; No check target. + #:configure-flags + '("--enable-music-mp3-mad-gpl" ; Use libmad instead of smpeg. + ;; Explicitly link against shared libraries instead of dlopening them. + "--disable-music-flac-shared" + "--disable-music-fluidsynth-shared" + "--disable-music-mod-shared" + "--disable-music-ogg-shared") + #:phases + (modify-phases %standard-phases + (add-after 'unpack 'fix-fluidsynth + (lambda* (#:key inputs #:allow-other-keys) + (substitute* "configure" + (("EXTRA_LDFLAGS -lfluidsynth") + (string-append "EXTRA_LDFLAGS " + "-L" + (assoc-ref inputs "fluidsynth") + "/lib -lfluidsynth"))) + #t))))) + (inputs + `(("fluidsynth" ,fluidsynth) + ("libflac" ,flac) + ("libmad" ,libmad) + ("libmikmod" ,libmikmod) + ("libvorbis" ,libvorbis))) (propagated-inputs `(("sdl" ,sdl))) (synopsis "SDL multi-channel audio mixer library") (description "SDL_mixer is a multi-channel audio mixer library for SDL. It supports any number of simultaneously playing channels of 16 bit stereo -audio, plus a single channel of music. Supported format include FLAC, MOD, -MIDI, Ogg Vorbis, and MP3.") +audio, plus a single channel of music. Supported formats include FLAC, MOD, +MIDI, Ogg Vorbis, and MP3. + +This package supports two MIDI backends, selectable at runtime. To use the +newer @code{fluidsynth} library, install a soundfont such as @code{fluid-3} +and specify it using the @code{SDL_SOUNDFONTS} environment variable. For the +legacy @code{timidity} backend, install a patch set such as @code{freepats} +and set the path to the configuration file with @code{TIMIDITY_CFG}.") (home-page "https://www.libsdl.org/projects/SDL_mixer/") (license zlib))) @@ -416,6 +433,23 @@ directory.") #t)) (sha256 (base32 "0694vsz5bjkcdgfdra6x9fq8vpzrl8m6q96gh58df7065hw5mkxl")))) + (arguments + (substitute-keyword-arguments (package-arguments sdl-mixer) + ((#:configure-flags flags) + `(cons* + "--disable-music-opus-shared" + ;; These options were renamed in SDL2 mixer. Keeping the inherited + ;; variants produces a harmless warning. + "--disable-music-mod-modplug-shared" + "--disable-music-midi-fluidsynth-shared" + ,flags)))) + (inputs + `(("opusfile" ,opusfile) + ;; The default MOD library changed in SDL2 mixer. + ("libmodplug" ,libmodplug) + ,@(alist-delete "libmikmod" (package-inputs sdl-mixer)))) + (native-inputs + `(("pkgconfig" ,pkg-config))) ; Needed to find the opus library. (propagated-inputs (propagated-inputs-with-sdl2 sdl-mixer)))) diff --git a/gnu/packages/ssh.scm b/gnu/packages/ssh.scm index 45b8f0db00..ec4f00d8e6 100644 --- a/gnu/packages/ssh.scm +++ b/gnu/packages/ssh.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2013, 2014 Andreas Enge <andreas@enge.fr> ;;; Copyright © 2014, 2015, 2016 Mark H Weaver <mhw@netris.org> ;;; Copyright © 2015, 2016, 2018, 2019 Efraim Flashner <efraim@flashner.co.il> @@ -32,7 +32,7 @@ #:use-module (gnu packages) #:use-module (gnu packages autotools) #:use-module (gnu packages base) - #:autoload (gnu packages boost) (boost) + #:use-module (gnu packages boost) #:use-module (gnu packages compression) #:use-module (gnu packages crypto) #:use-module (gnu packages elf) @@ -51,7 +51,7 @@ #:use-module (gnu packages perl) #:use-module (gnu packages pkg-config) #:use-module (gnu packages popt) - #:autoload (gnu packages protobuf) (protobuf) + #:use-module (gnu packages protobuf) #:use-module (gnu packages python) #:use-module (gnu packages python-xyz) #:use-module (gnu packages readline) diff --git a/gnu/packages/telephony.scm b/gnu/packages/telephony.scm index e7f294a999..8e7384bf85 100644 --- a/gnu/packages/telephony.scm +++ b/gnu/packages/telephony.scm @@ -952,21 +952,29 @@ This package provides the Jami client for the GNOME desktop.") (define-public libtgvoip (package (name "libtgvoip") - (version "2.4.2") + (version "2.4.4") (source (origin (method git-fetch) (uri (git-reference - (url "https://github.com/zevlg/libtgvoip.git") + (url "https://github.com/grishka/libtgvoip.git") (commit version))) (file-name (git-file-name name version)) + ;; Fix compilation on i686-linux architecture. + ;; NOTE: Applying these patches is order-dependent! + ;; The patch for WebRTC /must/ precede the patch for SSE2. + (patches + (search-patches "libtgvoip-disable-webrtc.patch" + "libtgvoip-disable-sse2.patch")) (sha256 (base32 - "04dbwd3lwdannhxb2sh6z02i3lka9sb5s039pki6ka4siq5xzk1j")))) + "122kn3jx6v0kkldlzlpzvlwqxgp6pmzxsjhrhcxw12bx9c08sar5")))) (build-system gnu-build-system) (inputs - `(("openssl" ,openssl) - ("libopusenc" ,libopusenc))) + `(("alsa-lib" ,alsa-lib) + ("libopusenc" ,libopusenc) + ("openssl" ,openssl) + ("pulseaudio" ,pulseaudio))) (synopsis "VoIP library for Telegram clients") (description "A collection of libraries and header files for implementing telephony functionality into custom Telegram clients.") diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index d184d7616b..e4346d1232 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -71,7 +71,7 @@ #:use-module (gnu packages xml) #:use-module (gnu packages xorg) #:use-module (gnu packages xdisorg) - #:autoload (gnu packages texinfo) (texinfo) + #:use-module (gnu packages texinfo) #:use-module (ice-9 ftw) #:use-module (ice-9 match) #:use-module ((srfi srfi-1) #:hide (zip))) diff --git a/gnu/packages/text-editors.scm b/gnu/packages/text-editors.scm index 61f62706e4..60eed99dbf 100644 --- a/gnu/packages/text-editors.scm +++ b/gnu/packages/text-editors.scm @@ -297,9 +297,9 @@ Wordstar-, EMACS-, Pico, Nedit or vi-like key bindings. e3 can be used on (home-page "https://homepage.boetes.org/software/mg/") (synopsis "Microscopic GNU Emacs clone") (description - "Mg (mg) is a GNU Emacs style editor, with which it is \"broadly\" -compatible. This is a portable version of the mg maintained by the OpenBSD -team.") + "Mg (@command{mg}) is a GNU Emacs style editor, with which it is +\"broadly\" compatible. This is a portable version of the mg maintained by the +OpenBSD team.") (license license:public-domain))) (define-public ghostwriter diff --git a/gnu/packages/web-browsers.scm b/gnu/packages/web-browsers.scm index 4fdf5f5419..e5df56493e 100644 --- a/gnu/packages/web-browsers.scm +++ b/gnu/packages/web-browsers.scm @@ -341,7 +341,7 @@ GUI. It is based on PyQt5 and QtWebKit.") (define-public vimb (package (name "vimb") - (version "3.5.0") + (version "3.6.0") (source (origin (method git-fetch) @@ -349,7 +349,7 @@ GUI. It is based on PyQt5 and QtWebKit.") (url "https://github.com/fanglingsu/vimb/") (commit version))) (sha256 - (base32 "13q7mk1hhjri0s30a98r8ncy0skf6m6lrnbqaf0jimf6sbwgiirf")) + (base32 "0228khh3lqbal046k6akqah7s5igq9s0wjfjbdjam75kjj42pbhj")) (file-name (git-file-name name version)))) (build-system glib-or-gtk-build-system) (arguments @@ -377,7 +377,7 @@ driven and does not detract you from your daily work.") (define next-gtk-webkit (package (name "next-gtk-webkit") - (version "1.3.4") + (version "1.4.0") (source (origin (method git-fetch) @@ -388,7 +388,7 @@ driven and does not detract you from your daily work.") (commit version))) (sha256 (base32 - "00iqv4xarabl98gdl1rzqkc5v0vfljx1nawsxqsx9x3a9mnxmgxi")) + "1gkmr746rqqg94698a051gv79fblc8n9dq0zg04llba44adhpmjl")) (file-name (git-file-name "next" version)))) (build-system glib-or-gtk-build-system) (arguments @@ -485,6 +485,24 @@ features for productive professionals.") ("prove-asdf" ,sbcl-prove-asdf))) (synopsis "Infinitely extensible web-browser (password manager)"))) +(define sbcl-next-hooks + (package + (inherit next-gtk-webkit) + (name "sbcl-next-hooks") + (build-system asdf-build-system/sbcl) + (arguments + `(#:tests? #t + #:asd-file "next.asd" + #:asd-system-name "next/hooks")) + (inputs + `(("alexandria" ,sbcl-alexandria) + ("serapeum" ,sbcl-serapeum) + ("fare-quasiquote-extras" ,cl-fare-quasiquote-extras))) + (native-inputs + `(("trivial-features" ,sbcl-trivial-features) + ("prove-asdf" ,sbcl-prove-asdf))) + (synopsis "Infinitely extensible web-browser (hooks)"))) + (define-public next (let ((version (package-version next-gtk-webkit))) (package @@ -551,7 +569,6 @@ features for productive professionals.") ("cl-annot" ,sbcl-cl-annot) ("cl-ansi-text" ,sbcl-cl-ansi-text) ("cl-css" ,sbcl-cl-css) - ("cl-hooks" ,sbcl-cl-hooks) ("cl-json" ,sbcl-cl-json) ("cl-markup" ,sbcl-cl-markup) ("cl-ppcre" ,sbcl-cl-ppcre) @@ -560,16 +577,19 @@ features for productive professionals.") ("closer-mop" ,sbcl-closer-mop) ("dbus" ,cl-dbus) ("dexador" ,sbcl-dexador) + ("fare-quasiquote-extras" ,cl-fare-quasiquote-extras) ; For serapeum. Guix bug? ("ironclad" ,sbcl-ironclad) ("local-time" ,sbcl-local-time) ("log4cl" ,sbcl-log4cl) ("lparallel" ,sbcl-lparallel) ("mk-string-metrics" ,sbcl-mk-string-metrics) ("parenscript" ,sbcl-parenscript) + ("plump" ,sbcl-plump) ("quri" ,sbcl-quri) + ("serapeum" ,sbcl-serapeum) ("sqlite" ,sbcl-cl-sqlite) ("str" ,sbcl-cl-str) - ("swank" ,cl-slime-swank) + ("swank" ,sbcl-slime-swank) ("trivia" ,sbcl-trivia) ("trivial-clipboard" ,sbcl-trivial-clipboard) ("unix-opts" ,sbcl-unix-opts) @@ -578,9 +598,11 @@ features for productive professionals.") ("next-download-manager" ,sbcl-next-download-manager) ("next-ring" ,sbcl-next-ring) ("next-history-tree" ,sbcl-next-history-tree) - ("next-password-manager" ,sbcl-next-password-manager))) + ("next-password-manager" ,sbcl-next-password-manager) + ("next-hooks" ,sbcl-next-hooks))) (native-inputs `(("trivial-features" ,sbcl-trivial-features) + ("trivial-types" ,sbcl-trivial-types) ("prove-asdf" ,sbcl-prove-asdf))) (synopsis "Infinitely extensible web-browser (with Lisp development files)")))) diff --git a/gnu/packages/web.scm b/gnu/packages/web.scm index 65038f7c66..5b457ccc5b 100644 --- a/gnu/packages/web.scm +++ b/gnu/packages/web.scm @@ -4194,8 +4194,8 @@ CDF, Atom 0.3, and Atom 1.0 feeds.") (package-with-python2 python-feedparser)) (define-public guix-data-service - (let ((commit "4ed14007c44f55869d30358b6da2235069dfcaf9") - (revision "15")) + (let ((commit "c7e3a1bd0b0648561211f52bd9f674358da59223") + (revision "16")) (package (name "guix-data-service") (version (string-append "0.0.1-" revision "." (string-take commit 7))) @@ -4207,7 +4207,7 @@ CDF, Atom 0.3, and Atom 1.0 feeds.") (file-name (git-file-name name version)) (sha256 (base32 - "06smgbw9jdyarnz877dsd6mjcd3nhs9hav5z6h8cngvpznjf3hy8")))) + "08c6bpzmsh62ng4bx008xcgayrrxz815jbpb96n98didk2zyzfg0")))) (build-system gnu-build-system) (arguments '(#:modules ((guix build utils) diff --git a/gnu/packages/wm.scm b/gnu/packages/wm.scm index 7d11a048f2..9832f0079c 100644 --- a/gnu/packages/wm.scm +++ b/gnu/packages/wm.scm @@ -15,7 +15,7 @@ ;;; Copyright © 2017 Mekeor Melire <mekeor.melire@gmail.com> ;;; Copyright © 2017, 2019 Marius Bakke <mbakke@fastmail.com> ;;; Copyright © 2017 Oleg Pykhalov <go.wigust@gmail.com> -;;; Copyright © 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr> +;;; Copyright © 2018, 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2018 Pierre-Antoine Rouby <contact@parouby.fr> ;;; Copyright © 2018, 2019 Meiyo Peng <meiyo@riseup.net> ;;; Copyright © 2019 Rutger Helling <rhelling@mykolab.com> @@ -1243,14 +1243,14 @@ its size (define-public polybar (package (name "polybar") - (version "3.4.1") + (version "3.4.2") (source (origin (method url-fetch) (uri (string-append "https://github.com/polybar/polybar/releases/" "download/" version "/polybar-" version ".tar")) (sha256 - (base32 "1sy4xnx9rnj5z22kca8al84ivjg4mkvb9wj68pqq2y02l54gldwy")))) + (base32 "0fmnviz4b01aw50nkv4yibm8ykc5ff860ynw3xb1ymlsjrvwj8jd")))) (build-system cmake-build-system) (arguments ;; Test is disabled because it requires downloading googletest from the diff --git a/gnu/packages/xdisorg.scm b/gnu/packages/xdisorg.scm index 1dbc1ba90e..a85e88a544 100644 --- a/gnu/packages/xdisorg.scm +++ b/gnu/packages/xdisorg.scm @@ -29,6 +29,7 @@ ;;; Copyright © 2019 Kyle Andrews <kyle.c.andrews@gmail.com> ;;; Copyright © 2019 Josh Holland <josh@inv.alid.pw> ;;; Copyright © 2019 Tanguy Le Carrour <tanguy@bioneland.org> +;;; Copyright © 2020 Guillaume Le Vaillant <glv@posteo.net> ;;; ;;; This file is part of GNU Guix. ;;; @@ -116,20 +117,28 @@ #t)))) (build-system python-build-system) (arguments - `(#:python ,python-2 ;incompatible with python 3 - #:phases + `(#:phases (modify-phases %standard-phases (add-before 'build 'configure (lambda* (#:key inputs #:allow-other-keys) (substitute* "screenlayout/xrandr.py" (("\"xrandr\"") (string-append "\"" (assoc-ref inputs "xrandr") "/bin/xrandr\""))) + #t)) + (add-after 'install 'wrap-gi-typelib + (lambda* (#:key inputs outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out")) + (gi-typelib-path (getenv "GI_TYPELIB_PATH"))) + (wrap-program (string-append out "/bin/arandr") + `("GI_TYPELIB_PATH" ":" prefix (,gi-typelib-path)))) #t))) #:tests? #f)) ;no tests - (inputs `(("pygtk" ,python2-pygtk) + (inputs `(("gtk+" ,gtk+) + ("pycairo" ,python-pycairo) + ("pygobject" ,python-pygobject) ("xrandr" ,xrandr))) (native-inputs `(("gettext" ,gettext-minimal) - ("python-docutils" ,python2-docutils))) + ("python-docutils" ,python-docutils))) (home-page "https://christian.amsuess.com/tools/arandr/") (synopsis "Another RandR graphical user interface") ;; TRANSLATORS: "X11 resize-and-rotate" should not be translated. @@ -1947,3 +1956,51 @@ and clipboard selection. When the clipboard is changed, it updates the cutbuffer. When the cutbuffer is changed, it owns the clipboard selection. The cutbuffer and clipboard selection are always synchronized.") (license license:gpl2+))) + +(define-public jgmenu + (package + (name "jgmenu") + (version "3.5") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/johanmalm/jgmenu.git") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0q0m3sskgmjv28gzvjkphgg3yhwzc9w9fj9i342pibb50impjazy")))) + (build-system gnu-build-system) + (native-inputs + `(("perl" ,perl) + ("pkg-config" ,pkg-config))) + (inputs + `(("cairo" ,cairo) + ("librsvg" ,librsvg) + ("libx11" ,libx11) + ("libxml2" ,libxml2) + ("libxrandr" ,libxrandr) + ("pango" ,pango) + ("python" ,python))) + (arguments + '(#:phases (modify-phases %standard-phases + (add-after 'unpack 'fix-paths + (lambda* (#:key inputs #:allow-other-keys) + (let ((python (assoc-ref inputs "python"))) + (substitute* "src/jgmenu-pmenu.py" + (("#!/usr/bin/env python3") + (string-append "#!" python "/bin/python3"))) + #t))) + (replace 'configure + (lambda* (#:key outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out"))) + (setenv "prefix" out) + (setenv "CC" "gcc") + #t)))))) + (synopsis "Simple X11 menu") + (description + "This is a simple menu for X11 designed for scripting and tweaking. It +can optionally use some appearance settings from XSettings, tint2 and GTK.") + (home-page "https://jgmenu.github.io/") + (license license:gpl2))) diff --git a/gnu/packages/xiph.scm b/gnu/packages/xiph.scm index 34ed5dcab2..edb690b5ff 100644 --- a/gnu/packages/xiph.scm +++ b/gnu/packages/xiph.scm @@ -7,7 +7,7 @@ ;;; Copyright © 2015 Paul van der Walt <paul@denknerd.org> ;;; Copyright © 2015, 2016, 2017, 2019 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2017, 2018, 2019 Marius Bakke <mbakke@fastmail.com> -;;; Copyright © 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr> +;;; Copyright © 2018, 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2018 Leo Famulari <leo@famulari.name> ;;; ;;; This file is part of GNU Guix. @@ -491,7 +491,7 @@ things in between.") (define-public libshout (package (name "libshout") - (version "2.4.2") + (version "2.4.3") (source (origin (method url-fetch) (uri (string-append @@ -499,7 +499,7 @@ things in between.") "libshout-" version ".tar.gz")) (sha256 (base32 - "0qgwarqp2p6jy3zadds6dzj8z1jfb2mbwc3lsdlidf527h0a86ym")))) + "1zhdshas539cs8fsz8022ljxnnncr5lafhfd1dqr1gs125fzb2hd")))) (build-system gnu-build-system) (native-inputs `(("pkg-config" ,pkg-config))) diff --git a/gnu/packages/xml.scm b/gnu/packages/xml.scm index bdbaf9300b..5b9082cb26 100644 --- a/gnu/packages/xml.scm +++ b/gnu/packages/xml.scm @@ -12,7 +12,7 @@ ;;; Copyright © 2016 Ben Woodcroft <donttrustben@gmail.com> ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org> ;;; Copyright © 2016, 2017 ng0 <ng0@n0.is> -;;; Copyright © 2016, 2017, 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr> +;;; Copyright © 2016, 2017, 2018, 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2016, 2017, 2018, 2019 Marius Bakke <mbakke@fastmail.com> ;;; Copyright © 2017 Adriano Peluso <catonano@gmail.com> ;;; Copyright © 2017 Gregor Giesen <giesen@zaehlwerk.net> @@ -1164,7 +1164,7 @@ XSLT and EXSLT.") (define-public html-xml-utils (package (name "html-xml-utils") - (version "7.7") + (version "7.8") (source (origin (method url-fetch) @@ -1172,8 +1172,7 @@ XSLT and EXSLT.") "https://www.w3.org/Tools/HTML-XML-utils/html-xml-utils-" version ".tar.gz")) (sha256 - (base32 - "1vwqp5q276j8di9zql3kygf31z2frp2c59yjqlrvvwcvccvkcdwr")))) + (base32 "0p8df3c6mw879vdi8l63kbdqylkf1is10b067mh9kipgfy91rd4s")))) (build-system gnu-build-system) (home-page "https://www.w3.org/Tools/HTML-XML-utils/") (synopsis "Command line utilities to manipulate HTML and XML files") diff --git a/gnu/packages/xorg.scm b/gnu/packages/xorg.scm index fda61aff67..022cb49c20 100644 --- a/gnu/packages/xorg.scm +++ b/gnu/packages/xorg.scm @@ -20,6 +20,7 @@ ;;; Copyright © 2018 Benjamin Slade <slade@jnanam.net> ;;; Copyright © 2019 nee <nee@cock.li> ;;; Copyright © 2019 Yoshinori Arai <kumagusu08@gmail.com> +;;; Copyright © 2020 Leo Prikler <leo.prikler@student.tugraz.at> ;;; ;;; This file is part of GNU Guix. ;;; @@ -6425,3 +6426,29 @@ Thai).") ;; by simple permissive licenses. See the 'COPYRIGHT' file. (license (list license:gpl2+ license:expat)))) + +(define-public xcur2png + (package + (name "xcur2png") + (version "0.7.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/eworm-de/xcur2png.git") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0858wn2p14bxpv9lvaz2bz1rk6zk0g8zgxf8iy595m8fqv4q2fya")))) + (build-system gnu-build-system) + (native-inputs + `(("pkg-config" ,pkg-config))) + (inputs + `(("libpng" ,libpng) + ("libxcursor" ,libxcursor))) + (synopsis "Decode X cursors") + (description + "xcur2png is a program decomposes an X cursor into a set of PNG images and +a configuration file reusable by xcursorgen.") + (home-page "https://github.com/eworm-de/xcur2png") + (license license:gpl3+))) diff --git a/gnu/services/base.scm b/gnu/services/base.scm index 77215e411c..0c154d1c4e 100644 --- a/gnu/services/base.scm +++ b/gnu/services/base.scm @@ -706,7 +706,7 @@ to add @var{device} to the kernel's entropy pool. The service will fail if (provision '(host-name)) (start #~(lambda _ (sethostname #$name))) - (respawn? #f))))) + (one-shot? #t))))) (define (host-name-service name) "Return a service that sets the host name to @var{name}." diff --git a/gnu/services/cuirass.scm b/gnu/services/cuirass.scm index d92421762a..7bfb021161 100644 --- a/gnu/services/cuirass.scm +++ b/gnu/services/cuirass.scm @@ -1,6 +1,6 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2016 Mathieu Lirzin <mthl@gnu.org> -;;; Copyright © 2016, 2017, 2018, 2019 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2016, 2017, 2018, 2019, 2020 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2017 Mathieu Othacehe <m.othacehe@gmail.com> ;;; Copyright © 2017 Jan Nieuwenhuizen <janneke@gnu.org> ;;; Copyright © 2018, 2019 Ricardo Wurmus <rekado@elephly.net> @@ -25,8 +25,8 @@ #:use-module (guix gexp) #:use-module (guix records) #:use-module (gnu packages admin) - #:autoload (gnu packages ci) (cuirass) - #:autoload (gnu packages version-control) (git) + #:use-module (gnu packages ci) + #:use-module (gnu packages version-control) #:use-module (gnu services) #:use-module (gnu services base) #:use-module (gnu services shepherd) diff --git a/gnu/services/mcron.scm b/gnu/services/mcron.scm index 1327516b49..d9627c6bd0 100644 --- a/gnu/services/mcron.scm +++ b/gnu/services/mcron.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2016, 2017, 2018, 2019 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2016, 2017, 2018, 2019, 2020 Ludovic Courtès <ludo@gnu.org> ;;; ;;; This file is part of GNU Guix. ;;; @@ -19,7 +19,7 @@ (define-module (gnu services mcron) #:use-module (gnu services) #:use-module (gnu services shepherd) - #:autoload (gnu packages guile-xyz) (mcron) + #:use-module (gnu packages guile-xyz) #:use-module (guix deprecation) #:use-module (guix records) #:use-module (guix gexp) diff --git a/gnu/system/linux-container.scm b/gnu/system/linux-container.scm index 2ab679ff3f..c8807398b3 100644 --- a/gnu/system/linux-container.scm +++ b/gnu/system/linux-container.scm @@ -2,6 +2,7 @@ ;;; Copyright © 2015 David Thompson <davet@gnu.org> ;;; Copyright © 2016, 2017, 2019 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2019 Arun Isaac <arunisaac@systemreboot.net> +;;; Copyright © 2020 Efraim Flashner <efraim@flashner.co.il> ;;; ;;; This file is part of GNU Guix. ;;; @@ -194,11 +195,13 @@ that will be shared with the host system." (define (explain pid) ;; XXX: We can't quite call 'bindtextdomain' so there's actually ;; no i18n. + ;; XXX: Should we really give both options? 'guix container exec' + ;; is a more verbose command. Hard to fail to enter the container + ;; when we list two options. (info (G_ "system container is running as PID ~a~%") pid) - ;; XXX: Should we recommend 'guix container exec'? It's more - ;; verbose and doesn't bring much. - (info (G_ "Run 'sudo nsenter -a -t ~a' to get a shell into it.~%") + (info (G_ "Run 'sudo guix container exec ~a /run/current-system/profile/bin/bash --login'\n") pid) + (info (G_ "or run 'sudo nsenter -a -t ~a' to get a shell into it.~%") pid) (newline (guix-warning-port))) (call-with-container file-systems |