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

Previous Next

To reply to this bug, email your comments to 77905 AT debbugs.gnu.org.
There is no need to reopen the bug first.

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.