From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id mKyjNRomWGJ3LwAAgWs5BA (envelope-from ) for ; Thu, 14 Apr 2022 15:48:10 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id WGM/MhomWGJA3QAAauVa8A (envelope-from ) for ; Thu, 14 Apr 2022 15:48:10 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 7570FAE5B for ; Thu, 14 Apr 2022 15:48:10 +0200 (CEST) Received: from localhost ([::1]:39224 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nezpR-0003HX-54 for larch@yhetil.org; Thu, 14 Apr 2022 09:48:09 -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-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit 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/jp28 lFlQlkwxuhpaoQ2i6L8ZxuE8sqORLRz3Cj3FuZEnsqnnRyERNCVbgs8U6HEqoD6jA0gddydeCJ/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+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1649944090; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=WIBHL83XuCzI0LhVpYXhxMGt2RZ7U1yK9p6yAotZA1Q=; b=oUHld8l8CXEXpVivH2PY65ZU+K5HzlsOzlOy+2fwUhGqzMcq7Np+PThJTefYFLZYoPEqFN aXyPr34adWpNwaoRQZdGUCylohEbFCCGAw76BPsElH7VYB1xfGguabzjF36zNmr976VQZk AXjvF5z8274v4cm3K6S6asU20RKZQO5gEuHDCcPk7iN97ma+dlSs/PyoGXqSyaxH3zQyH9 Y7+ItRspxW8MwfVoyKRMe2Hv3DoaMiVs2ageBwVoi2d5JT/B21n1PDjkdI9Q1d9tXABkjh HsryQj/hvqJICD3cHt9yzhcmi0k+hqGPnCRzVkoVtWqU7VDh7kDJm5sxo4cTMg== ARC-Seal: i=2; s=key1; d=yhetil.org; t=1649944090; a=rsa-sha256; cv=fail; b=EiQsS9UMaYGaF8wy0Mt3YTGt6bnrXu2y3w91mAGqBsvg2HcDJ8i04HPmCpotqWypW9gCuz iGT5epZ4egLOzNVwbOudaWMqKaUEo3YrWiXqg05HBxCjseBcUorYbvQZNeYotMpsJTV0hl T8sbhUYs/4yV3ABIOp8QKIrn3Xi2VUDvotjfcsVa1BXyVcehpuuciZebIeO1kaX6AvDKam eQXMgZSK2Kuob7f3dBMzlhCSne2vGYH/K3e98cH+lFEKQORuMPKwLIj+z6CHWG15fIKZ+J HwBru6BhDZ5z6rM3VbcUsgOV7xrLePKxyYhdZ6eNDMXQyylAwTUXLwBrv9dy/Q== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=hotmail.com header.s=selector1 header.b=PCQdkukv; arc=reject ("signature check failed: fail, {[1] = sig:microsoft.com:reject}"); dmarc=fail reason="SPF not aligned (relaxed)" header.from=hotmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: 4.55 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=hotmail.com header.s=selector1 header.b=PCQdkukv; arc=reject ("signature check failed: fail, {[1] = sig:microsoft.com:reject}"); dmarc=fail reason="SPF not aligned (relaxed)" header.from=hotmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 7570FAE5B X-Spam-Score: 4.55 X-Migadu-Scanner: scn0.migadu.com X-TUID: xR5w2Eg8J3/8 * 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(-) 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 base-commit: b0dd06bd0caea46a852248ab48ab2e6aaff57752 -- 2.25.1