listaddrs.x86-linux: listaddrs.sml sources.cm
	/usr/local/sml/bin/ml-build sources.cm Main.main listaddrs