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

Joshua Root jmr at macports.org
Fri Apr 11 11:13:00 PDT 2014


On 2014-4-12 02:11 , Ryan Schmidt wrote:
> On Apr 11, 2014, at 11:06, Sean Farley wrote:
> 
>> Ryan Schmidt writes:
>>
>>> On Apr 10, 2014, at 19:12, sean at macports.org wrote:
>>>
>>>> Revision
>>>> 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
>>>> Diff
>>>>
>>>> Modified: trunk/dports/science/openmpi/Portfile (118766 => 118767)
>>>>
>>>> --- 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
>>>> +        }
>>>
>>> This should not be necessary and this should not change anything.
>>>
>>> “delete” is a wrapper around “file delete -force”. 
>>>
>>> http://wiki.tcl.tk/10058
>>>
>>> “Non-empty directories will be removed only if the -force option is specified.”
>>>
>>> “Trying to delete a non-existent file is not considered an error.”
>>
>> Huh. Fair enough, but then why did this error out in the ticket
>> referenced?
>>
>> :debug:destroot delete: /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_science_openmpi/openmpi-default/work/destroot/opt/local/share/docdelete
>> :error:destroot org.macports.destroot for port openmpi-default returned: /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_science_openmpi/openmpi-default/work/destroot/opt/local/share/docdelete: no such file or directory
> 
> That’s what confuses me too!

Because that change is not released yet?

- Josh


More information about the macports-dev mailing list