This param.ccl file is accepted by Cactus:

SHARES: Cactus
USES KEYWORD cctk_final_time

in the C code the parameter type is correct (configs/th/bindings/include/ParFail/CParameters.h):

#define DECLARE_CCTK_PARAMETERS \
  DECLARE_GLOBAL_PARAMETER_STRUCT_PARAMS \
  CCTK_DECLARE_INIT (CCTK_REAL const, cctk_final_time, CCTK_PARAMETER__Cactus__cctk_final_time); \

This seems to be a failure in repos/flesh/lib/sbin/ImpParamConsistency.pl

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2342/build-system-does-not-check-type-of-shared