ADD_SUBDIRECTORY(warmux)
ADD_SUBDIRECTORY(warmux-server)
ADD_SUBDIRECTORY(fixedpoint)
