BSD Portsmath/minizinc-ide 2.10.1 FreeBSD
IDE for MiniZinc, a constraint modeling language
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
86aa75e429- License
- MPL20
- Categories
- math, lang
- Package size
- 862.7 KiB, 2189.3 KiB installed
Description
Integrated Development Environment (IDE) for MiniZinc, a free and open-source constraint modeling language.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | math/minizinc-ide | 2.10.1 |
| DragonFly | math/minizinc-ide | 2.8.7 |
Install
Binary package:
pkg install minizinc-ideFrom the ports tree:
cd /usr/ports/math/minizinc-ide/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= minizinc-ide>0:math/minizinc-idePackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 2.10.1 | 2.10.1 | - | - | - |
| FreeBSD:14:quarterly | 2.10.1 | 2.10.1 | n/a | - | - |
| FreeBSD:15:latest | 2.10.1 | 2.10.1 | n/a | - | 2.8.7 |
| FreeBSD:15:quarterly | 2.10.1 | 2.10.1 | n/a | n/a | n/a |
| FreeBSD:16:latest | 2.10.1 | 2.10.1 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Runtime 1
minizinc: math/minizinc
The full lists below include those, and their dependencies in turn.
Build dependencies 124
- accessibility/at-spi2-core
- archivers/brotli
- archivers/libdeflate
- archivers/liblz4
- archivers/lzo2
- archivers/zstd
- converters/fribidi
- converters/libiconv
- databases/gdbm
- databases/postgresql18-client
- databases/qt6-base_sqldriver
- databases/sqlite3
- devel/dbus
- devel/dbus-glib
- devel/double-conversion
- devel/gettext-runtime
- devel/glib20
- devel/gobject-introspection
- devel/gsettings-desktop-schemas
- devel/icu
- devel/json-glib
- devel/libb2
- devel/libdaemon
- devel/libdatrie
- devel/libedit
- devel/libepoll-shim
- devel/libevdev
- devel/libevent
- devel/libffi
- devel/libgudev
- devel/libgusb
- devel/libinotify
- devel/libmtdev
- devel/libpciaccess
- devel/libthai
- devel/libudev-devd
- devel/llvm19
- devel/pcre2
- devel/py-evdev
- devel/py-libevdev
- devel/py-packaging
- devel/py-pyudev
- devel/py-setuptools
- devel/py-six
- devel/qt6-base
- devel/qt6-tools
- devel/readline
- graphics/cairo
- graphics/colord
- graphics/gdk-pixbuf2
- graphics/graphite2
- graphics/gtk-update-icon-cache
- graphics/jbigkit
- graphics/jpeg-turbo
- graphics/lcms2
- graphics/lerc
- graphics/libdrm
- graphics/libepoxy
- graphics/libglvnd
- graphics/librsvg2-rust
- graphics/png
- graphics/qt6-svg
- graphics/tiff
- graphics/vulkan-loader
- graphics/wayland
- lang/duktape-lib
- lang/lua54
- lang/perl5.42
- lang/python312
- lang/python315
- lang/tcl86
- math/libtommath
- math/mpdecimal
- misc/hicolor-icon-theme
- misc/hwdata
- misc/shared-mime-info
- multimedia/dav1d
- net/avahi-app
- print/cups
- print/freetype2
- print/harfbuzz
- print/indexinfo
- print/libpaper
- sysutils/gnome_subr
- sysutils/polkit
- textproc/expat2
- textproc/libxml2
- www/qt6-websockets
- x11-fonts/fontconfig
- x11-fonts/libXft
- x11-themes/adwaita-icon-theme
- x11-themes/adwaita-icon-theme-legacy
- x11-toolkits/gtk30
- x11-toolkits/pango
- x11-toolkits/qt6-declarative
- x11/libICE
- x11/libSM
- x11/libX11
- x11/libXau
- x11/libXcomposite
The first 100 are listed.
Run dependencies 142
- accessibility/at-spi2-core
- archivers/brotli
- archivers/libdeflate
- archivers/liblz4
- archivers/lzo2
- archivers/zstd
- converters/fribidi
- converters/libiconv
- databases/gdbm
- databases/sqlite3
- devel/binutils
- devel/dbus
- devel/dbus-glib
- devel/double-conversion
- devel/gettext-runtime
- devel/glib20
- devel/gobject-introspection
- devel/gsettings-desktop-schemas
- devel/icu
- devel/json-glib
- devel/libb2
- devel/libdaemon
- devel/libdatrie
- devel/libedit
- devel/libepoll-shim
- devel/libevdev
- devel/libevent
- devel/libffi
- devel/libgudev
- devel/libgusb
- devel/libinotify
- devel/libmtdev
- devel/libpciaccess
- devel/libthai
- devel/libudev-devd
- devel/pcre2
- devel/py-evdev
- devel/py-libevdev
- devel/py-packaging
- devel/py-pyudev
- devel/py-setuptools
- devel/py-six
- devel/qt6-base
- devel/readline
- graphics/cairo
- graphics/colord
- graphics/gdk-pixbuf2
- graphics/graphite2
- graphics/gtk-update-icon-cache
- graphics/jbigkit
- graphics/jpeg-turbo
- graphics/lcms2
- graphics/lerc
- graphics/libdrm
- graphics/libepoxy
- graphics/libglvnd
- graphics/librsvg2-rust
- graphics/png
- graphics/qt6-svg
- graphics/tiff
- graphics/vulkan-loader
- graphics/wayland
- lang/duktape-lib
- lang/gcc14
- lang/lua54
- lang/perl5.42
- lang/python312
- lang/python315
- lang/tcl86
- math/asl
- math/blas
- math/cbc
- math/cgl
- math/chuffed
- math/clp
- math/coin-or-data-netlib
- math/coin-or-data-sample
- math/coin-or-metis
- math/coin-or-mumps
- math/coinutils
- math/gecode
- math/gmp
- math/lapack
- math/libtommath
- math/minizinc
- math/mpc
- math/mpdecimal
- math/mpfr
- math/nauty
- math/openblas
- math/osi
- misc/hicolor-icon-theme
- misc/hwdata
- misc/shared-mime-info
- multimedia/dav1d
- net/avahi-app
- print/cups
- print/freetype2
- print/harfbuzz
- print/indexinfo
The first 100 are listed.
No port depends on this one.
Configuration
No options to configure.
- USES
- gl compiler:c++11-lang qmake qt:6
- Service scripts
- none
Files
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| MiniZinc-MiniZincIDE-2.10.1_GH0.tar.gz | 865948 | 6a9cf6acbf569f5c7624af754315888c035a1b926dbeefb28a4dfa135886ea22 |