Install entities properly
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.
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).