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

Gabriele Contini

2020-01-11 2695752f624aa7dc3f91672c6fbeb894c22eaa47

1
2
3
4
5
6
7
8
 
MACRO(EVAL_CONDITION name)
   IF(${ARGN})
     SET(${name} 1)
   ELSE(${ARGN})
     SET(${name} 0)
   ENDIF(${ARGN})
ENDMACRO(EVAL_CONDITION)