casa-mp-base

PortSystem          1.0

PortGroup           compiler_blacklist_versions 1.0

​

name                spot

version             2.8.1

revision            0

categories          science math

maintainers         {mmoll @mamoll} 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           rmd160  0735dc3744091e6d39e024da2aa8bde9dfcf4b6d \

                    sha256  dcb7aa684725304afb3d435f26f25b51fbd6e9a6ef610e16163cc0030ad5eab4 \

                    size    7484722

depends_lib-append  port:boost

​

# make sure compiler supports C++14

compiler.blacklist *gcc* {clang <= 700.1.81} {macports-clang-3.[0-6]}

compiler.fallback-append macports-clang-8.0

​

configure.args-append --disable-python

​

set pythons_suffixes {34 35 36 37}

​

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}${frameworks_dir}/Python.framework/Versions/${v}/lib/python${v}

    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}${frameworks_dir}/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 python35

foreach s ${pythons_suffixes} {