all:
	@(cd flint; make --no-print-directory)
	@(cd soprano; make --no-print-directory)
clean:
	@(cd flint; make --no-print-directory clean)
	@(cd soprano; make --no-print-directory clean)