This repository has been archived by the owner on Mar 16, 2024. It is now read-only.
Install dependencies with opam install . --deps-only
#17
Comments
|
Hi, thanks for the suggestion! That's good to know. Due to lack of time, I am no longer maintaining LoopInvGen. If you found it useful, please feel free to fork it and edit the source code. |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
If all the OPAM dependencies are listed in
LoopInvGen.opam, you can install them withopam install . --deps-only, without having to specify all their versions on the command line.The text was updated successfully, but these errors were encountered: