mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-19 19:59:43 +00:00
Code Issues Releases Activity

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

Browse Source
This commit is contained in:
Yuri Victorovich 2020-08-10 16:19:49 +00:00
parent 88b9be4ffc
commit b8dfc5fe25
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=544624
4 changed files with 33 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
math/Makefile
View File

@ -401,6 +401,7 @@
SUBDIR += mingw32-libgmp
SUBDIR += minisat
SUBDIR += minizinc
SUBDIR += minizinc-ide
SUBDIR += miracl
SUBDIR += mlpack
SUBDIR += moab

25
math/minizinc-ide/Makefile Normal file
View File

@ -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>

3
math/minizinc-ide/distinfo Normal file
View File

@ -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

4
math/minizinc-ide/pkg-descr Normal file
View File

@ -0,0 +1,4 @@
Integrated Development Environment (IDE) for MiniZinc, a free and open-source
constraint modeling language.
WWW: https://www.minizinc.org/