Re: [MirageOS-devel] Building Tutorial Noop on OpenBSD

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

I suspect the problem is that OpenBSD doesn't have an aspcud port, and so
the online solver is failing.  I'm just about ready to give up on that online
solver staying up, and so the solution is probably to make an opam2-beta5
port for OpenBSD and go with that instead. That includes a statically
linked solver (mccs) that just works without any more dependencies.

Adam, could you confirm that you don't have aspcud installed? I don't remember
porting it to OpenBSD but someone else may have since.

thanks
Anil

> On 11 Oct 2017, at 14:06, Hannes Mehnert <hannes@xxxxxxxxxxx> wrote:
> 
> first question is do you have math/aspcud installed?
> 
> another workaround I commonly use is to disable depext (which is
> supposed to interact with your operating system packaging system) in the
> Makefile, and install external dependencies manually if the build fails.
> 
> 
> hannes
> 
> On 11/10/2017 04:02, Adam Steen wrote:
>> opam depext --yes --update mirage-unikernel-noop-unix
>> OPAM plugin depext is not installed. Install it on the current switch? [Y/n] 
>> y
>> [WARNING] External solver failed with inconsistent return value. Request 
>> saved
>>          to "/home/asteen/.opam/log/solver-error-73931-1.cudf"
>> [ERROR] External solver failure, please fix your installation and check
>>        /home/asteen/.opam/config and variable $OPAMEXTERNALSOLVER.
>>        You may also retry with option --use-internal-solver
> 
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel


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