;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2017 Ethan R. Jones <doubleplusgood23@gmail.com>
;;;
;;; 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 cpp)
  #:use-module ((guix licenses) #:prefix license:)
  #:use-module (guix packages)
  #:use-module (guix download)
  #:use-module (guix build-system gnu)
  #:use-module (gnu packages)
  #:use-module (gnu packages autotools))

(define-public libzen
  (package
    (name "libzen")
    (version "0.4.35")
    (source (origin
              (method url-fetch)
              (uri (string-append "https://mediaarea.net/download/source/"
                                  name "/" version "/"
                                  name "_" version ".tar.bz2"))
              (sha256
               (base32
                "12a1icgcffgv503ii2k1453kxg5hfly09mf4zjcc80aq8a6rf8by"))))
    (native-inputs
     `(("autoconf" ,autoconf)
       ("automake" ,automake)
       ("libtool" ,libtool)))
    (build-system gnu-build-system)
    (arguments
     '(#:phases
       ;; build scripts not in root of archive
       (modify-phases %standard-phases
         (add-after 'unpack 'pre-configure
           (lambda _
             (chdir "Project/GNU/Library")))
         (add-after 'pre-configure 'autogen
           (lambda _
             (zero? (system* "sh" "autogen.sh")))))))
    (home-page "https://github.com/MediaArea/ZenLib")
    (synopsis "C++ utility library")
    (description "ZenLib is a C++ utility library.  It includes classes for handling
strings, configuration, bit streams, threading, translation, and cross-platform
operating system functions.")
    (license license:zlib)))
ges</a>/<a href='/guix/log/gnu/packages/idris.scm?id=aa25663162f29d5a4323f7c4fd5643906e76c463'>idris.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/idris.scm?id=aa25663162f29d5a4323f7c4fd5643906e76c463&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2022-04-20 08:35:48 -0500'>2022-04-20</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=0cf1178a659ad83e089c2f1f9736dde2b4e9163b'>gnu: idris: Update to 1.3.4.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/patches/idris-build-with-haskeline-0.8.patch,
gnu/packages/patches/idris-build-with-megaparsec-9.patch,
gnu/packages/patches/idris-disable-test.patch: Delete patches.
* gnu/local.mk (dist_patch_DATA): Unregister them.
* gnu/packages/idris.scm (idris): Update to 1.3.4.
[source]: Use git-fetch.  Adjust patches.

Co-authored-by: Attila Lendvai &lt;attila@lendvai.name&gt;
</span></span></td><td>Eric Bavier</td></tr>
<tr><td><span title='2022-04-20 08:35:48 -0500'>2022-04-20</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=ae6cd99573433cd6067e0f9bafec23306376e690'>gnu: idris: Use cc-for-target.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/idris.scm (idris)[arguments]: Use cc-for-target in place of
"gcc".
</span></span></td><td>Eric Bavier</td></tr>
<tr><td><span title='2022-04-20 08:35:48 -0500'>2022-04-20</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=b2a66e107170dab414f3f1e9dd0fe1c354b6e514'>gnu: idris: Remove trailing #t.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/idris.scm (idris)[arguments]: Remove trailing #t.
</span></span></td><td>Eric Bavier</td></tr>
<tr><td><span title='2022-04-13 09:48:04 -0500'>2022-04-13</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=b5e32d96202e58bb0e7d640fe54f728d0ca2b4b1'>gnu: idris: Fixes test failure.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/patches/idris-test-ffi008.patch: New file.
* gnu/packages/idris.scm (source): Use it.
* gnu/local.mk (dist_patch_DATA): Register it.
</span></span></td><td>Eric Bavier</td></tr>