So confused trying to add a Coq library to my project via a git submodule: github.com/uds-psl/autosu 😭😭😭
Conversation
Surely there must be a better way to do this...
2
Theoretically, opam is the way you are supposed to do it, I think...
1
1
Ahh yeah, I saw that mentioned on the github issues
1
Can tou get opam to refer to github repos?
1
I'm not sure, I'm very far from an opam expert. I think you can, but I also think Autosubst is already on opam itself?
1
Oh bah, I guess it isn't--in fact I see your comment on the issue I just looked at :P
1
Hrm, in one of our developments we have this line in the opam file:
depends: [
"coq-autosubst" { = "dev.coq86" }
]
So... maybe it is?
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
Show replies