add_subdirectory(ccore) add_subdirectory(pyCRL) add_subdirectory(cyclop) add_subdirectory(x2y)