# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4

PortSystem          1.0
PortGroup           cmake   1.1
PortGroup           github  1.0

# Need strndup()
PortGroup           legacysupport 1.0

legacysupport.newest_darwin_requires_legacy 10

github.setup        MiniZinc libminizinc 2.8.4
github.tarball_from archive
name                minizinc
revision            0

homepage            https://www.minizinc.org

description         MiniZinc is a free and open-source constraint modeling \
                    language.

long_description    {*}${description} You can use MiniZinc to model \
                    constraint satisfaction and optimization problems in a \
                    high-level, solver-independent way, taking advantage of a \
                    large library of pre-defined constraints. Your model is \
                    then compiled into FlatZinc, a solver input language that \
                    is understood by a wide range of solvers. MiniZinc is \
                    developed at Monash University in collaboration with \
                    Data61 Decision Sciences and the University of Melbourne.

categories          devel
installs_libs       no
license             MPL-2
maintainers         {gmail.com:herby.gillot @herbygillot} \
                    openmaintainer
platforms           darwin linux

checksums           rmd160  aeba63fb57a88ff649d45873d8e8e4a9ceecbf08 \
                    sha256  855c8e9765f95520c668a9d3bc78abd23dd652016bd8d384f2d94fe1931209b6 \
                    size    8040687

depends_build-append \
                    port:bison

depends_lib-append  port:zlib

compiler.cxx_standard \
                    2014

configure.args-append \
                    -DUSE_CCACHE=OFF