[120693] trunk/dports/science

[mmoll at macports.org]

Revision: 120693
          https://trac.macports.org/changeset/120693
Author:   mmoll at macports.org
Date:     2014-06-05 12:27:29 -0700 (Thu, 05 Jun 2014)
Log Message:
-----------
science/spot: new port, a C++ library for model checking

Added Paths:
-----------
    trunk/dports/science/spot/
    trunk/dports/science/spot/Portfile

Added: trunk/dports/science/spot/Portfile
===================================================================
--- trunk/dports/science/spot/Portfile	                        (rev 0)
+++ trunk/dports/science/spot/Portfile	2014-06-05 19:27:29 UTC (rev 120693)
@@ -0,0 +1,66 @@
+# $Id$
+PortSystem          1.0
+name                spot
+version             1.2.4
+categories          science math
+maintainers         mmoll openmaintainer
+description         Spot is an object-oriented model checking library written in C++.
+long_description    ${description}
+homepage            http://spot.lip6.fr/wiki
+platforms           darwin
+license             GPL-3
+master_sites        http://spot.lip6.fr/dl/
+checksums           md5     090149cb076b6984be4633c1e57cd513 \
+                    sha1    fc91819dbb4e331cbb942075d041595910bc1351 \
+                    rmd160  932ea3e520a1705fdfc57b987c996fe2a28bca28
+depends_lib-append  port:boost
+
+
+set pythons_suffixes {26 27 33 34}
+
+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}
+            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 python27
+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


Property changes on: trunk/dports/science/spot/Portfile
___________________________________________________________________
Added: svn:keywords
   + Id
Added: svn:eol-style
   + native
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20140605/493a5313/attachment.html>