;;; 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+)))
b34ed9514b27aca7e2c30&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2021-05-13 00:32:23 +0200'>2021-05-13</span></td><td><a href='/guix/commit/gnu/packages/webkit.scm?id=121b9354a2e5cb669c577b6a2535882c431a8d44'>gnu: webkitgtk: Update to 2.32.1.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/webkit.scm (webkitgtk): Update to 2.32.1.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2021-04-27 12:26:17 +0200'>2021-04-27</span></td><td><a href='/guix/commit/gnu/packages/webkit.scm?id=e5c65fb7372e10a2d6531d25f3b7d7c31679a21e'>gnu: webkitgtk: Always use at least 2 make jobs.</a><span class='msg-avail'>...<span class='msg-tooltip'>Fixes &lt;http://issues.guix.gnu.org/47964&gt;.

* gnu/packages/webkit.scm (webkitgtk)[arguments]: Use at least -j2.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2021-03-30 14:11:28 -0400'>2021-03-30</span></td><td><a href='/guix/commit/gnu/packages/webkit.scm?id=3c5e1412e3ef769df8e4826d0aedabaa3aa0d631'>gnu: WebKitGTK: Update to 2.32.0 [fixes CVE-2021-{1788,1844,1871}].</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/webkit.scm (webkitgtk): Update to 2.32.0.
[arguments]: Add -DENABLE_GAMEPAD=OFF to #:configure-flags.
</span></span></td><td>Leo Famulari</td></tr>
<tr><td><span title='2021-03-27 19:48:50 -0400'>2021-03-27</span></td><td><a href='/guix/commit/gnu/packages/webkit.scm?id=9dea1618755891526f708aa335b4136c1302d16e'>gnu: Use 'gtk-doc/stable' in native-inputs of selected packages.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/calendar.scm (libical),
gnu/packages/check.scm (umockdev),
gnu/packages/fontutils.scm (libraqm),
gnu/packages/freedesktop.scm (appstream, farstream, libglib-testing)
(udisks, libfprint, libportal),
gnu/packages/geo.scm (memphis, osm-gps-map),
gnu/packages/glib.scm (template-glib),
gnu/packages/gnome.scm (gupnp-igd, libcloudproviders, libgrss, seed)
(gtx, dee, zeitgeist, phodav, gssdp, gupnp, gupnp-dlna, gupnp-av, rygel)
(libnma, gdl, libnotify, vte-ng, dconf, libxklavier, libsoup, colord)
(geoclue, geocode-glib, amtk, grilo, gvfs, gusb, network-manager)
(network-manager-applet, gfbgraph, libunique, cheese, libhandy)
(gnome-latex, libgda),
gnu/packages/gstreamer.scm (orc),
gnu/packages/gtk.scm (at-spi2-core, goocanvas),
gnu/packages/language.scm (nimf),
gnu/packages/networking.scm (libnice),
gnu/packages/video.scm (schroedinger),
gnu/packages/virtualization.scm (libosinfo),
gnu/packages/webkit.scm (wpewebkit, webkitgtk),
gnu/packages/xml.scm (libxmlb)[native-inputs]: Replace 'gtk-doc' with
'gtk-doc/stable'.
</span></span></td><td>Mark H Weaver</td></tr>
<tr><td><span title='2021-03-21 22:13:32 +0100'>2021-03-21</span></td><td><a href='/guix/commit/gnu/packages/webkit.scm?id=759e9acd8f09e48ae20d4ee7985274d72331ccad'>gnu: webkitgtk: Update to 2.30.6.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/webkit.scm (webkitgtk): Update to 2.30.6.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2021-03-14 06:07:10 +0100'>2021-03-14</span></td><td><a href='/guix/commit/gnu/packages/webkit.scm?id=92d0949a268fe8479af5851d5bb3733e207a5c81'>gnu: webkitgtk: Enable WOFF2 support.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/webkit.scm (webkitgtk):
[arguments]&lt;#:configure-flags&gt;: Remove "-DUSE_WOFF2=OFF".
[inputs]: Add woff2.
</span></span></td><td>Léo Le Bouter</td></tr>
<tr><td><span title='2021-03-14 06:04:33 +0100'>2021-03-14</span></td><td><a href='/guix/commit/gnu/packages/webkit.scm?id=37b5e79154529efa9058c5d01c4f7826d532aa05'>gnu: wpewebkit: Update to 2.30.5 [security fixes].</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/webkit.scm (wpewebkit): Update to 2.30.5.
[arguments]&lt;#:configure-flags&gt;: Add "-DUSE_SYSTEMD=OFF" and
"-DUSE_GSTREAMER_GL=OFF". Change "-DENABLE_ENCRYPTED_MEDIA=ON" to
"-DENABLE_ENCRYPTED_MEDIA=OFF" (DRM).
</span></span></td><td>Léo Le Bouter</td></tr>
<tr><td><span title='2021-02-16 17:54:07 -0500'>2021-02-16</span></td><td><a href='/guix/commit/gnu/packages/webkit.scm?id=8fc36d82271946bf5e327b0f2feef9f65ce91701'>gnu: WebKitGTK: Update to 2.30.5 [fixes CVE-2020-13558].</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/webkit.scm (webkitgtk): Update to 2.30.5.
</span></span></td><td>Leo Famulari</td></tr>
<tr><td><span title='2020-12-15 22:09:30 -0500'>2020-12-15</span></td><td><a href='/guix/commit/gnu/packages/webkit.scm?id=831af1fd4890655e34386bccefbd422fa454fedf'>gnu: webkitgtk: Update to 2.30.4.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/webkit.scm (webkitgtk): Update to 2.30.4.
</span></span></td><td>Mark H Weaver</td></tr>