<div dir="ltr"><div>Hi Iris,</div><div><br></div><div>I am installing Iris in my laptop, but it fails with a strange error..</div><div>Is anybody aware of this build problem?</div><div><br></div><div>Thank you,</div><div>Jeehoon</div><div><br></div><div>PS. I'm experiencing the same problem for the sra-gps project.</div><div><br></div><div>```</div><div>$ ~/Works/iris-coq   master  opam --version</div><div>1.2.2</div><div><br></div><div>$ ~/Works/iris-coq   master  make build-dep</div><div><br></div><div>build/opam-pins.sh < opam.pins</div><div>[opam-pins] Recursing into <a href="https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp">https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp</a></div><div>[opam-pins] coq-stdpp already at commit 6ffa20c8f23797f81f1bb55ab27432e897de71d5</div><div>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</div><div>Already up-to-date.</div><div>opam pin add opam-builddep-temp "$(pwd)#HEAD" -k git -n -y</div><div>[NOTE] Package opam-builddep-temp is already git-pinned to /home/jeehoon.kang/Works/iris-coq#HEAD.</div><div>       This will erase any previous custom definition.</div><div>Proceed ? [Y/n] y</div><div><br></div><div>[opam-builddep-temp] /home/jeehoon.kang/Works/iris-coq#HEAD updated</div><div>[opam-builddep-temp] Installing new package description from /home/jeehoon.kang/Works/iris-coq#HEAD</div><div><br></div><div>opam install opam-builddep-temp --deps-only </div><div><br></div><div>=-=- Synchronising pinned packages =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=</div><div>[opam-builddep-temp] /home/jeehoon.kang/Works/iris-coq#HEAD already up-to-date</div><div>Your request can't be satisfied:</div><div>  - opam-builddep-temp is not available because the package is pinned to /home/jeehoon.kang/Works/iris-coq#HEAD, version dev.</div><div><br></div><div>No solution found, exiting</div><div>Makefile:25: recipe for target 'build-dep' failed</div><div>make: *** [build-dep] Error 3</div><div>```</div><div><br></div><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><a href="http://sf.snu.ac.kr/jeehoon.kang" target="_blank">Jeehoon Kang (Ph.D. student)</a><div><a href="http://sf.snu.ac.kr" target="_blank">Software Foundations Laboratory</a><div><a href="http://www.snu.ac.kr" target="_blank">Seoul National University</a></div></div></div></div>
</div>