Project

General

Profile

Actions

Feature #9558

closed

Install entities properly

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

Status:
Closed
Priority:
Urgent
Category:
Deployment
Target version:
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 #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 #2

Updated by Evgeny Novikov over 5 years ago

  • Status changed from Resolved to Closed

The branch was merged to master.

Actions

Also available in: Atom PDF