# -*- 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
name                minizinc
revision            0
categories          devel math
installs_libs       no
license             MPL-2
maintainers         {gmail.com:herby.gillot @herbygillot} \
                    openmaintainer
platforms           darwin linux
homepage            https://www.minizinc.org

description         MiniZinc is a free and open-source constraint modelling \
                    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.

checksums           rmd160  1fb3c1f3da7b6cc694a6b089d33e1184e7c28a32 \
                    sha256  7011b512dad0967c5a7ba880152f4cecdcbe2b96abf5cb078dd676893c1065b3 \
                    size    8090536
github.tarball_from archive

# parser.hh:150:3: error: 'locale_t' does not name a type
patchfiles-append   patch-parser.hh

depends_build-append \
                    port:bison \
                    port:flex

depends_lib-append  port:zlib

depends_run-append  port:HiGHS \
                    port:scip

compiler.cxx_standard \
                    2014

configure.args-append \
                    -DUSE_CCACHE=OFF
