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

[Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>]

in case of errors, opam 1.1.1 gives you a command to import the package set 
present before the command was run.

You can generate this import file yourself if you wish to snapshot your tree by 
running "opam switch export -f foo.txt"
There is no way currently to import/export the remote configuration though. 
Would be a good idea to add a note about it on the issue tracker.

Thomas




On 28 Mar 2014, at 17:45, Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx> 
wrote:

> 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.
> 
> 
> 
> 
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel


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