;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2017 Andy Patterson <ajpatter@uwaterloo.ca>
;;; Copyright © 2017 Tobias Geerinckx-Rice <me@tobias.gr>
;;; Copyright © 2018 Ricardo Wurmus <rekado@elephly.net>
;;; Copyright © 2019, 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 sml)
  #:use-module (gnu packages lesstif)
  #:use-module (gnu packages libffi)
  #:use-module (gnu packages multiprecision)
  #:use-module (gnu packages xorg)
  #:use-module (guix build-system gnu)
  #:use-module (guix download)
  #:use-module (guix git-download)
  #:use-module ((guix licenses) #:prefix license:)
  #:use-module (guix packages))

(define-public polyml
  (package
    (name "polyml")
    (version "5.8.1")
    (source (origin
              (method git-fetch)
              (uri (git-reference
                    (url "https://github.com/polyml/polyml")
                    (commit (string-append "v" version))))
              (file-name (git-file-name name version))
              (sha256
               (base32
                "1ag7n55ym1zxksi89dvs17j6iaa58v4mg47s92zpa1b49k4fql1k"))))
    (build-system gnu-build-system)
    (inputs
     `(("gmp" ,gmp)
       ("lesstif" ,lesstif)
       ("libffi" ,libffi)
       ("libx11" ,libx11)
       ("libxt" ,libxt)))
    (arguments
     '(#:configure-flags
       (list "--with-system-libffi=yes"
             "--with-x=yes"
             "--with-threads=yes"
             "--with-gmp=yes")
       #:phases
       (modify-phases %standard-phases
         (add-after 'build 'build-compiler
           (lambda* (#:key make-flags parallel-build? #:allow-other-keys)
             (define flags
               (if parallel-build?
                   (cons (format #f "-j~d" (parallel-job-count))
                         make-flags)
                   make-flags))
             (apply system* "make" (append flags (list "compiler"))))))))
    (home-page "https://www.polyml.org/")
    (synopsis "Standard ML implementation")
    (description "Poly/ML is a Standard ML implementation.  It is fully
compatible with the ML97 standard.  It includes a thread library, a foreign
function interface, and a symbolic debugger.")
    ;; Some source files specify 'or any later version'; some don't
    (license
     (list license:lgpl2.1
           license:lgpl2.1+))))
ourtès</td></tr>
<tr><td><span title='2020-07-08 17:55:55 +0200'>2020-07-08</span></td><td><a href='/guix/commit/gnu/packages/education.scm?id=a42d6a99f80f202aac6414d1f691c9b5ddae71ce'>gnu: snap: Update to 6.0.0.</a><span class='msg-avail'>...</span></td><td>Nicolas Goaziou</td></tr>
<tr><td><span title='2020-07-08 00:15:44 +0200'>2020-07-08</span></td><td><a href='/guix/commit/gnu/packages/education.scm?id=127f0f05acfd7344661e0a64fc347033b017e000'>gnu: fet: Update to 5.45.1.</a><span class='msg-avail'>...</span></td><td>Nicolas Goaziou</td></tr>
<tr><td><span title='2020-06-29 04:39:48 +0200'>2020-06-29</span></td><td><a href='/guix/commit/gnu/packages/education.scm?id=4bc71b4eee5b8a7bbeed30fa5562ae8509ab8df1'>gnu: exercism: Don't install source.</a><span class='msg-avail'>...</span></td><td>Jakub Kądziołka</td></tr>
<tr><td><span title='2020-06-11 22:44:27 +0200'>2020-06-11</span></td><td><a href='/guix/commit/gnu/packages/education.scm?id=648ae62112f62bc2106fb36d45c83fda787d3bed'>gnu: Add exercism and dependencies.</a><span class='msg-avail'>...</span></td><td>Jakub Kądziołka</td></tr>
<tr><td><span title='2020-06-10 22:17:11 +0200'>2020-06-10</span></td><td><a href='/guix/commit/gnu/packages/education.scm?id=a4620c019b8d5e9b24f3ea8470cd20b9a0bebb70'>gnu: fet: Update to 5.45.0.</a><span class='msg-avail'>...</span></td><td>Nicolas Goaziou</td></tr>
<tr><td><span title='2020-06-06 22:15:08 +0200'>2020-06-06</span></td><td><a href='/guix/commit/gnu/packages/education.scm?id=58eea2eb26647ef24f486d65551ccd6452adec0f'>gnu: klavaro: Update to 3.10.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2020-06-02 20:41:11 +0200'>2020-06-02</span></td><td><a href='/guix/commit/gnu/packages/education.scm?id=5359b601cd19eab96205e8eabca902ec8a47db18'>gnu: toutenclic: Add missing input.</a><span class='msg-avail'>...</span></td><td>Marius Bakke</td></tr>
<tr><td><span title='2020-06-01 23:56:58 +0200'>2020-06-01</span></td><td><a href='/guix/commit/gnu/packages/education.scm?id=7e80c8e827e1a7694e5bedceab03a7af8e8d90a2'>gnu: fet: Update to 5.44.8.</a><span class='msg-avail'>...</span></td><td>Nicolas Goaziou</td></tr>
<tr><td><span title='2020-05-27 00:35:29 +0200'>2020-05-27</span></td><td><a href='/guix/commit/gnu/packages/education.scm?id=8880db51d2e052621e4c54f4d594bbc5867d7af2'>gnu: fet: Update to 5.44.7.</a><span class='msg-avail'>...</span></td><td>Nicolas Goaziou</td></tr>
<tr><td><span title='2020-05-25 19:30:59 +0200'>2020-05-25</span></td><td><a href='/guix/commit/gnu/packages/education.scm?id=09a3d34cf53348d870e360d650a880e5f0064355'>gnu: gcompris: Use HTTPS home page URI.</a><span class='msg-avail'>...</span></td><td>Nicolas Goaziou</td></tr>
<tr><td><span title='2020-05-01 16:23:52 +0200'>2020-05-01</span></td><td><a href='/guix/commit/gnu/packages/education.scm?id=a5e4713015f0444951124d88cbd759dec0a43307'>gnu: fet: Update to 5.44.4.</a><span class='msg-avail'>...</span></td><td>Nicolas Goaziou</td></tr>
<tr><td><span title='2020-04-16 18:33:21 +0200'>2020-04-16</span></td><td><a href='/guix/commit/gnu/packages/education.scm?id=7adf6f1be99ecba38cac4940b3091a1c3aa6c72d'>gnu: Add the GNU MDK.</a><span class='msg-avail'>...</span></td><td>guy fleury iteriteka</td></tr>
<tr><td><span title='2020-03-27 23:34:37 +0100'>2020-03-27</span></td><td><a href='/guix/commit/gnu/packages/education.scm?id=734eb7d79e08a1c4d4fea42453d0a821b41ad9c7'>gnu: fet: Update to 5.44.0.</a><span class='msg-avail'>...</span></td><td>Nicolas Goaziou</td></tr>
<tr><td><span title='2020-03-07 17:29:34 +0100'>2020-03-07</span></td><td><a href='/guix/commit/gnu/packages/education.scm?id=880a316591650a06c18aeaef1703800784d2c196'>gnu: anki: Fix mpv audio playback</a><span class='msg-avail'>...</span></td><td>Robert Smith</td></tr>
<tr><td><span title='2020-03-01 11:11:47 +0100'>2020-03-01</span></td><td><a href='/guix/commit/gnu/packages/education.scm?id=4a5e7edce25e8c7f98995cf393560f08661e001a'>gnu: fet: Update to 5.43.2.</a><span class='msg-avail'>...</span></td><td>Nicolas Goaziou</td></tr>