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 <[email protected]> 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 > [email protected] > https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel _______________________________________________ MirageOS-devel mailing list [email protected] https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
