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

[Jeehoon Kang]

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,
Jeehoon

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

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

$ ~/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>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-sws.org/pipermail/iris-club/attachments/20170317/9ee3643b/attachment.html>