minizinc-ide IDE for MiniZinc, a constraint modeling language

2.5.1 math =0 2.4.3Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2020-08-10 16:19:54

Last Update: 2020-10-25 18:50:55

SVN Revision: 553282

Also Listed In: lang

License: MPL20

Description:

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

SVNWeb : Homepage

pkg-plist: as obtained via: make generate-plist

Expand this list (4 items)

Collapse this list.

1. bin/MiniZincIDE
2. /usr/local/share/licenses/minizinc-ide-2.5.1/catalog.mk
3. /usr/local/share/licenses/minizinc-ide-2.5.1/LICENSE
4. /usr/local/share/licenses/minizinc-ide-2.5.1/MPL20

Collapse this list.

Dependency lines:

• minizinc-ide>0:math/minizinc-ide

To install the port: cd /usr/ports/math/minizinc-ide/ && make install clean

To add the package: pkg install minizinc-ide

PKGNAME: minizinc-ide

Flavors: there is no flavor information for this port.

distinfo:

TIMESTAMP = 1603648688 SHA256 (MiniZinc-MiniZincIDE-2.5.1_GH0.tar.gz) = 5ef9122cd7b31b65c26a5e55c40dfddd5fcbb835453f5e8eaf8897de35609bd0 SIZE (MiniZinc-MiniZincIDE-2.5.1_GH0.tar.gz) = 795362 SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 48593394ab4365445982378dd92b8db98fa917228d7fbe85b60ae04d6f22d57c SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5296

Dependencies

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:

1. xorgproto>=0 : x11/xorgproto
2. moc : devel/qt5-buildtools
3. qmake : devel/qt5-qmake

Runtime dependencies:

1. minizinc : math/minizinc

Library dependencies:

1. libGL.so : graphics/mesa-libs
2. libQt5Core.so : devel/qt5-core
3. libQt5Qml.so : x11-toolkits/qt5-declarative
4. libQt5Gui.so : x11-toolkits/qt5-gui
5. libQt5Location.so : devel/qt5-location
6. libQt5Network.so : net/qt5-network
7. libQt5PrintSupport.so : print/qt5-printsupport
8. libQt5Sql.so : databases/qt5-sql
9. libQt5WebChannel.so : www/qt5-webchannel
10. libQt5WebEngine.so : www/qt5-webengine
11. libQt5Widgets.so : x11-toolkits/qt5-widgets

There are no ports dependent upon this port

Configuration Options

No options to configure

USES:

gl qmake qt:5 xorg

Master Sites:

Expand this list (1 items)

Collapse this list.
1. https://codeload.github.com/MiniZinc/MiniZincIDE/tar.gz/2.5.1?dummy=/
Collapse this list.

math/minizinc-ide: Update 2.5.0 -> 2.5.1

Reported by:	portscout

math/minizinc-ide: Update 2.4.3 -> 2.5.0

Reported by:	portscout

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

9 vulnerabilities affecting 102 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2020-10-31 21:27:43