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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Andreas Enge <andreas <at> enge.fr>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#77905: closed ([PATCH] gnu: Add highs.)
Date: Wed, 30 Apr 2025 14:29:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Wed, 30 Apr 2025 16:27:51 +0200
with message-id <aBIzZ6E4Nzkbcfpn <at> jurong>
and subject line Re: [bug#77905] [PATCH] gnu: Add highs.
has caused the debbugs.gnu.org bug report #77905,
regarding [PATCH] gnu: Add highs.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
77905: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=77905
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

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 part 3 (message/rfc822, inline)]

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.