[m-rev.] for review: mention possible fix to missing .mih problem on Mac OS X

Ian MacLarty maclarty at csse.unimelb.edu.au
Mon Sep 6 17:10:02 AEST 2010


On Mon, Sep 6, 2010 at 4:53 PM, Julien Fischer
<juliensf at csse.unimelb.edu.au> wrote:
>
> On Mon, 6 Sep 2010, Ian MacLarty wrote:
>
>> On Mon, Sep 6, 2010 at 4:27 PM, Julien Fischer
>> <juliensf at csse.unimelb.edu.au> wrote:
>>>
>>> On Mon, 6 Sep 2010, Ian MacLarty wrote:
>>>
>>>> On Mon, Sep 6, 2010 at 4:07 PM, Julien Fischer
>>>> <juliensf at csse.unimelb.edu.au> wrote:
>>>>>
>>>>> On Mon, 6 Sep 2010, Ian MacLarty wrote:
>>>>>
>>>>>> For review by Julien.
>>>>>>
>>>>>> README.MacOS:
>>>>>>        Suggest removing fink from the PATH if, after installing
>>>>>> Mercury,
>>>>>> the
>>>>>>        user gets errors about missing .mih files.
>>>>>>        I had this problem and removing fink from my PATH fixed it
>>>>>> (though
>>>>>> I
>>>>>>        don't know why).
>>>>>>
>>>>>> Index: README.MacOS
>>>>>> ===================================================================
>>>>>> RCS file: /home/mercury1/repository/mercury/README.MacOS,v
>>>>>> retrieving revision 1.15
>>>>>> diff -u -r1.15 README.MacOS
>>>>>> --- README.MacOS        13 Jul 2010 05:48:19 -0000      1.15
>>>>>> +++ README.MacOS        6 Sep 2010 05:15:23 -0000
>>>>>> @@ -44,6 +44,9 @@
>>>>>> Mercury can currently only be compiled by gcc on Mac OS X.  It cannot
>>>>>> currently
>>>>>> be compiled with llvm-gcc or clang.
>>>>>>
>>>>>> +If, after installing Mercury, you encounter errors about missing .mih
>>>>>> files,
>>>>>> +and you have fink installed, then try removing the fink components
>>>>>> from
>>>>>> your
>>>>>> +PATH (these usually start with /sw) and reinstalling.
>>>>>
>>>>> Do you still have the broken installation?  Are the .mih files present?
>>>>>
>>>>
>>>> After removing fink from my path and reinstalling I have a working
>>>> installation, with .mih files.
>>>
>>> I'm not asking about what happens when you reinstall.  I'm asking about
>>> the installation that originally had the problem.  Are the .mih files
>>> present in it?
>>>
>>
>> No.
>>
>>>>> I think the problem is that fink is overriding one (some?) of the
>>>>> system tools and the .mih files are not actually being installed in the
>>>>> first place.  If that's the case then, the right thing to do is
>>>>> actually
>>>>> remove fink from the PATH *before* installing Mercury.
>>>>>
>>>>> (If you still have the broken installation, does it work if you remove
>>>>> fink from the PATH?)
>>>>
>>>> I don't understand what you mean.
>>>
>>> Does the "broken" installation with the missing .mih files work if
>>> your remove fink from your PATH or is it still broken when you do that?
>>>
>>
>> Well I haven't tested that exactly, but the installation contains no
>> .mih files, so I don't see that changing the path after installation
>> can help.
>
> If it contains no .mih files then it's broken.
>
>>
>>> I want to know whether if having fink your PATH when installing
>>> results in a broken installation and (2) whether such an installtion
>>> can be "fixed" simply by removing fink from your PATH or do you have
>>> to do a complete reinstall without fink in your PATH?
>>>
>>
>> A complete reinstall is required (which is what I said in the README).
>
> Fair enough, I just wanted to ensure that there wasn't an easier fix.
>
> The diff looks fine.
>

Thanks.  Committed.

Ian.

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list