Re: Agda failing osc

Originally Posted by
jayssj11
Okay , "build in your project" i don't understand this part. Like what am i supposed to do for it ?? Sorry for noobish question but i am really not sure how to resolve these errors or how to proceed
Hi
You would have to build (upload to your OBS project) the additional packages in your project, to satisfy the build requirements for Agda (hopefully that makes sense).
So if a package A needs package B and package C to build, package C is already built for the target OS eg SLE 15, but package B isn't, then this is what you need to build in your project for package A to finally build....
Cheers Malcolm °¿° SUSE Knowledge Partner (Linux Counter #276890)
SUSE SLE, openSUSE Leap/Tumbleweed (x86_64) | GNOME DE
If you find this post helpful and are logged into the web interface,
please show your appreciation and click on the star below... Thanks!
Bookmarks