From debbugs-submit-bounces@debbugs.gnu.org Sat Jul 15 19:09:16 2017 Received: (at submit) by debbugs.gnu.org; 15 Jul 2017 23:09:16 +0000 Received: from localhost ([127.0.0.1]:40808 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dWWBS-0006VK-HB for submit@debbugs.gnu.org; Sat, 15 Jul 2017 19:09:15 -0400 Received: from eggs.gnu.org ([208.118.235.92]:47598) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dWWBO-0006Um-Ln for submit@debbugs.gnu.org; Sat, 15 Jul 2017 19:09:09 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dWWBI-0005qZ-Az for submit@debbugs.gnu.org; Sat, 15 Jul 2017 19:09:01 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:43231) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1dWWBI-0005qR-7e for submit@debbugs.gnu.org; Sat, 15 Jul 2017 19:09:00 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:38569) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dWWBG-0007lD-N6 for guix-patches@gnu.org; Sat, 15 Jul 2017 19:09:00 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dWWBC-0005nC-D7 for guix-patches@gnu.org; Sat, 15 Jul 2017 19:08:58 -0400 Received: from minos.uwaterloo.ca ([129.97.128.78]:53020) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1dWWBC-0005lH-47 for guix-patches@gnu.org; Sat, 15 Jul 2017 19:08:54 -0400 Received: from localhost (ip-30-230-239-173.toronto.ca.northamericancoax.com [173.239.230.30]) (authenticated bits=0) by minos.uwaterloo.ca (8.14.4/8.14.4) with ESMTP id v6FMcFxM000790 (version=TLSv1/SSLv3 cipher=AES256-GCM-SHA384 bits=256 verify=NO) for ; Sat, 15 Jul 2017 18:38:18 -0400 DKIM-Filter: OpenDKIM Filter v2.11.0 minos.uwaterloo.ca v6FMcFxM000790 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uwaterloo.ca; s=default; t=1500158298; bh=dekqfJtW31HDiKA9aZ6JRkQxDiS9FQg/QIVP3fFs6YY=; h=Date:From:To:Subject:From; b=nF6G7TFKGWK6WCR9xclKB0lBzejRldX8LapdxT6pVH+4lwqfbQFnwtMUJY7hUD+gX Pq/3lvLlBZcxNktew0Ux6sAXGBUkLaqcngzkEyHPqogNJ7BoNBd/UpqWA8JLbTUlPt j/NSMCU/W3c0+bi3zqgrpr14qZNLJYXtVor9EG3E= Date: Sat, 15 Jul 2017 18:38:14 -0400 From: Andy Patterson To: guix-patches@gnu.org Subject: [PATCH] gnu: Add Poly/ML. Message-ID: <20170715183814.11ef32b5@uwaterloo.ca> X-Mailer: Claws Mail 3.15.0-dirty (GTK+ 2.24.31; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-UUID: aec2fb0c-14b8-40b0-abd0-cae925dfb4e3 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.0 (----) 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]: Thanks, -- Andy =46rom 9ee47f7fa9be666540f034d8f9f5d31cb04ad248 Mon Sep 17 00:00:00 2001 From: Andy Patterson 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 =3D \ %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 =C2=A9 2017 Andy Patterson +;;; +;;; 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 . + +(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=3Dyes" + "--with-x=3Dyes" + "--with-threads=3Dyes" + "--with-gmp=3Dyes") + #: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+)))) --=20 2.13.2 From debbugs-submit-bounces@debbugs.gnu.org Mon Jul 17 09:09:24 2017 Received: (at 27724-done) by debbugs.gnu.org; 17 Jul 2017 13:09:24 +0000 Received: from localhost ([127.0.0.1]:43375 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dX5m8-0003g0-0d for submit@debbugs.gnu.org; Mon, 17 Jul 2017 09:09:24 -0400 Received: from eggs.gnu.org ([208.118.235.92]:45832) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dX5m4-0003fk-6l for 27724-done@debbugs.gnu.org; Mon, 17 Jul 2017 09:09:22 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dX5lv-0003b6-92 for 27724-done@debbugs.gnu.org; Mon, 17 Jul 2017 09:09:14 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:33668) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dX5lv-0003b0-65; Mon, 17 Jul 2017 09:09:11 -0400 Received: from [193.50.110.212] (port=51496 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1dX5lu-0000KL-NL; Mon, 17 Jul 2017 09:09:11 -0400 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Andy Patterson Subject: Re: [bug#27724] [PATCH] gnu: Add Poly/ML. References: <20170715183814.11ef32b5@uwaterloo.ca> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 29 Messidor an 225 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-unknown-linux-gnu Date: Mon, 17 Jul 2017 15:09:08 +0200 In-Reply-To: <20170715183814.11ef32b5@uwaterloo.ca> (Andy Patterson's message of "Sat, 15 Jul 2017 18:38:14 -0400") Message-ID: <874lub9pmz.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 27724-done Cc: 27724-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) Hi Andy, Andy Patterson skribis: > From 9ee47f7fa9be666540f034d8f9f5d31cb04ad248 Mon Sep 17 00:00:00 2001 > From: Andy Patterson > 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=E2=80=99. From unknown Sat Aug 09 13:24:07 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 15 Aug 2017 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator