[88225] trunk/dports/devel/nusmv/Portfile

[ryandesign at macports.org]

Revision: 88225
          http://trac.macports.org/changeset/88225
Author:   ryandesign at macports.org
Date:     2011-12-22 02:51:54 -0800 (Thu, 22 Dec 2011)
Log Message:
-----------
nusmv: use llvm-gcc-4.2 instead of clang; see #32600

Modified Paths:
--------------
    trunk/dports/devel/nusmv/Portfile

Modified: trunk/dports/devel/nusmv/Portfile
===================================================================
--- trunk/dports/devel/nusmv/Portfile	2011-12-22 10:45:44 UTC (rev 88224)
+++ trunk/dports/devel/nusmv/Portfile	2011-12-22 10:51:54 UTC (rev 88225)
@@ -34,6 +34,10 @@
     system -W ${minisatdir} "unzip ${distpath}/minisat2-070721.zip"
 }
 
+if {${configure.compiler} == "clang"} {
+    configure.compiler llvm-gcc-4.2
+}
+
 pre-configure {
     # build included cudd first so that configure can pick it up
     if {$build_arch == "x86_64"} {
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20111222/1c29df49/attachment.html>