Project

General

Profile

Actions
Copy link

Feature #9558

closed

Install entities properly

Added by Evgeny Novikov almost 6 years ago. Updated over 5 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
Deployment
Target version:
3.0
Start date:
03/21/2019
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

When dealing with #6629, I noticed that deployment scripts do not install files, directories and archives properly. For instance, files and directories are renamed (e.g. from toplevel.opt to CIL), archives are compressed additionally before moving them to OpenStack instances, all actions are performed non-uniformly.

Actions
Copy link
 #1

Updated by Evgeny Novikov over 5 years ago

  • Status changed from New to Resolved

I implemented this feature in branch frama-c-cil. After this update I am not sure that you will be able to update existing Klever instances. Anyway you will need to fix deployment configuration files (as usual you can find examples at klever/deploys/conf).

Actions
Copy link
 #2

Updated by Evgeny Novikov over 5 years ago

  • Status changed from Resolved to Closed

The branch was merged to master.

Actions
Copy link

Also available in: Atom PDF