all:
	cd gt; $(MAKE); ./gt < ../smtlib.gra; mkdir -p ../smtlib_src; $(MAKE) emitted; mv smtli* ../smtlib_src; mv most_recent_emitted_Makefile ../smtlib_src; cd .. ; ln -sf smtlib_src/smtlib smtlib

clean:
	cd gt ; $(MAKE) clean; cd ../smtlib_src; rm -f *
