Add an initial implementation of check-smf.mk