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

Gabriele Contini

2020-01-11 2695752f624aa7dc3f91672c6fbeb894c22eaa47

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)