Project

General

Profile

Actions
Copy link

Feature #10681

open

Support developer installation of CPAchecker

Added by Evgeny Novikov about 3 years ago. Updated about 3 years ago.

Status:
New
Priority:
High
Assignee:
-
Category:
-
Target version:
-
Start date:
01/22/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

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.

Actions
Copy link
 #1

Updated by Evgeny Novikov about 3 years ago

  • 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.

Actions
Copy link

Also available in: Atom PDF