GNU bug report logs - #77905
[PATCH] gnu: Add highs.

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 77905 in the body.
You can then email your comments to 77905 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: Wiktor Żelazny <wz <at> freeshell.de>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: Add highs.
Date: Fri, 18 Apr 2025 20:17:31 +0200

* 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

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

From: Andreas Enge <andreas <at> enge.fr>
To: Wiktor Żelazny <wz <at> freeshell.de>
Cc: Eric Bavier <bavier <at> posteo.net>,
 Sharlatan Hellseher <sharlatanus <at> gmail.com>, 77905-done <at> debbugs.gnu.org
Subject: Re: [bug#77905] [PATCH] gnu: Add highs.
Date: Wed, 30 Apr 2025 16:27:51 +0200

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

Previous Next

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