Re: [MirageOS-devel] Hello World Missing Linker Script

["John P. McDermott (USN Civilian)" <john.mcdermott@xxxxxxxxxxxx>]

> On Jul 13, 2016, at 11:05 AM, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
> 
> On 13 Jul 2016, at 15:43, Thomas Leonard <talex5@xxxxxxxxx> wrote:
>>> To demonstrate Mirage running on 14.04, I am trying to make the Hello Word 
>>> tutorial work. I have made it to the point where you run ‘make’ in 
>>> mirage-skeleton/console. Make fails because it cannot find 
>>> ~/.opam/4.02.1/lib/mirage-xen/mirage-x86_64.lds
> 
> One issue may be that we no longer test on OCaml 4.02.1, since there were 
> several important fixes in OCaml 4.02.3.  You can (in addition to Thomas 
> Leonard's reply) also compile a specific version of OCaml like this:
> 
>    opam switch 4.02.3
>    eval `opam config env` # to import into current environment
>    opam install mirage
> 
> You should also definitely install aspcud, which is packaged up under Ubuntu 
> 14.04 via:
> 
>    sudo apt-get install aspcud
> 
> This will automatically be picked up by OPAM and used if it is in your path.
> 
> regards
> Anil
> 
> 

Anil,

Thanks. Switching OCaml to 4.02.3 and re-running everything brings Mirage up to 
2.9.0.

Sincerely,

John (who is learning OCaml based on his Isabelle/HOL experience)


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