[Iris-Club] Iris bulid problem ("opam-buliddep-temp is not available")
jeehoon.kang at sf.snu.ac.kr
Mon Mar 20 06:44:23 CET 2017
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 :)
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,
> > $ ~/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...
More information about the Iris-Club