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

Jeehoon Kang jeehoon.kang at sf.snu.ac.kr
Fri Mar 17 05:58:22 CET 2017

Hi Iris,

I am installing Iris in my laptop, but it fails with a strange error..
Is anybody aware of this build problem?

Thank you,

PS. I'm experiencing the same problem for the sra-gps project.

$ ~/Works/iris-coq   master  opam --version

$ ~/Works/iris-coq   master  make build-dep

build/opam-pins.sh < opam.pins
[opam-pins] Recursing into
[opam-pins] coq-stdpp already at commit
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
       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

opam install opam-builddep-temp --deps-only

=-=- Synchronising pinned packages
[opam-builddep-temp] /home/jeehoon.kang/Works/iris-coq#HEAD already
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>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-sws.org/pipermail/iris-club/attachments/20170317/9ee3643b/attachment.html>

More information about the Iris-Club mailing list