# -*- 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.5
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  3dbabc455920b43d2387fd8363d26e6bb055c363 \
                    sha256  cd8aa35532191864ba5a79f8755e0e24c329b1b887305f89d5f7b33eca9f96db \
                    size    8050297

depends_build-append \
                    port:bison

depends_lib-append  port:zlib

compiler.cxx_standard \
                    2014

configure.args-append \
                    -DUSE_CCACHE=OFF
