# -*- mode: cmake; -*- # add_subdirectory(Singular) add_subdirectory(kernel)