Project

General

Profile

Feature #8145

Support external builds

Added by Evgeny Novikov about 2 years ago. Updated 8 months ago.

Status:
Closed
Priority:
Urgent
Category:
Build commands extracting
Target version:
Start date:
04/24/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

At the moment Klever Core assumes users provide sources and some options for building their software internally. This can be reasonable and can be established for some projects like the Linux kernel but for other ones this can be an obstacle. That's why I suppose to develop a special tool for intercepting build information required for following verification objects generation and to support its output within Klever Core (although this tool can be useful not only for verification purposes I would not like to spend any my time for making it useful in a more general case, so it will be incorporated within Klever). In particular this will allow to avoid very resource consuming preparing of sources during validation based on Git commits.


Related issues

Blocks Klever - Feature #8148: Extract build information for preset testing and validation jobsClosed04/24/2017

Actions
Blocks Klever - Feature #9162: Implement strategy based on collected coverage to verify kernel subsystemsClosed07/25/2018

Actions

History

#1

Updated by Evgeny Novikov almost 2 years ago

  • Target version set to 2.0
#2

Updated by Evgeny Novikov almost 2 years ago

Also I and Ilja Zakharov suggest to try to get rid of all compiler options except ones used for preprocessing (input and output files will be obtained anyway). It seems that we do need just the latter while other options can just confuse CIF based on GCC 4.6 when another compiler version is used for building.

#3

Updated by Ilja Zakharov 11 months ago

  • Blocks Feature #9162: Implement strategy based on collected coverage to verify kernel subsystems added
#4

Updated by Evgeny Novikov 9 months ago

  • Status changed from New to Resolved

The mentioned tool is Clade, it is integrated in Klever.

#5

Updated by Evgeny Novikov 9 months ago

  • Blocks deleted (Bug #8458: Directories mismatch)
#6

Updated by Evgeny Novikov 8 months ago

  • Status changed from Resolved to Closed

Branch klever-2.0 passed all tests and I merged it to master in 72be796e3 marked as v2.0rc1.

Also available in: Atom PDF