GNU bug report logs - #27724
[PATCH] gnu: Add Poly/ML.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 27724 in the body.
You can then email your comments to 27724 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Andy Patterson <ajpatter <at> uwaterloo.ca>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: Add Poly/ML.
Date: Sat, 15 Jul 2017 18:38:14 -0400

Hi,

Appended is a patch adding Poly/ML, an sml implementation. I tested
it by running through the example from here [0]. Feedback welcome.

[0]: <http://www.polyml.org/documentation/Tutorials/Motif.html>

Thanks,

--
Andy

From 9ee47f7fa9be666540f034d8f9f5d31cb04ad248 Mon Sep 17 00:00:00 2001
From: Andy Patterson <ajpatter <at> uwaterloo.ca>
Date: Sat, 15 Jul 2017 18:17:25 -0400
Subject: [PATCH] gnu: Add Poly/ML.

* gnu/packages/sml.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
---
 gnu/local.mk         |  1 +
 gnu/packages/sml.scm | 72 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed,
 73 insertions(+) create mode 100644 gnu/packages/sml.scm

diff --git a/gnu/local.mk b/gnu/local.mk
index 32b62196e..28c70eacf 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -363,6 +363,7 @@ GNU_SYSTEM_MODULES =
\ %D%/packages/skribilo.scm			\
   %D%/packages/slang.scm			\
   %D%/packages/smalltalk.scm			\
+  %D%/packages/sml.scm				\
   %D%/packages/speech.scm			\
   %D%/packages/spice.scm			\
   %D%/packages/ssh.scm				\
diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm
new file mode 100644
index 000000000..6e57c4a4a
--- /dev/null
+++ b/gnu/packages/sml.scm
@@ -0,0 +1,72 @@
+;;; GNU Guix --- Functional package management for GNU
+;;; Copyright © 2017 Andy Patterson <ajpatter <at> 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+))))
-- 
2.13.2

Message #10 received at 27724-done <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Andy Patterson <ajpatter <at> uwaterloo.ca>
Cc: 27724-done <at> debbugs.gnu.org
Subject: Re: [bug#27724] [PATCH] gnu: Add Poly/ML.
Date: Mon, 17 Jul 2017 15:09:08 +0200

Hi Andy,

Andy Patterson <ajpatter <at> uwaterloo.ca> skribis:

> From 9ee47f7fa9be666540f034d8f9f5d31cb04ad248 Mon Sep 17 00:00:00 2001
> From: Andy Patterson <ajpatter <at> uwaterloo.ca>
> Date: Sat, 15 Jul 2017 18:17:25 -0400
> Subject: [PATCH] gnu: Add Poly/ML.
>
> * gnu/packages/sml.scm: New file.
> * gnu/local.mk (GNU_SYSTEM_MODULES): Add it.

Applied, thanks!

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.