svn commit: r544624 - in head/math: . minizinc-ide

Yuri Victorovich yuri at FreeBSD.org
Mon Aug 10 16:19:50 UTC 2020


Author: yuri
Date: Mon Aug 10 16:19:49 2020
New Revision: 544624
URL: https://svnweb.freebsd.org/changeset/ports/544624

Log:
  New port: math/minizinc-ide: IDE for MiniZinc, a constraint modeling language

Added:
  head/math/minizinc-ide/
  head/math/minizinc-ide/Makefile   (contents, props changed)
  head/math/minizinc-ide/distinfo   (contents, props changed)
  head/math/minizinc-ide/pkg-descr   (contents, props changed)
Modified:
  head/math/Makefile

Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile	Mon Aug 10 16:19:07 2020	(r544623)
+++ head/math/Makefile	Mon Aug 10 16:19:49 2020	(r544624)
@@ -401,6 +401,7 @@
     SUBDIR += mingw32-libgmp
     SUBDIR += minisat
     SUBDIR += minizinc
+    SUBDIR += minizinc-ide
     SUBDIR += miracl
     SUBDIR += mlpack
     SUBDIR += moab

Added: head/math/minizinc-ide/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/minizinc-ide/Makefile	Mon Aug 10 16:19:49 2020	(r544624)
@@ -0,0 +1,25 @@
+# $FreeBSD$
+
+PORTNAME=	minizinc-ide
+DISTVERSION=	2.4.3
+CATEGORIES=	math lang
+
+MAINTAINER=	yuri at FreeBSD.org
+COMMENT=	IDE for MiniZinc, a constraint modeling language
+
+LICENSE=	MPL20
+LICENSE_FILE=	${WRKSRC}/LICENSE.txt
+
+RUN_DEPENDS=	minizinc:math/minizinc
+
+USES=		gl qmake qt:5
+USE_GITHUB=	yes
+GH_ACCOUNT=	MiniZinc
+GH_PROJECT=	MiniZincIDE
+USE_QT=		core declarative gui location network printsupport webchannel webengine widgets buildtools_build
+
+USE_GL=		gl
+
+PLIST_FILES=	bin/MiniZincIDE
+
+.include <bsd.port.mk>

Added: head/math/minizinc-ide/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/minizinc-ide/distinfo	Mon Aug 10 16:19:49 2020	(r544624)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1597074315
+SHA256 (MiniZinc-MiniZincIDE-2.4.3_GH0.tar.gz) = 74a6149622552530478d7e499fa73c04260552bfd80f4d1b3d95b346638440a5
+SIZE (MiniZinc-MiniZincIDE-2.4.3_GH0.tar.gz) = 480166

Added: head/math/minizinc-ide/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/minizinc-ide/pkg-descr	Mon Aug 10 16:19:49 2020	(r544624)
@@ -0,0 +1,4 @@
+Integrated Development Environment (IDE) for MiniZinc, a free and open-source
+constraint modeling language.
+
+WWW: https://www.minizinc.org/


More information about the svn-ports-head mailing list