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

Jeehoon Kang jeehoon.kang at sf.snu.ac.kr
Mon Mar 20 06:47:05 CET 2017


Ah, that was my bad.  I didn't do `opam repo add coq-released
https://coq.inria.fr/opam/released`.  Even without `aspcud`, Iris just
works well.

Thank you,
Jeehoon

2017-03-20 14:44 GMT+09:00 Jeehoon Kang <jeehoon.kang at sf.snu.ac.kr>:

> 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 :)
>
> Thank you,
> Jeehoon
>
> 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,
>> 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>
>> >
>> >
>>
>> --
>> 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>
>



-- 
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/20170320/01132dbe/attachment.html>


More information about the Iris-Club mailing list