From unknown Wed Jun 18 00:25:16 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#77905] [PATCH] gnu: Add highs. Resent-From: Wiktor =?UTF-8?Q?=C5=BBelazny?= Original-Sender: "Debbugs-submit" Resent-CC: andreas@enge.fr, bavier@posteo.net, sharlatanus@gmail.com, guix-patches@gnu.org Resent-Date: Fri, 18 Apr 2025 18:20:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 77905 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 77905@debbugs.gnu.org Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Received: via spool by submit@debbugs.gnu.org id=B.17450003761041 (code B ref -1); Fri, 18 Apr 2025 18:20:04 +0000 Received: (at submit) by debbugs.gnu.org; 18 Apr 2025 18:19:36 +0000 Received: from localhost ([127.0.0.1]:52813 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u5qJK-0000GZ-IU for submit@debbugs.gnu.org; Fri, 18 Apr 2025 14:19:35 -0400 Received: from lists.gnu.org ([2001:470:142::17]:46204) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u5qJG-0000EL-94 for submit@debbugs.gnu.org; Fri, 18 Apr 2025 14:19:33 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1u5qJA-00046G-AD for guix-patches@gnu.org; Fri, 18 Apr 2025 14:19:24 -0400 Received: from freeshell.de ([116.202.128.144]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1u5qJ8-0006pV-0z for guix-patches@gnu.org; Fri, 18 Apr 2025 14:19:23 -0400 Received: from localhost.localdomain (cst-prg-1-255.cust.vodafone.cz [46.135.1.255]) (Authenticated sender: wz) by freeshell.de (Postfix) with ESMTPSA id 3DADFB4C0AFD for ; Fri, 18 Apr 2025 20:19:17 +0200 (CEST) From: Wiktor =?UTF-8?Q?=C5=BBelazny?= Date: Fri, 18 Apr 2025 20:17:31 +0200 Message-ID: <49700340b562fc09816dec13bd9028c53e5d05fd.1745000189.git.wz@freeshell.de> X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=116.202.128.144; envelope-from=wz@freeshell.de; helo=freeshell.de X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) 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: -0.1 (/) * gnu/packages/maths.scm (highs): New variable. Change-Id: Ie842704d4d9c8a4b531ee45aab34a99e59e4b3c4 --- gnu/packages/maths.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 4be9e71320..0eee1584c5 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -11158,3 +11158,27 @@ (define-public exprtk expression parsing and evaluation.") (home-page "https://www.partow.net/programming/exprtk/index.html") (license license:expat))) + +(define-public highs + (let ((commit "v1.10.0") + (revision "1")) + (package + (name "highs") + (version (git-version "1.10.0" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ERGO-Code/HiGHS") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "19q99nkk6r6k91gxp8a5rjil1399qyfgfc6jqlg2gd82vpcw8c8b")))) + (build-system cmake-build-system) + (home-page "https://highs.dev") + (synopsis "High performance software for linear optimization") + (description + "HiGHS provides serial and parallel solvers for large-scale +sparse linear programming (LP), mixed-integer programming (MIP), and quadratic +programming (QP) models") + (license license:expat)))) base-commit: a4a7ff0319c622cd08aa7461cc88cc6608fe62cb -- 2.49.0 From unknown Wed Jun 18 00:25:16 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Wiktor =?UTF-8?Q?=C5=BBelazny?= Subject: bug#77905: closed (Re: [bug#77905] [PATCH] gnu: Add highs.) Message-ID: References: <49700340b562fc09816dec13bd9028c53e5d05fd.1745000189.git.wz@freeshell.de> X-Gnu-PR-Message: they-closed 77905 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 77905@debbugs.gnu.org Date: Wed, 30 Apr 2025 14:29:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1746023342-27633-1" This is a multi-part message in MIME format... ------------=_1746023342-27633-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #77905: [PATCH] gnu: Add highs. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 77905@debbugs.gnu.org. --=20 77905: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D77905 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1746023342-27633-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 77905-done) by debbugs.gnu.org; 30 Apr 2025 14:28:08 +0000 Received: from localhost ([127.0.0.1]:43543 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uA8Pv-0007AA-Rl for submit@debbugs.gnu.org; Wed, 30 Apr 2025 10:28:08 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:53494) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uA8Ps-00079Y-H4 for 77905-done@debbugs.gnu.org; Wed, 30 Apr 2025 10:28:05 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id CE294567; Wed, 30 Apr 2025 16:27:56 +0200 (CEST) Authentication-Results: hera.aquilenet.fr; none X-Virus-Scanned: Debian amavis at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavis, port 10024) with ESMTP id XtYKgaY7ZYmY; Wed, 30 Apr 2025 16:27:56 +0200 (CEST) Received: from jurong (176-179-191-150.abo.bbox.fr [176.179.191.150]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 7794130F; Wed, 30 Apr 2025 16:27:53 +0200 (CEST) Date: Wed, 30 Apr 2025 16:27:51 +0200 From: Andreas Enge To: Wiktor =?utf-8?Q?=C5=BBelazny?= Subject: Re: [bug#77905] [PATCH] gnu: Add highs. Message-ID: References: <49700340b562fc09816dec13bd9028c53e5d05fd.1745000189.git.wz@freeshell.de> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <49700340b562fc09816dec13bd9028c53e5d05fd.1745000189.git.wz@freeshell.de> X-Rspamd-Queue-Id: CE294567 X-Spamd-Result: default: False [5.40 / 15.00]; SPAM_FLAG(5.00)[]; BAYES_HAM(-3.00)[99.99%]; NEURAL_SPAM(3.00)[1.000]; MID_RHS_NOT_FQDN(0.50)[]; MIME_GOOD(-0.10)[text/plain]; RCVD_TLS_ALL(0.00)[]; RCVD_COUNT_TWO(0.00)[2]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; TO_DN_SOME(0.00)[]; ARC_NA(0.00)[]; FREEMAIL_ENVRCPT(0.00)[gmail.com]; RCVD_VIA_SMTP_AUTH(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; FREEMAIL_CC(0.00)[debbugs.gnu.org,posteo.net,gmail.com] X-Spamd-Bar: +++++ X-Rspamd-Action: greylist X-Rspamd-Server: hera X-Spam-Level: ***** X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 77905-done Cc: Eric Bavier , Sharlatan Hellseher , 77905-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: -1.0 (-) Hello, thanks for your patch! Am Fri, Apr 18, 2025 at 08:17:31PM +0200 schrieb Wiktor Żelazny: > + (let ((commit "v1.10.0") > + (revision "1")) > + (package > + (name "highs") > + (version (git-version "1.10.0" revision commit)) This complication is not needed - we use the revision dance only when a project has no proper releases. So I have simplified this a little bit and pushed. Andreas ------------=_1746023342-27633-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 18 Apr 2025 18:19:36 +0000 Received: from localhost ([127.0.0.1]:52813 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u5qJK-0000GZ-IU for submit@debbugs.gnu.org; Fri, 18 Apr 2025 14:19:35 -0400 Received: from lists.gnu.org ([2001:470:142::17]:46204) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u5qJG-0000EL-94 for submit@debbugs.gnu.org; Fri, 18 Apr 2025 14:19:33 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1u5qJA-00046G-AD for guix-patches@gnu.org; Fri, 18 Apr 2025 14:19:24 -0400 Received: from freeshell.de ([116.202.128.144]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1u5qJ8-0006pV-0z for guix-patches@gnu.org; Fri, 18 Apr 2025 14:19:23 -0400 Received: from localhost.localdomain (cst-prg-1-255.cust.vodafone.cz [46.135.1.255]) (Authenticated sender: wz) by freeshell.de (Postfix) with ESMTPSA id 3DADFB4C0AFD for ; Fri, 18 Apr 2025 20:19:17 +0200 (CEST) From: =?UTF-8?q?Wiktor=20=C5=BBelazny?= To: guix-patches@gnu.org Subject: [PATCH] gnu: Add highs. Date: Fri, 18 Apr 2025 20:17:31 +0200 Message-ID: <49700340b562fc09816dec13bd9028c53e5d05fd.1745000189.git.wz@freeshell.de> X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 X-Debbugs-Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=116.202.128.144; envelope-from=wz@freeshell.de; helo=freeshell.de X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) 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: -0.1 (/) * gnu/packages/maths.scm (highs): New variable. Change-Id: Ie842704d4d9c8a4b531ee45aab34a99e59e4b3c4 --- gnu/packages/maths.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 4be9e71320..0eee1584c5 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -11158,3 +11158,27 @@ (define-public exprtk expression parsing and evaluation.") (home-page "https://www.partow.net/programming/exprtk/index.html") (license license:expat))) + +(define-public highs + (let ((commit "v1.10.0") + (revision "1")) + (package + (name "highs") + (version (git-version "1.10.0" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ERGO-Code/HiGHS") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "19q99nkk6r6k91gxp8a5rjil1399qyfgfc6jqlg2gd82vpcw8c8b")))) + (build-system cmake-build-system) + (home-page "https://highs.dev") + (synopsis "High performance software for linear optimization") + (description + "HiGHS provides serial and parallel solvers for large-scale +sparse linear programming (LP), mixed-integer programming (MIP), and quadratic +programming (QP) models") + (license license:expat)))) base-commit: a4a7ff0319c622cd08aa7461cc88cc6608fe62cb -- 2.49.0 ------------=_1746023342-27633-1--