aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/sml.scm
blob: 6e57c4a4a0c1a0a9c577935a7ab57343c6ae1775 (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2017 Andy Patterson <ajpatter@uwaterloo.ca>
;;;
;;; 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 licenses) #:prefix license:)
  #:use-module (guix packages))

(define-public polyml
  (package
    (name "polyml")
    (version "5.7")
    (source
     (origin
       (method url-fetch)
       (uri (string-append "https://github.com/polyml/polyml/archive/v"
                           version ".tar.gz"))
       (sha256
        (base32 "0ycjl746h0m22w9nsdssjl47d56jih12gpkdg3yw65gakj70sd0r"))
       (file-name (string-append name "-" version ".tar.gz"))))
    (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 "http://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+))))
ing Guix on a Linode Server"...* doc/guix-cookbook.texi (Running Guix on a Linode Server): I added a section that explains how to run guix on a linode server. Thanks Chris Webber! Signed-off-by: Ludovic Courtès <ludo@gnu.org> Joshua Branson 2020-08-23doc: cookbook: Add chapter about Guix environment....* doc/guix-cookbook.texi (Environment management): New chapter. Oleg Pykhalov 2020-07-09doc: cookbook: Fix ‘file system’ spelling....* doc/guix-cookbook.texi (Getting help, Customizing the Kernel): Fix ‘file system’ spelling. Tobias Geerinckx-Rice 2020-06-28doc: cookbook: Fix encoding of "André"....This is a followup to f8945734a5abff69644284231cc47fb67456657b. * doc/guix-cookbook.texi: Encode "André" as UTF-8, not ISO-8859-1. Ludovic Courtès 2020-06-28doc: cookbook: Update entry about getting substitutes through Tor....* doc/guix-cookbook.texi (Getting substitutes from Tor): Update section warning to mention the use of torsocks when pulling. André Batista 2020-06-23doc: cookbook: Fix typos....* doc/guix-cookbook.texi (Extended example): Fix typos. Ludovic Courtès 2020-06-23doc: cookbook: Tweak intro to the REPL....* doc/guix-cookbook.texi (A Scheme Crash Course): Reword first paragraph. Remove extra paren. Ludovic Courtès 2020-06-23doc: cookbook: Mention "guix hash -rx" for Git checkouts....* doc/guix-cookbook.texi (Extended example): Mention "guix hash -rx ." Ludovic Courtès 2020-06-23doc: cookbook: Clarify 'git-fetch' conventions....* doc/guix-cookbook.texi (Extended example): Clarify use of 'git-file-name' and 'git-version'. Ludovic Courtès 2020-06-04doc: cookbook: Add entry about getting substitutes through Tor....* doc/guix-cookbook.texi (Getting substitutes from Tor): New section. Brice Waegeneire 2020-06-02doc: cookbook: Add entry about Wireguard VPN....Co-authored-by: Brice Waegeneire <brice@waegenei.re> * doc/guix-cookbook.texi (Connect to Wireguard VPN): New section. Marcin Karpezo 2020-05-25doc: cookbook: Add subsection about session locking with xss-lock....* doc/guix-cookbook.texi (Session lock): New node. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Chris Bøg 2020-05-05doc: cookbook: Fix sbcl-ttf-fonts package name....* doc/guix-cookbook.texi (StumpWM): Adjust sbcl-ttf-fonts package name. Signed-off-by: Marius Bakke <mbakke@fastmail.com> Jean-Baptiste Note 2020-04-30doc: cookbook: Rename stumpwm package to current state....* doc/guix-cookbook.texi (StumpWM): Rename STUMPWM package to current state. Signed-off-by: Oleg Pykhalov <go.wigust@gmail.com> Marcin Karpezo 2020-04-25doc: cookbook: Fix quotes....* doc/guix-cookbook.texi (Basic setup with manifests): (Default profile): (The benefits of manifests): Use proper quotes in regular texts. Nicolas Goaziou 2020-04-24doc: cookbook: Use @file for file names and extensions....* doc/guix-cookbook.texi (@samp{GUIX_PACKAGE_PATH}): (Extended example): (Setting up a bind mount): (Basic setup with manifests): (Default profile): Use @file instead of @samp or @code for file names and extensions. Nicolas Goaziou 2020-04-24doc: cookbook: Fix misuses of double spacing....* doc/guix-cookbook.texi (Extended example): (StumpWM): (Basic setup with manifests): Prevent Texinfo from ending a sentence where it should not. (Setting up a bind mount): Add two spaces where needed. Nicolas Goaziou 2020-04-22doc: cookbook: Explain how to use bind mounts....* doc/guix-cookbook.texi (Setting up a bind mount): Add example. Signed-off-by: Leo Famulari <leo@famulari.name> Matthew Brooks 2020-03-30gnu: Add sbcl-stumpwm-ttf-fonts....* gnu/packages/wm.scm (sbcl-stumpwm-ttf-fonts): New variable. * doc/guix-cookbook.texi (Customizing a Window Manager): Document SBCL-STUMPWM-TTF-FONTS installation and configuration. Oleg Pykhalov 2020-01-17doc: cookbook: Avoid URL reference to the manual....* doc/guix-cookbook.texi (Other build systems): Use @xref instead of @uref, and remove section number. Ludovic Courtès 2019-11-26doc: cookbook: Add cross-references to the Guile manual....* doc/guix-cookbook.texi (A Scheme Crash Course): Add cross-reference to the Guile manual. Ludovic Courtès 2019-11-26doc: cookbook: Use @result{} & co. instead of a '>' prompt....* doc/guix-cookbook.texi (A Scheme Crash Course) (Extended example): Use @result{}, @print{}, and @error{}. Ludovic Courtès 2019-11-26doc: cookbook: Use Texinfo quotes....* doc/guix-cookbook.texi: Use Texinfo quotes ``like this'' instead of straight quotes or curly quotes. Ludovic Courtès 2019-11-26doc: cookbook: Add cross-reference about ./pre-inst-env....* doc/guix-cookbook.texi (Direct checkout hacking): Refer to "Running Guix Before It Is Installed". Ludovic Courtès 2019-11-26doc: cookbook: Use @lisp for Scheme snippets....* doc/guix-cookbook.texi: Use @lisp instead of @example where appropriate. Ludovic Courtès 2019-10-30doc: Explain how to switch profile from empty shell in "Profiles in Practice"....* doc/guix-cookbook.texi (Profiles in Practice): Add example. Pierre Neidhardt 2019-10-28doc: Link to SICP Info page in "A Scheme Crash Course"....* doc/guix-cookbook.texi (Scheme tutorials): Replace Emacs Info reader hint with more useful interactive link to SICP Info page. Pierre Neidhardt 2019-10-28doc: Finish importing the "Packaging Tutorial"....* doc/guix-cookbook.texi (Packaging Tutorial): Import all sections after the Scheme crash course. Pierre Neidhardt 2019-10-28doc: Fix some typos in "Guix Profiles in Practice"....* doc/guix-cookbook.texi (Guix Profiles in Practice): Fix typos. Pierre Neidhardt 2019-10-25doc: cookbook: Use "@lisp" for Scheme snippets....* doc/guix-cookbook.texi: Use @lisp for Scheme snippets instead of "@example scheme". This allows for syntax highlighting of the HTML output. Ludovic Courtès 2019-10-24doc: Add "Guix Profiles in Practice" to the cookbook....* doc/guix-cookbook.texi (Advanced package management): New chapter. * doc/guix-cookbook.texi (Guix Profiles in Practice): New section. Pierre Neidhardt 2019-09-18doc: Add Guix Cookbook....* .gitignore: Update ignore list. * Makefile.am (assert-no-store-file-names): Exclude the cookbook. * bootstrap: Generate po files for cookbook translations. * doc/guix-cookbook.texi: New file. * doc/local.mk (info_TEXINFOS): Add it; add a rule to build cookbook translations. * po/doc/local.mk (DOC_COOKBOOK_PO_FILES): New variable. (EXTRA_DIST): Add cookbook pot file and po files. (doc-po-update-cookbook-%): New target. (doc-pot-update): Also update cookbook pot file. (doc-po-update): Also update cookbook po files. Ricardo Wurmus