set(HEADERS
  dolfin_parameter.h
  GlobalParameters.h
  Parameter.h
  Parameters.h
  PARENT_SCOPE)

set(SOURCES
  GlobalParameters.cpp
  Parameter.cpp
  Parameters.cpp
  PARENT_SCOPE)
