From patchwork Thu Apr 14 13:47:10 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Foo Chuan Wei X-Patchwork-Id: 38587 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 9ECF027BBEB; Thu, 14 Apr 2022 14:48:13 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI,SPF_HELO_PASS autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 2738F27BBEA for ; Thu, 14 Apr 2022 14:48:13 +0100 (BST) Received: from localhost ([::1]:39224 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nezpU-0003HX-6T for patchwork@mira.cbaines.net; Thu, 14 Apr 2022 09:48:12 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:37554) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nezpK-0003DF-U3 for guix-patches@gnu.org; Thu, 14 Apr 2022 09:48:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:33508) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nezpK-0004bv-Fb for guix-patches@gnu.org; Thu, 14 Apr 2022 09:48:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nezpK-0003aN-8p for guix-patches@gnu.org; Thu, 14 Apr 2022 09:48:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#54936] [PATCH] gnu: polyml: Update to 5.9. Resent-From: Foo Chuan Wei Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 14 Apr 2022 13:48:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 54936 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 54936@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.164994404213572 (code B ref -1); Thu, 14 Apr 2022 13:48:02 +0000 Received: (at submit) by debbugs.gnu.org; 14 Apr 2022 13:47:22 +0000 Received: from localhost ([127.0.0.1]:55635 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nezog-0003Wq-7y for submit@debbugs.gnu.org; Thu, 14 Apr 2022 09:47:22 -0400 Received: from lists.gnu.org ([209.51.188.17]:52390) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nezod-0003Wf-F8 for submit@debbugs.gnu.org; Thu, 14 Apr 2022 09:47:20 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:37416) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nezod-0001YB-7I for guix-patches@gnu.org; Thu, 14 Apr 2022 09:47:19 -0400 Received: from mail-tyzapc01olkn2019.outbound.protection.outlook.com ([40.92.107.19]:29665 helo=APC01-TYZ-obe.outbound.protection.outlook.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nezoa-0004Yi-VZ for guix-patches@gnu.org; Thu, 14 Apr 2022 09:47:18 -0400 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=CHA7WCBLh0FmM1CynPs8jHNPE7V20ZlgnE0/bUg/sASYiEqlLV5yqaqB9SANLq8AUd9c4cDUHuJ+RtwhId/nV6/ddluSMa2kV+NrsQ6YOMrE8kC0XtYkjRWyxJwX/y8ULrIIUvqm0+u+L41aDBMgIZsuW/XdijhTMCZlupmnxcraAvPVdALx1XylvC4kMZhxgvjcG/efVl861BLxlFxcjhKC1CLOsJd/UJHofGEg1qMn+ErEjy9AWy1VRln5W+7iJlasBJUobjJofOjSShARHfsxQQf+zzVwMhM2owd7iZKM9Jqu4gA+VBDIJIhTrLLvcvzYxhTo16DHOG79Nh1wfw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=WIBHL83XuCzI0LhVpYXhxMGt2RZ7U1yK9p6yAotZA1Q=; b=BFe4WPGDCbsaYiRUEh0LxujuXNfXG8UzAl9TGEUM+JAN9wy/BogrO9BPJpzf0Cs6fwpssJae2hgPi4/8nRL+bgyhhveI6lwh9sXaWuLKJfuIISiX1QycxTZ0lqScOyZPuHVPqlatsQ86ouGayXBwSMsT3MFXJHcXIwHfIhWAap3dfxSpwjSc2OmMf0n/pv49/aYPel44N0+JO7yQ1fh2dW5XoawhNNNp4INBAW3n5aHZOloKEflnEMsi7Ss4HtgKwaaVEthuLbcJLNnT9QSwKYyrAmArZPdk4bbSryVUU8WxN0ynoLg5lG8C6fShMCLjJm+irNTGlWJjXxYRbMAEgg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=hotmail.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=WIBHL83XuCzI0LhVpYXhxMGt2RZ7U1yK9p6yAotZA1Q=; b=PCQdkukvYe5IzygcjPZDhSj2SdA9HW80uqkH0nN/K+parxcQ/pFRdRHzylCxmM5upBujqtlDyhf+CIAr5kPEckgNq7og83irdKJlCAqzdMgXt9sxZE5hyYaUWQgaTBTJaRiEse0Brew8qouK2wqAAsCZIQhKvjTkkziHLCUaFGG/7mUaF83E0mhC8rl1Wf/oq6RFXycWMscL8zY8/faU0gYK1oRZxdE+5XnPTFxRLFFIO8peCr8xcqLDA/yGw88ooVasulPkAAYfwOw4bK4X01xkmUyvo7RAnftG8EppSLUtZIpGZixUJc3kGalpJeBVvgSoI5X2AK+sD4303mZB7A== Received: from PU1PR01MB2155.apcprd01.prod.exchangelabs.com (2603:1096:803:1c::21) by SI2PR01MB4155.apcprd01.prod.exchangelabs.com (2603:1096:4:1a6::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5164.20; Thu, 14 Apr 2022 13:47:13 +0000 Received: from PU1PR01MB2155.apcprd01.prod.exchangelabs.com ([fe80::60d5:496b:c6da:c4c8]) by PU1PR01MB2155.apcprd01.prod.exchangelabs.com ([fe80::60d5:496b:c6da:c4c8%7]) with mapi id 15.20.5144.030; Thu, 14 Apr 2022 13:47:13 +0000 Date: Thu, 14 Apr 2022 13:47:10 +0000 From: Foo Chuan Wei Message-ID: Mail-Followup-To: guix-patches@gnu.org Content-Disposition: inline X-TMN: [XVVjyjLttyF3VAGQFXhRdCGigJHP3hA5] X-ClientProxiedBy: SG2P153CA0041.APCP153.PROD.OUTLOOK.COM (2603:1096:4:c6::10) To PU1PR01MB2155.apcprd01.prod.exchangelabs.com (2603:1096:803:1c::21) X-Microsoft-Original-Message-ID: <20220414134710.lsylsb2nuoy2wenm@main> MIME-Version: 1.0 X-MS-Exchange-MessageSentRepresentingType: 1 X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: cbb6d586-8125-4be4-76cf-08da1e1d474d X-MS-TrafficTypeDiagnostic: SI2PR01MB4155:EE_ X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: +1SV4IOLeNH16mPPPe4LgOk+KG2QaY5h6aESi9gLt9D/Ve4ly1hZ//ilc84g+/YRPcHScvxqtBnSwrOihycB7QhMaxH5KP31AbC8ihpKUT/QMzOTViIMY9WvuOHF3yhafIAAVW4ep6vlix0mwzVMidMQHl9lTyp7qD/GOwlodSRS73mchOvJG3c6SCuW5zgFs5xYL9xjTZQPekvCnnIgIs9UF8CMI1jP6vINfRph0cIEFCjLWPGzTbfeaeDhJQ8ORc4rfIFo+/Cmcs9CjaKh0XTWwFFGOQTtbxCJ9oAr33x5bdHFd2B6DPXzI9zF4w9PtTzCTnlmyVKmAybBkxTI+CMfgTD/CtTQ+M1woKdCgQlZJs53nutcxGuNzeq5bSBD894qeQ5UHEwy4izBGD8q9rtheUqI7RjSSvz065rVYLzy15nBct+DABiXTlqbxEn4s2XTNOBt6FkvlT/pX09TY4d0A/CK2lO8cSMrt+MY3c86XDg/CvfTzcb3FqaSykJvjbWfw2eSBFmajtSj48mr99nYogosFJIZr6zDhLo/U365dqenUH7hKXgMi480OKxbqh4eCBlF5pU9rFoaiaKUHQ== X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: Z/1RuP/r6VszZ2GCSgeaqja57VepNrY5a9d77RbQhAcUoqHEQKTYEQj+nm+Y1+BKX5yTlvPszq+RHX5aJ043dXPHGTIsmwNC5K06gkXPu9hmGF5d9ZZtebmehidwByQwb784L+Xgs6yISGUQsL4qKAnDpPAu7aVaziMDtP9QVxhCZRDJ/JWm6+R9CQ446XfBcZ95CBHGd4g7brfDs2sLdmTAuGH+Oweh4VtJc1W0wO4/ZWia6tUFD8H9KCRut78c/Ld/VxmIgkvffPrvm9KO1oYur7NG8xvh8quWj1ZJuRyr4bgm4l/gVtD/OMczdyL9J/8gOY43lqwakBO8Lh3MDW/qpFq2HRnSvKGVF6RgQo9Ui72+mA5pNIeu74KJcntHPMybaUgjm576jvhBhQoosBpIwwxbubVIHunfwEzPhi8woh8jioPdzcJfWsFrthi7gKxc6E/Ot3v//RHWpcmlr6Z9AknylqWbkzOutC7v7+PuYmcisSFWvUmmwXvsj2us9uasnuE0cplp4eVscOw8hKb6DwzdeYOIvMHgM2z/pVYZEWDIOMCnU6qiNiKd7gc8FgOJAh6B48LX9gUQsV4LGi249Dn1vBdIsEwYQVkmjHQmBZ8MnifqHym68CpWWMJVV/JJs9vL6M6Fm5E5sij4d0YZ+KJH8M9VYaoq9Ea6t5p6XweUn0CABqdx2dVCW++zakQRdu7XgsTAorMlu6rSmUVSx6K0F+Bss2oIjMgVcRP25vBYjDwT7InuGYj06PulsjSQuPHpzCgZnb0C9GaINJtSR76h/1ZvFbKbqS/vscPip8jUJ1ZvGKmlD0Nf1D0iMRJCKNnllRl5kGRYkxCpfqurfRoLlTPZurgiiMVbzzSpdHczFzn8pj0gsIXW+8teT/HtrQ3OtU5tiGgWsRsQ96aTb21iKC3BBWrQ+IkusNuduyJwKpNM2nVlkNm/jp28lFlQlkwxuhpaoQ2i6L8ZxuE8sqORLRz3Cj3FuZEnsqnnRyERNCVbgs8U6HEqoD6jA0gddydeCJ/Plltxv9VhfIm6wjgEmkY/a8d6Qd0oT0gE/Fg/abN29zlTXcKfKOZ3sG3spKqJVQyTVMX+SSfUfJfCMSR8HADHH+NxXRTTUmjoaUIMQmy9qMaJYqgWnthH5ZPX3l/v+bjoJpGTJVhxHkIk6EWTOXgYUE0izzhzCZIqmPy7SiItbEXt9ZRfmfEjnUUJq1HUGe3Ztjsr2n9RWEmLM88L+Mb8cPIX7cYejBFA0XyuMKG4oQjfbeFeJOrzo/zNPaBA7FAryKvrPT6br3yc3s9P/de4etDgIhlE8eRtjJTrRdSTErdym6FgkOeqPrdgPlrXF0QMAoOTK1WAvFyhU/paHn5zwDU458KAUi9lEt0u/tUUcT6IRZTEjgT5m4iYvbSv0aP/uy89KweiV0EVoafl5P3m+lD+dbBrddqcLN9c+XV5D7dLjbGjV6fQ X-OriginatorOrg: sct-15-20-4755-11-msonline-outlook-d8e84.templateTenant X-MS-Exchange-CrossTenant-Network-Message-Id: cbb6d586-8125-4be4-76cf-08da1e1d474d X-MS-Exchange-CrossTenant-AuthSource: PU1PR01MB2155.apcprd01.prod.exchangelabs.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 14 Apr 2022 13:47:13.0021 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-Transport-CrossTenantHeadersStamped: SI2PR01MB4155 Received-SPF: pass client-ip=40.92.107.19; envelope-from=chuanwei.foo@hotmail.com; helo=APC01-TYZ-obe.outbound.protection.outlook.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/sml.scm (polyml): Update to 5.9. [arguments]<#:configure-flags>: Remove nonexistent options. --- gnu/packages/sml.scm | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) base-commit: b0dd06bd0caea46a852248ab48ab2e6aaff57752 diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm index 1d1ccf6d8c..04411c02c3 100644 --- a/gnu/packages/sml.scm +++ b/gnu/packages/sml.scm @@ -3,7 +3,7 @@ ;;; Copyright © 2017, 2021 Tobias Geerinckx-Rice ;;; Copyright © 2018 Ricardo Wurmus ;;; Copyright © 2019, 2020 Brett Gilio -;;; Copyright © 2021 Foo Chuan Wei +;;; Copyright © 2021, 2022 Foo Chuan Wei ;;; ;;; This file is part of GNU Guix. ;;; @@ -35,7 +35,7 @@ (define-public polyml (package (name "polyml") - (version "5.8.2") + (version "5.9") (source (origin (method git-fetch) (uri (git-reference @@ -44,16 +44,14 @@ (file-name (git-file-name name version)) (sha256 (base32 - "1y3i919kzylvhwfsi6adnc0ah0xahl6ncna0g5bcjyhxsq2416rn")))) + "0hhij8y0kvchg9rarzrcr9i0f629s2chbg258b0jscicjv9ghi6w")))) (build-system gnu-build-system) (inputs (list gmp lesstif libffi libx11 libxt)) (arguments '(#:configure-flags - (list "--with-system-libffi=yes" - "--with-x=yes" - "--with-threads=yes" - "--with-gmp=yes") + (list "--with-gmp" + "--with-x") #:phases (modify-phases %standard-phases (add-after 'build 'build-compiler