Project

General

Profile

Feature #9558

Install entities properly

Added by Evgeny Novikov 5 months ago. Updated 5 months 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.

History

#1

Updated by Evgeny Novikov 5 months 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).

#2

Updated by Evgeny Novikov 5 months ago

  • Status changed from Resolved to Closed

The branch was merged to master.

Also available in: Atom PDF