# -*- 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.1

legacysupport.newest_darwin_requires_legacy 10

github.setup        MiniZinc libminizinc 2.8.7
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  8fa20dfab91c3d403394156db7d79f2a29f38a71 \
                    sha256  91413c9788d45eb77ecb1da9657c00744312cca4fd5e71ca2583c35a32a3be62 \
                    size    8059507

# https://github.com/MiniZinc/libminizinc/pulls
patchfiles-append   0001-file_utils.cpp-add-a-missing-cstdint-include.patch

depends_build-append \
                    port:bison

depends_lib-append  port:zlib

compiler.cxx_standard \
                    2014

configure.args-append \
                    -DUSE_CCACHE=OFF