all :
	(cd tools; make)
	(cd build; make install)