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

[Adam Steen <adam@xxxxxxxxxxxxxxxx>]

Hi Anil and Hannes

Thank you for the reply.

I can confirm i don't have aspcud and OpenBSD does not have a aspcud port.

i ended up setting OPAMUSEINTERNALSOLVER=1 and this seem to get noop
compiling and running (well i got an exist code of 0).

What would be the best way forward? Should i look into creating a
aspcud port or is mccs the better way to go?

Cheers
Adam


On Wed, Oct 11, 2017 at 9:22 PM, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
> 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

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