[Iris-Club] Iris bulid problem ("opam-buliddep-temp is not available")

[Jeehoon Kang]

I am on Fedora 25.  `aspcud` is not installed, and it seems Fedora 25's
package manager doesn't have aspcud :\

Do you think the lack of `aspcud` is the cause of the build problem?  Then
I will try to install it :)

Thank you,
Jeehoon

2017-03-17 17:58 GMT+09:00 Ralf Jung <jung at mpi-sws.org>:

> Hi Jehoon,
>
> > I am installing Iris in my laptop, but it fails with a strange error..
> > Is anybody aware of this build problem?
> >
> > Thank you,
> > Jeehoon
> >
> > PS. I'm experiencing the same problem for the sra-gps project.
> >
> > ```
> > $ ~/Works/iris-coq   master  opam --version
> > 1.2.2
>
> That's the same version as what I have.
> Which distribution do you use?  Could you please make sure you have
> aspcud installed?  That's a constraint solver that opam will use when
> available, and it's way better than the fallback it uses otherwise.
>
> Kind regards,
> Ralf
>
> >
> > $ ~/Works/iris-coq   master  make build-dep
> >
> > build/opam-pins.sh < opam.pins
> > [opam-pins] Recursing into
> > https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp
> > [opam-pins] coq-stdpp already at commit
> > 6ffa20c8f23797f81f1bb55ab27432e897de71d5
> > opam upgrade  # it is not nice that we upgrade *all* packages here, but
> > I found no nice way to upgrade only those that we pinned
> > Already up-to-date.
> > opam pin add opam-builddep-temp "$(pwd)#HEAD" -k git -n -y
> > [NOTE] Package opam-builddep-temp is already git-pinned to
> > /home/jeehoon.kang/Works/iris-coq#HEAD.
> >        This will erase any previous custom definition.
> > Proceed ? [Y/n] y
> >
> > [opam-builddep-temp] /home/jeehoon.kang/Works/iris-coq#HEAD updated
> > [opam-builddep-temp] Installing new package description from
> > /home/jeehoon.kang/Works/iris-coq#HEAD
> >
> > opam install opam-builddep-temp --deps-only
> >
> > =-=- Synchronising pinned packages
> > =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
> > [opam-builddep-temp] /home/jeehoon.kang/Works/iris-coq#HEAD already
> > up-to-date
> > Your request can't be satisfied:
> >   - opam-builddep-temp is not available because the package is pinned to
> > /home/jeehoon.kang/Works/iris-coq#HEAD, version dev.
> >
> > No solution found, exiting
> > Makefile:25: recipe for target 'build-dep' failed
> > make: *** [build-dep] Error 3
> > ```
> >
> >
> > --
> > Jeehoon Kang (Ph.D. student) <http://sf.snu.ac.kr/jeehoon.kang>
> > Software Foundations Laboratory <http://sf.snu.ac.kr>
> > Seoul National University <http://www.snu.ac.kr>
> >
> >
>
> --
> iris-club at lists.mpi-sws.org - Mailing List for the Iris Logic
> Management: https://lists.mpi-sws.org/listinfo/iris-club
> Unsubscribe: iris-club-unsubscribe at lists.mpi-sws.org
>



-- 
Jeehoon Kang (Ph.D. student) <http://sf.snu.ac.kr/jeehoon.kang>
Software Foundations Laboratory <http://sf.snu.ac.kr>
Seoul National University <http://www.snu.ac.kr>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-sws.org/pipermail/iris-club/attachments/20170320/5faaa73e/attachment.html>