add_subdirectory (gringo)
if(WITH_CLASP)
	add_subdirectory (clasp)
endif(WITH_CLASP)

