ADD_SUBDIRECTORY(regina)
ADD_SUBDIRECTORY(regina-xml)
