#GET_PROPERTY( PTR_STRING GLOBAL PROPERTY ROL_PTR )
#GET_PROPERTY( PTR_DIR GLOBAL PROPERTY ROL_PTR_DIR )
#GET_PROPERTY( PARAMETERLIST_STRING GLOBAL PROPERTY ROL_PARAMETERLIST )
#GET_PROPERTY( PARAMETERLIST_DIR GLOBAL PROPERTY ROL_PARAMETERLIST_DIR )
#
#MESSAGE( "-- ROL has been configured to use the build options:" )
#MESSAGE( "--   ROL::Ptr           is implemented by ${PTR_STRING}" )
#MESSAGE( "--   ROL::ParameterList is implemented by ${PARAMETERLIST_STRING}" )
#
#SET( ${HEADERS} ${${HEADERS}} PARENT_SCOPE )
#INCLUDE_DIRECTORIES( ${PTR_DIR} )
#APPEND_GLOB( HEADERS ${PTR_DIR}/*.hpp )
#
#INCLUDE_DIRECTORIES( ${PARAMETERLIST_DIR} )
#APPEND_GLOB( HEADERS ${PARAMETERLIST_DIR}/*.hpp )

