upgrading to opam 1.1.1 followed by "opam update" "opam upgrade" solved the problem. I now have mirage installed. Thanks everyone for your help.
On Mar 28, 2014, at 9:51 PM, Thomas Gazagnaire wrote: 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
|
