# -*- 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.9.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  1fb3c1f3da7b6cc694a6b089d33e1184e7c28a32 \
                    sha256  7011b512dad0967c5a7ba880152f4cecdcbe2b96abf5cb078dd676893c1065b3 \
                    size    8090536

# 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
