;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2018 Danny Milosavljevic <dannym@scratchpost.org>
;;; Copyright © 2018 Tobias Geerinckx-Rice <me@tobias.gr>
;;;
;;; 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 pure)
  #:use-module ((guix licenses) #:prefix license:)
  #:use-module (guix packages)
  #:use-module (guix download)
  #:use-module (guix git-download)
  #:use-module (guix utils)
  #:use-module (guix build-system gnu)
  #:use-module (guix gexp)
  #:use-module (gnu packages)
  #:use-module (gnu packages llvm)
  #:use-module (gnu packages multiprecision))

(define-public pure
  (package
    (name "pure")
    (version "0.68")
    (source
     (origin
       (method url-fetch)
       (uri (string-append "https://github.com/agraef/pure-lang/releases/"
                           "download/pure-" version "/"
                           "pure-" version ".tar.gz"))
       (sha256
        (base32
         "0px6x5ivcdbbp2pz5n1r1cwg1syadklhjw8piqhl63n91i4r7iyb"))))
    (build-system gnu-build-system)
    (arguments
     `(#:make-flags (list (string-append "LDFLAGS=-Wl,-rpath="
                                         (assoc-ref %outputs "out")
                                         "/lib"))
       #:phases
       (modify-phases %standard-phases
         (add-after 'unpack 'patch-llvm-lookup
           (lambda _
             (substitute* "configure"
               (("-lLLVM-[$][{]llvm_version[}]")
                "`$LLVMCONF --libs`"))
             #t)))))
    (inputs
     (list gmp llvm-3.5 mpfr))
    (home-page "https://agraef.github.io/pure-lang/")
    (synopsis "Pure programming Language")
    (description "@code{pure} is a programming language based on term
rewriting.  It offers equational definitions with pattern matching,
full symbolic rewriting capabilities, dynamic typing, eager and lazy
evaluation, lexical closures, built-in list and matrix support and
a C interface.")
    (license license:gpl3+)))
ux-modules.scm?id=e4020c27326d3b8339d4a5f803dd1c51e6a6fa54&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2024-05-29 22:01:23 -0400'>2024-05-29</span></td><td><a href='/guix/commit/gnu/build/linux-modules.scm?id=afacfa33ec4b52cb9ffb9b0a7a0c1e68cf264673'>gnu: linux-libre: Enable Zstd compression of kernel modules.</a><span class='msg-avail'>...<span class='msg-tooltip'>This brings the on disk size of the kernel from 164 MiB to 144 MiB, or about
12%.

* gnu/packages/linux.scm (default-extra-linux-options)
[version&gt;=5.13]: Enable CONFIG_MODULE_COMPRESS_ZSTD, else
CONFIG_MODULE_COMPRESS_GZIP.
(make-linux-libre*) [phases] {set-environment}: Set ZSTD_CLEVEL environment
variable to 19.
[native-inputs]: Add zstd.
* gnu/build/linux-modules.scm (module-regex): Add .zst to regexp.  Update doc.
(modinfo-section-contents): Extend support to Zstd compressed module.
(dot-ko): Register the 'zstd compression type.
(ensure-dot-ko, file-name-&gt;module-name, load-linux-module*)
(module-name-&gt;file-name/guess, write-module-name-database)
(write-module-alias-database, write-module-device-database): Update doc.
(module-name-lookup): Also consider zstd-compressed modules.
* gnu/installer.scm (installer-program): Add guile-zstd extension to gexp.
* gnu/system/linux-initrd.scm (flat-linux-module-directory): Likewise.
Decompress zstd-compressed modules for use in initrd.
* guix/profiles.scm (linux-module-database): Add guile-zstd extension to gexp.

Change-Id: Ide899dc5c58ea5033583b1a91a92c025fc8d901a
</span></span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2024-03-27 22:23:38 +0800'>2024-03-27</span></td><td><a href='/guix/commit/gnu/build/linux-modules.scm?id=7995816ec4c38e447a2dcbeb33243180709e177d'>linux-modules: Ignore nonexistent module files on boot.</a><span class='msg-avail'>...<span class='msg-tooltip'>This is a follow-up to 8f8ec56052766aa5105d672b77ad9eaca5c1ab3c, which only
covers building initrd, while the booting code still tries to load nonexistent
files for builtin modules.

* gnu/build/linux-modules.scm (load-linux-modules-from-directory): Ignore
nonexistent module files.

Change-Id: I09ef207e82397e915e671c8464b92bcf90f03dcf
</span></span></td><td>Hilton Chain</td></tr>
<tr><td><span title='2023-10-15 02:00:00 +0200'>2023-10-15</span></td><td><a href='/guix/commit/gnu/build/linux-modules.scm?id=47e265af75141f6ffb557cf6c41a02a05ec82ccb'>linux-modules: Fix module dependency loading.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/build/linux-modules.scm (dot-ko): Make COMPRESSION optional,
as expected by callers RECURSIVE-MODULE-DEPENDENCIES and
LOAD-LINUX-MODULE*.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2022-11-15 12:16:43 +0100'>2022-11-15</span></td><td><a href='/guix/commit/gnu/build/linux-modules.scm?id=afbd4d8470ad2e0b3bd5dd84b983bb343b4451f9'>linux-modules: Add 'load-pci-device-database'.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/build/linux-modules.scm (read-pci-device-database)
(load-pci-device-database): New procedures.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2022-11-15 12:16:42 +0100'>2022-11-15</span></td><td><a href='/guix/commit/gnu/build/linux-modules.scm?id=655fb8feacfcb16da784ad88201663bb6fb566e4'>linux-modules: Add support for listing PCI devices.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/build/linux-modules.scm (&lt;pci-device&gt;): New record type.
(pci-device-class-predicate, storage-pci-device?, network-pci-device?)
(display-pci-device?, pci-devices?): New procedures.
</span></span></td><td>Ludovic Courtès</td></tr>