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

[Ralf Jung]

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