Re: [MirageOS-devel] no binary installed on osx

[Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx>]

maybe worth noting that you can always "rm -rf ~/.opam" and just start again.

i've ended up doing this several times :)  the only loss is time and config as 
you reinstall things.

anil, thomas et al-- actually, is there an easy way to export/import a very 
high-level opam config -- things like remotes configured, packages installed 
(perhaps with/without explicit versions)?  might make recovering from the 
occasional situation like this easier.

On 28 Mar 2014, at 17:41, Vlad Kozin <vladilen.kozin@xxxxxxxxx> wrote:

> I think I made a bit of a mess of it. opam remote was indeed pointing to 
> ocamlpro, changed that as you recommended (should've read your installation 
> page more carefully). After running `opam update' however `opam install 
> mirage' would still refuse saying that I have it installed. At which point I 
> decided to run `opam upgrade' - big mistake - a bunch of compilation errors 
> ensued and I believe I have a corrupt ocaml/opam installation now :( 
> 
> ---
> Vlad Kozin <vladilen.kozin@xxxxxxxxx>
> 
> 
> 
> On Mar 28, 2014, at 7:41 PM, Anil Madhavapeddy wrote:
> 
>> That's an old version -- you have 0.9.7 where 1.1.1 is the latest
>> release.
>> 
>> Make sure you are using OPAM 1.1, and the result of "opam remote" is
>> pointing to "http://opam.ocaml.org";.
>> 
>> Once you run "opam update" and attempt to install mirage, you should
>> end up with the latest version.
>> 
>> cheers,
>> Anil
>> 
>> On 28 Mar 2014, at 15:35, Vlad Kozin <vladilen.kozin@xxxxxxxxx> wrote:
>> 
>>> What I'm saying is:
>>> vkz-air:~ vkz$ mirage --help
>>> -bash: mirage: command not found
>>> 
>>> And it's not in .opam/4.01.0/bin or anywhere on the system for that matter.
>>> 
>>> vkz-air:~ vkz$ opam list mirage
>>> Installed packages for 4.01.0:
>>> mirage  0.9.7  Mirage platform library
>>> 
>>> ---
>>> Vlad Kozin <vladilen.kozin@xxxxxxxxx>
>>> 
>>> 
>>> 
>>> On Mar 28, 2014, at 7:17 PM, Anil Madhavapeddy wrote:
>>> 
>>>> On 28 Mar 2014, at 14:49, Vlad Kozin <vladilen.kozin@xxxxxxxxx> wrote:
>>>> 
>>>>> Hi all. 
>>>>> 
>>>>> I'm cross-posting this here since folk on IRC appear to be idle. 
>>>>> 
>>>>> I'm trying to install Mirage on osx: `opam install mirage' runs fine but 
>>>>> doesn't seem to install the `mirage' binary, so I can't run the command 
>>>>> line tool. There's nothing in mirage related in ~/.opam/4.01.0/bin 
>>>>> although the package content appears in my .opam folder. 
>>>> 
>>>> What version of Mirage got installed?  Showing the OPAM terminal output 
>>>> would be useful.
>>>> 
>>>> -anil
>>>> 
>>> 
>> 
> 
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel


-- 
Cheers,

R.

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel