git: 86aa75e42989 - main - math/minizinc-ide: update 2.8.7 → 2.10.1

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Thu, 17 Sep 2026 21:22:55 UTC
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=86aa75e429892564ffa85600e4b3ae3185cc07b8

commit 86aa75e429892564ffa85600e4b3ae3185cc07b8
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-09-17 21:19:06 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-09-17 21:22:50 +0000

    math/minizinc-ide: update 2.8.7 → 2.10.1
---
 math/minizinc-ide/Makefile | 11 +++++------
 math/minizinc-ide/distinfo |  8 +++-----
 2 files changed, 8 insertions(+), 11 deletions(-)

diff --git a/math/minizinc-ide/Makefile b/math/minizinc-ide/Makefile
index b39c1d40fdb6..21d19eb8be9e 100644
--- a/math/minizinc-ide/Makefile
+++ b/math/minizinc-ide/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	minizinc-ide
-DISTVERSION=	2.8.7
+DISTVERSION=	2.10.1
 CATEGORIES=	math lang
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -12,17 +12,16 @@ LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 
 RUN_DEPENDS=	minizinc:math/minizinc
 
-USES=		gl compiler:c++11-lang qmake qt:5
-USE_QT=		core declarative gui network sql testlib websockets widgets \
-		buildtools:build
+USES=		gl compiler:c++11-lang qmake qt:6
+USE_QT=		base websockets tools:build
 USE_GL=		gl
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	MiniZinc
 GH_PROJECT=	MiniZincIDE
 
-USE_GITLAB=	nodefault
-GL_TUPLE=	minizinc:cp-profiler-integration:f16b3132df33b3f258971f36dbe5e909983381c9:cp/cp-profiler/src/cpp-integration
+#USE_GITLAB=	nodefault
+#GL_TUPLE=	minizinc:cp-profiler-integration:f16b3132df33b3f258971f36dbe5e909983381c9:cp/cp-profiler/src/cpp-integration
 
 PLIST_FILES=	bin/MiniZincIDE \
 		share/pixmaps/minizinc_icon.png
diff --git a/math/minizinc-ide/distinfo b/math/minizinc-ide/distinfo
index 1e8cdb03b422..be9bcc5e5b33 100644
--- a/math/minizinc-ide/distinfo
+++ b/math/minizinc-ide/distinfo
@@ -1,5 +1,3 @@
-TIMESTAMP = 1727939911
-SHA256 (MiniZinc-MiniZincIDE-2.8.7_GH0.tar.gz) = 9c50315557e5ad1214e6274b76a58467e5276df97da8146370de4567f4fdee97
-SIZE (MiniZinc-MiniZincIDE-2.8.7_GH0.tar.gz) = 835185
-SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 9534c07bdc76c030bcb036a97902983e5b3d81775615b4427f41bae799f85128
-SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5217
+TIMESTAMP = 1789678310
+SHA256 (MiniZinc-MiniZincIDE-2.10.1_GH0.tar.gz) = 6a9cf6acbf569f5c7624af754315888c035a1b926dbeefb28a4dfa135886ea22
+SIZE (MiniZinc-MiniZincIDE-2.10.1_GH0.tar.gz) = 865948