Results 1 to 4 of 4

Thread: Agda failing osc

  1. #1

    Question Agda failing osc

    Hello i am trying to build Agda package . Link : https://build.opensuse.org/package/s...jayssj11/Agda#

    I have not edited any thing just placed the agda files in my home project.

    I gives unresolvable error like this : nothing provides ghc-EdisonCore-devel, nothing provides ghc-boxes-devel, nothing provides ghc-data-hash-devel, nothing provides ghc-equivalence-devel, nothing provides ghc-geniplate-mirror-devel, nothing provides ghc-hashtables-devel, nothing provides ghc-monadplus-devel, nothing provides ghc-murmur-hash-devel, nothing provides ghc-strict-devel

    what can i do to fix it ??

  2. #2
    Join Date
    Jun 2008
    Location
    Podunk
    Posts
    24,207
    Blog Entries
    15

    Default Re: Agda failing osc

    Hi
    For SLE 15 you need to build against openSUSE:Backports:SLE-15 (https://build.opensuse.org/project/s...ckports:SLE-15) should sort out most if not all of the dependencies, for the other SLE releases you would be on your own and need to build in your project.
    Cheers Malcolm °¿° SUSE Knowledge Partner (Linux Counter #276890)
    Tumbleweed (x86_64) | GNOME 3.28.2
    If you find this post helpful and are logged into the web interface,
    please show your appreciation and click on the star below... Thanks!

  3. #3

    Question Re: Agda failing osc

    Quote Originally Posted by malcolmlewis View Post
    Hi
    For SLE 15 you need to build against openSUSE:Backports:SLE-15 (https://build.opensuse.org/project/s...ckports:SLE-15) should sort out most if not all of the dependencies, for the other SLE releases you would be on your own and need to build in your project.
    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

  4. #4
    Join Date
    Jun 2008
    Location
    Podunk
    Posts
    24,207
    Blog Entries
    15

    Default Re: Agda failing osc

    Quote Originally Posted by jayssj11 View Post
    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)
    Tumbleweed (x86_64) | GNOME 3.28.2
    If you find this post helpful and are logged into the web interface,
    please show your appreciation and click on the star below... Thanks!

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •