New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Unable to install under Ubuntu 18.04: Failed to read artifact descriptor for com.runtimeverification.rv_match:ocaml-backend:jar:1.0-SNAPSHOT #404
Comments
It looks like our install/build instructions are out-of-date. Can you try this:
Let me know if that works for you and I'll update the install instructions. Also, we have binary releases of RV-Match, which is basically the open source version here extended with some more features, available here (for Ubuntu 18.04 and 16.04): https://github.com/runtimeverification/match/releases |
@chathhorn Thanks! That takes me slightly longer :-)
Am I missing some |
Yeah, oops:
Where |
Thanks! Now it seems to work.
(I'm not sure if |
There's some discussion of this here: I'd say it's probably well-defined -- a pointer to one past an object, at least, is usually considered perfectly valid. But there's clearly some ambiguity in the standard here, so |
Yes, I guess it boils down to if |
When installing and testing
kcc
under Ubuntu 18.04 LTS I encounter the following two errors:I guess the latter error is a consequence of the first error, but so far I've been unable to resolve it.
Likely I'm missing something obvious here: what am I doing wrong? :-)
Full log:
The text was updated successfully, but these errors were encountered: