aboutsummaryrefslogtreecommitdiff
path: root/math
diff options
context:
space:
mode:
authorYuri Victorovich <yuri@FreeBSD.org>2020-08-10 16:19:49 +0000
committerYuri Victorovich <yuri@FreeBSD.org>2020-08-10 16:19:49 +0000
commitb8dfc5fe256f411ef722be747546485342a3ef3c (patch)
treea0c389fb0131dfdf0e139c984972703f0bdbb181 /math
parent88b9be4ffc591ebcc05ebc660bee25986847ebcb (diff)
downloadports-b8dfc5fe256f411ef722be747546485342a3ef3c.tar.gz
ports-b8dfc5fe256f411ef722be747546485342a3ef3c.zip
New port: math/minizinc-ide: IDE for MiniZinc, a constraint modeling language
Notes
Notes: svn path=/head/; revision=544624
Diffstat (limited to 'math')
-rw-r--r--math/Makefile1
-rw-r--r--math/minizinc-ide/Makefile25
-rw-r--r--math/minizinc-ide/distinfo3
-rw-r--r--math/minizinc-ide/pkg-descr4
4 files changed, 33 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile
index 86efdf36aab9..97c28faf691a 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -401,6 +401,7 @@
SUBDIR += mingw32-libgmp
SUBDIR += minisat
SUBDIR += minizinc
+ SUBDIR += minizinc-ide
SUBDIR += miracl
SUBDIR += mlpack
SUBDIR += moab
diff --git a/math/minizinc-ide/Makefile b/math/minizinc-ide/Makefile
new file mode 100644
index 000000000000..f377447d6534
--- /dev/null
+++ b/math/minizinc-ide/Makefile
@@ -0,0 +1,25 @@
+# $FreeBSD$
+
+PORTNAME= minizinc-ide
+DISTVERSION= 2.4.3
+CATEGORIES= math lang
+
+MAINTAINER= yuri@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>
diff --git a/math/minizinc-ide/distinfo b/math/minizinc-ide/distinfo
new file mode 100644
index 000000000000..851ff800f625
--- /dev/null
+++ b/math/minizinc-ide/distinfo
@@ -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
diff --git a/math/minizinc-ide/pkg-descr b/math/minizinc-ide/pkg-descr
new file mode 100644
index 000000000000..faeed902e3d1
--- /dev/null
+++ b/math/minizinc-ide/pkg-descr
@@ -0,0 +1,4 @@
+Integrated Development Environment (IDE) for MiniZinc, a free and open-source
+constraint modeling language.
+
+WWW: https://www.minizinc.org/