# $Id: Portfile 151614 2016-08-18 15:52:03Z mmoll@macports.org $ 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