Oh bah, I guess it isn't--in fact I see your comment on the issue I just looked at :P
Conversation
Hrm, in one of our developments we have this line in the opam file:
depends: [
"coq-autosubst" { = "dev.coq86" }
]
So... maybe it is?
1
opam.ocaml.org/doc/Usage.html - seems like you can specify git repos
1
1
Searching on opam it doesn't seem to be listed - do you have any other package sources in that opam file you're looking at?
1
Not sure, it might be part of iris-dev I guess (that's the only other one listed).
"coq-iris" { (= "dev.2018-07-13.2.af5611c8") | (= "dev") }
1
I can't even see coq-iris on opam... opam.ocaml.org/packages/
1
I think it's part of the "devel" repository... or something. I wish I understood opam better so I could tell you what that means.
1
Ohh, huh, interesting. Yeah, it confuses me too. Would be interesting to see how one could find it. Cant find any way to see a list of the devel packages online... 🤔 cc.
2
I'm still pasting code around like a barbarian, but to do this properly, I'd follow these instructions, then cargo-cult their opam file and maybe understand it:
gitlab.mpi-sws.org/FP/iris-exampl
Coq-iris doesn't seem to depend on autosubst, but that code does, through a separate opam repo.
1
2
Ahh yes, seems to be on their repository: gitlab.mpi-sws.org/FP/opam-dev/tr
1
2
We were confused is because it requires you to mutate your opam environment:
opam repo add coq-released coq.inria.fr/opam/released
opam repo add iris-dev gitlab.mpi-sws.org/FP/opam-dev.git
find opam abit ick from a 'repoducable environment' perspective, but maybe I just don't understand...
ie. wouldn't that be better off being specified in the `opam` file?
Honestly... I have had some not great experiences with it. I think 2.0 is coming out soon though and that is supposed to resolve some pervasive issues.
2
2
Cool, that is good to hear! The CLI is pretty at least, with nice coloured unicode icons and little camels! Even as I recoil in horror as it seems to turn off and on packages globally.
2
Show replies