Merge remote-tracking branch 'origin/develop' into feature/pc_identifiers

gcontini

2020-01-11 84597288d950867922a185b2c5a8231495a5d303

1
2
3
4
5
6
7
8
9
10
add_library(pc_identifier OBJECT
    pc_identifier_facade.cpp
    pc_identifier.cpp
    default_strategy.cpp
    #pc-identifiers.c
)
 
if(CODE_COVERAGE AND UNIX)
      target_compile_options(pc_identifier PUBLIC -O0 -g --coverage)
endif(CODE_COVERAGE AND UNIX)