[118767] trunk/dports/science/openmpi/Portfile

sean at macports.org sean at macports.org
Thu Apr 10 17:12:53 PDT 2014


Revision: 118767
          https://trac.macports.org/changeset/118767
Author:   sean at macports.org
Date:     2014-04-10 17:12:52 -0700 (Thu, 10 Apr 2014)
Log Message:
-----------
openmpi: check before deleting directory; should fix #42992

Modified Paths:
--------------
    trunk/dports/science/openmpi/Portfile

Modified: trunk/dports/science/openmpi/Portfile
===================================================================
--- trunk/dports/science/openmpi/Portfile	2014-04-11 00:12:47 UTC (rev 118766)
+++ trunk/dports/science/openmpi/Portfile	2014-04-11 00:12:52 UTC (rev 118767)
@@ -143,8 +143,12 @@
 
     post-destroot {
         # This version doesn't supply manpages
-        delete ${destroot}${prefix}/share/mandelete
-        delete ${destroot}${prefix}/share/docdelete
+        if {[file isdirectory ${destroot}${prefix}/share/mandelete]} {
+            delete ${destroot}${prefix}/share/mandelete
+        }
+        if {[file isdirectory ${destroot}${prefix}/share/docdelete]} {
+            delete ${destroot}${prefix}/share/docdelete
+        }
         set vampirlog ${destroot}${prefix}/share/${name}-${cname}/vampirtrace/config.log
         if { [ file exists $vampirlog ] } {
             delete $vampirlog
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20140410/8a019db8/attachment.html>


More information about the macports-changes mailing list