# -*- 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           github 1.0

github.setup        tulip-control gr1c 0.13.2 v

categories          math devel
platforms           darwin
maintainers         {cds.caltech.edu:slivingston @slivingston} \
                    openmaintainer
license             BSD

description         Tools for GR(1) synthesis and related activities

long_description    A collection of tools for GR(1) synthesis and related \
                    activities.  Its core functionality is checking \
                    realizability of and synthesizing strategies for GR(1) \
                    specifications, though it does much more.

homepage            http://scottman.net/2012/gr1c

checksums           rmd160  b5d45b6eccb6bd70b4e3d067b6e862488c97def0 \
                    sha256  48e43eb5790a32b59cb0f3528eedb1d40072730e6046541ff593e812ad26f506 \
                    size    191959

depends_build       port:bison \
                    port:flex

depends_lib         port:libcudd

configure.cmd       true

build.args          prefix="${prefix}"

foreach arch ${configure.universal_archs} {
    lappend merger_build_args(${arch}) \
                    CC='${configure.cc} -arch ${arch}' \
                    LD='ld -r -arch ${arch}'
}

if {(!${universal_possible} || ![variant_isset universal]) && [info exists merger_build_args(${build_arch})]} {
    build.args-append $merger_build_args(${build_arch})
}

test.run            yes
test.target         check
test.args           {*}${build.args}

destroot.target     install
destroot.args       {*}${build.args}
