%:
ifeq ($(WITH_CLASP), 1)
	${MAKE} -C clasp $@
endif
	${MAKE} -C gringo $@
