# $Id$
PortSystem          1.0
PortGroup           cxx11 1.0
name                spot
version             2.1
categories          science math
maintainers         mmoll openmaintainer
description         Spot is an object-oriented model checking library written in C++.
long_description    ${description}
homepage            https://spot.lrde.epita.fr/index.html
platforms           darwin
license             GPL-3
master_sites        http://www.lrde.epita.fr/dload/spot/
checksums           md5     7ba63345e247edf6a7938b1e42ce634b \
                    sha1    5dce42e6c295138ea47d269ca1d11e4d78a5ef7a \
                    rmd160  4e0e4d1c4993989532fdd4f7593aa2a765424b3a
depends_lib-append  port:boost

configure.args-append --disable-python

set pythons_suffixes {34 35}

set pythons_ports {}
foreach s ${pythons_suffixes} {
    lappend pythons_ports python${s}
}

proc python_dir {} {
    global pythons_suffixes
    foreach s ${pythons_suffixes} {
        if {[variant_isset python${s}]} {
            set p python[string index ${s} 0].[string index ${s} 1]
            return [file normalize [exec ${p} -c "import sys; print(sys.prefix)"]/lib/${p}/site-packages]
        }
    }
    error "Python support not enabled."
}

foreach s ${pythons_suffixes} {
    set p python${s}
    set v [string index ${s} 0].[string index ${s} 1]
    set i [lsearch -exact ${pythons_ports} ${p}]
    set c [lreplace ${pythons_ports} ${i} ${i}]
    set packagepath ${destroot}${prefix}/Library/Frameworks/Python.framework/Versions/${v}/lib/python${v}
    eval [subst {
        variant ${p} description "Use Python ${v} for python bindings" conflicts ${c} {
            depends_lib-append      port:${p}
            configure.env-append    PYTHON=${prefix}/bin/python${v}
            configure.args-delete   --disable-python
            post-destroot {
                file mkdir ${destroot}${prefix}/Library/Frameworks/Python.framework/Versions/${v}/lib/python${v}
                move ${destroot}${prefix}/lib/python${v}/site-packages ${packagepath}/site-packages
            }
        }
    }]
}

# enable one python variant so that the python bindings can be compiled
set selected_python python34
foreach s ${pythons_suffixes} {
    if {[variant_isset python${s}]} {
        set selected_python python${s}
    }
}
default_variants +${selected_python}

livecheck.type  regex
livecheck.url   ${master_sites}
livecheck.regex ${name}-(\[0-9.\]+).tar.gz