Re: [MirageOS-devel] mirage-clock-unix dependency problem

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

[CCing the mirageos-devel list]

On 5 Oct 2014, at 22:44, Aaron Quamme <aaron.quamme@xxxxxxxxx> wrote:

> Hello,
> 
> I'm encountering a problem when following the MirageOS hello world guide - 
> when running `make depend' I get the error:
> 
> The dependency mirage-types>=0.4.0 of package mirage-console-unix.1.0.0 is 
> not available for your compiler or your OS.
> 'opam install mirage-console-unix mirage-unix --verbose' failed.
> Makefile:19: recipe for target 'depend' failed
> make: *** [depend] Error 3
> 
> Executing `opam list' reveals that I have mirage-types 1.2.0 installed, so 
> this appears to be a bug.
> 
> I'm running Debian jessie and using opam 1.1.1 with ocaml 4.01.0.
> 
> If there's any other information I can provide, let me know. Thank you for 
> any help you can provide.

Do you have 'aspcud' installed on Jessie by any chance?  If not, could you try 
installing it and then retrying this?  If that still fails, an issue on 
https://github.com/ocaml/opam-repository with OPAMDEBUG=1 set in the 
environment would be helpful in debugging the problem.

-anil


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