Re: [MirageOS-devel] Issue with building mirage-www locally

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

Good catch -- this will hopefully become a lot simpler to handle when Nicolas 
and Thomas' configuration patch is merged, as that will allow the Mirage tool 
to extend the configuration flags, rather than having the awkward split between 
environment variables and flags that exists today.

-anil

> On 15 Jan 2015, at 00:32, Luke Dunstan <lukedunstan81@xxxxxxxxx> wrote:
> 
> Hi,
> 
> Those messages mean that the unikernel is looking for a DHCP server. The code 
> in config.ml is:
> 
> let dhcp =
>   try match Sys.getenv "DHCP" with
>     | "" -> false
>     | _  -> true
>   with Not_found -> true 
> 
> The use of an empty string for this purpose is a bit unintuitive. To tell it 
> to use the static IP address instead, go to the "src" folder and use:
> 
> DHCP="" mirage configure --unix
> 
> And then "make" and run it.
> 
> Luke
> 
> 
> On 15 January 2015 at 07:49, Amir Chaudhry <amc79@xxxxxxxxx> wrote:
> Hi folks,
> 
> I seem to be having trouble building the mirage website locally.
> I've filed an issue on the repo and if anyone can help me figure out what the 
> problem is I'd be grateful.
> 
> https://github.com/mirage/mirage-www/issues/265
> 
> Amir
> _______________________________________________
> 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


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