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-all
mailing list