Current status

minizinc-ide IDE for MiniZinc, a constraint modeling language

2.5.3 math =0 2.5.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-11-29 10:27:08

SVN Revision: 556560

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.3/catalog.mk
3. /usr/local/share/licenses/minizinc-ide-2.5.3/LICENSE
4. /usr/local/share/licenses/minizinc-ide-2.5.3/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 = 1606631072 SHA256 (MiniZinc-MiniZincIDE-2.5.3_GH0.tar.gz) = 98f7a333152b8783650e8f973816abe0ea2945ce250781b1b0da51d728daa4b3 SIZE (MiniZinc-MiniZincIDE-2.5.3_GH0.tar.gz) = 798423

Expand this list (2 items)

Collapse this list.

SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 48593394ab4365445982378dd92b8db98fa917228d7fbe85b60ae04d6f22d57c SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5296

Collapse this list.

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.3?dummy=/
Collapse this list.

math/minizinc-ide: Update 2.5.2 -> 2.5.3

Reported by:	portscout

math/minizinc-ide: Update 2.5.1 -> 2.5.2

Reported by:	portscout

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

15 vulnerabilities affecting 114 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2021-02-25 03:33:54