Adam, It would be worth trying to see if you can get aspcud working, since things have been updated somewhat with clang on OpenBSD. I'm going to be taking a look at the opam2 beta this week to see how usable it is with Mirage, so I'll post an update here when I do that. Opam2 already has mccs builtin so it's not worth a separate port, but aspcud will still be useful with both opam1 and 2, and hence is worth a port.
Anil > On 12 Oct 2017, at 01:20, Adam Steen <[email protected]> wrote: > > 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 <[email protected]> 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 <[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 > > _______________________________________________ > 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
