;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2012, 2015 Ludovic Courtès <ludo@gnu.org>
;;; Copyright © 2014 Mark H Weaver <mhw@netris.org>
;;; Copyright © 2017 Efraim Flashner <efraim@flashner.co.il>
;;; Copyright © 2021 Thiago Jung Bauermann <bauermann@kolabnow.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 pth)
  #:use-module (gnu packages autotools)
  #:use-module (guix licenses)
  #:use-module (guix packages)
  #:use-module (guix download)
  #:use-module (guix build-system gnu))

(define-public pth
  (package
    (name "pth")
    (version "2.0.7")
    (source
     (origin
      (method url-fetch)
      (uri (string-append "mirror://gnu/pth/pth-" version
                          ".tar.gz"))
      (sha256
       (base32
        "0ckjqw5kz5m30srqi87idj7xhpw6bpki43mj07bazjm2qmh3cdbj"))))
    (build-system gnu-build-system)
    (arguments
     '(#:parallel-build? #f
       #:phases
       (modify-phases %standard-phases
         (add-after 'unpack 'update-config-scripts
           (lambda* (#:key inputs native-inputs #:allow-other-keys)
             ;; Replace outdated config.guess and config.sub.
             (for-each (lambda (file)
                         (install-file
                          (search-input-file
                           (or native-inputs inputs)
                           (string-append "/bin/" file)) "."))
                       '("config.guess" "config.sub")))))))
    (native-inputs
     (list config))
    (home-page "https://www.gnu.org/software/pth/")
    (synopsis "Portable thread library")
    (description
     "GNU Pth is a portable library providing non-preemptive, priority-based
scheduling for multiple execution threads.  Each thread has its own
program-counter, run-time stack, signal mask and errno variable.  Threads are
scheduled in a cooperative way, rather than in the standard preemptive way,
such that they are managed according to priority and events.  However, Pth
also features emulation of POSIX.1c threads (\"pthreads\") for backwards
compatibility.")
    (license lgpl2.1+)))
8-10-01</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=53812aa77f5c8a490191c069a13a927d365618c7'>gnu: idris: Update to 1.3.0.</a><span class='msg-avail'>...</span></td><td>Timothy Sample</td></tr>
<tr><td><span title='2018-10-01 12:12:08 +0200'>2018-10-01</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=f54f04756f6d90c9fb3b5e45f3947329287f9b05'>gnu: ghc-mtl: Remove built-in Haskell package.</a><span class='msg-avail'>...</span></td><td>Timothy Sample</td></tr>
<tr><td><span title='2018-03-15 23:46:16 +0100'>2018-03-15</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=d661ed521eedf4663c57e5d96e409a32a52113e0'>gnu: idris: Provide the right versions of dependencies.</a><span class='msg-avail'>...</span></td><td>Alex ter Weele</td></tr>
<tr><td><span title='2018-03-15 23:46:16 +0100'>2018-03-15</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=866b19086e7f294261e694b228ff05ffb129296c'>gnu: Add ghc-cheapskate-0.1.0.5.</a><span class='msg-avail'>...</span></td><td>Alex ter Weele</td></tr>
<tr><td><span title='2018-03-15 23:46:15 +0100'>2018-03-15</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=78dc985bee57eaaa45cb9b38c93c8ac4148e908d'>gnu: Add ghc-trifecta-1.6.2.1.</a><span class='msg-avail'>...</span></td><td>Alex ter Weele</td></tr>
<tr><td><span title='2018-03-15 23:46:15 +0100'>2018-03-15</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=9c7e17fd61826506a06b2bf737ebd8bbcd0ce2b5'>gnu: Add ghc-aeson-1.1.2.0.</a><span class='msg-avail'>...</span></td><td>Alex ter Weele</td></tr>
<tr><td><span title='2017-11-13 18:12:37 +0100'>2017-11-13</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=44b7374a220caf73e398f156e08887250214cbeb'>gnu: Move web packages from haskell to haskell-web.</a><span class='msg-avail'>...</span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2017-11-13 18:12:27 +0100'>2017-11-13</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=a06b9b50075a78f846093f86da85d5806b36fbf7'>gnu: Move testing packages from haskell to haskell-check.</a><span class='msg-avail'>...</span></td><td>Ricardo Wurmus</td></tr>