Feature #10681
open
Support developer installation of CPAchecker
Added by Evgeny Novikov over 3 years ago.
Updated about 3 years ago.
Description
Currently Klever allows to update verification backends including CPAchecker in a right but too slow way. I suggest to enhance deployment scripts slightly to facilitate everybody who develops and/or needs to update CPAchecker frequently.
- Assignee deleted (
Evgeny Novikov)
- Priority changed from Urgent to High
- Target version deleted (
3.1)
Discussions revealed that quite much work is necessary, so, let's postpone it. BTW, we identified a cheat that one can use to "install" a developer version of CPAchecker. You can download everything required to build CPAchecker from sources and CPAchecker sources themselves to a machine with installed Klever. Then you should replace the directory with installed CPAchecker of the Klever instance with symbolic link to directory with CPAchecker sources. After that you should checkout necessary versions of CPAchecker and build them manually. Klever will automatically use them instead of the originally installed one. Of course, this is not suitable when you would not like to commit your changes.
Also available in: Atom
PDF