Results 1 to 3 of 3

Thread: Trying to build Agda Package

  1. #1

    Question Trying to build Agda Package

    Hello i am trying to build Agda package but as you can see in the link below , every build failed with unresolvable error :/ . I have no idea what to do to fix it. I have not edited the Agda package. Tried it on my local OpenSUSE LEAP system it built successfully there.


    Link : https://build.opensuse.org/package/s...:jayssj11/Agda


    Thank you !!

  2. #2
    Join Date
    Sep 2012
    Posts
    4,666

    Default Re: Trying to build Agda Package

    Quote Originally Posted by jayssj11 View Post
    I have no idea what to do to fix it.
    You need to tell OBS where to find required packages. Haskell is not in standard repositories, so OBS cannot resolve it. This is actually described in https://en.opensuse.org/openSUSE:Bui...al#Terminology as "second option called layering" although more explicit example would not hurt here. So you will need to add additional references to repositories with Haskell. You need to decide which ones you want to use. But I do not see any existing repository for e.g. SLES12 SP2, so you may need to build required packages as part of your own project (third option - linking).
    I have not edited the Agda package.
    It is not clear what you mean here. Where your package comes from? Usually when you modify existing package in OBS you branch it, which automatically branches all references to repositories thus creating correct build environment.
    Tried it on my local OpenSUSE LEAP system it built successfully there.
    Tried it how? What command did you use? How do you expect others to guess what you did?

  3. #3

    Default Re: Trying to build Agda Package

    " I have not edited Agda package "
    it means i have just uploaded the files as it is. ( Agda.tar , Agda.cabal, Agda.changes, Agda.spec )
    here is the picture of files : https://s15.postimg.cc/l91k073aj/agda.png

    Tried it on my local OpenSUSE LEAP system it built successfully there."

    Well i just osc checkout the agda and then just typed osc build ( sorry for not menitoning it )



Posting Permissions

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